When the room temperature is warmer than 25 ��C, the air-conditioner is turned on with a cooling mode of 23 ��C.Leaving Home (LH): This service shuts down all appliances when a user leaves home. When the user touches AZD9291 EGFR a button in the entrance, a TV, a DVD Inhibitors,Modulators,Libraries player, an air-conditioner and a light are turned off, and a curtain is closed.Energy Saving in Absence (ESIA): This service automatically turns off appliances for energy saving in user’s absence. When a sensor detects that nobody is in the room, the service turns off a TV, a DVD player, an air-conditioner and a light.In Figure 1, env denotes a prefix of an environment property. Each event (or condition) is supposed to be detected (or evaluated, respectively) by appropriate sensors in the HNS. In each action, A.m() denotes a method m() of an appliance A.
Let us take the description of ALC. The event of ALC is env.brightness < 200, specifying that the service is triggered when the brightness Inhibitors,Modulators,Libraries is less that 200 lx. The condition env.absence == false means that the service should be enabled only when somebody is in the room. If ALC is executed, the light is turned on with brightness level 10 as specified in the action Light.setBrightness(10).3.2. Inhibitors,Modulators,Libraries Modeling Environmental Effects of AppliancesTo detect the service chains, we have to know how much effect is given to the environment as a result of a service. Such effect is produced by appliance methods executed as an action of the service. For example, Light.on() increases env.brightness, and Air-Conditioner.cooling() decreases env.temperature.
Therefore, Inhibitors,Modulators,Libraries we propose an environment effect model for each appliance, to define explicitly how the appliance gives the environmental effects.As shown in Section 2.3, every appliance can be regarded as an object with internal states. Therefore, we model every appliance as an FSM (finite state machine) specifying the effects within transitions. Let d be an appliance. The environment effect model of d is defined by an FSM EMd = (Sd, Md, Td, s0, ed), whereSd is a set of states of d.Md is a set of appliance methods of d.Td : Sd �� Md �� Sd is a state transition function.s0 Sd is the initial state.ed is an environment effect function, associating each transition t Td with a set of expressions over environment properties.Tables 1 shows the environment effect models of an air-conditioner, a TV and a light, respectively.
Each table describes an FSM in a table form, where a row represent a state, a column represents a method. Each entry represents a state transition, containing the effects to the environment Cilengitide and the next state (labeled by next). In the effects, =, += and ?= respectively represent substitution, addition and subtraction operators. For example, Table 1(b) represents that the TV has two states OFF and ON. If method on() is executed within selleck chemical 17-AAG OFF, the state moves to ON. At this time, as the environment effects, the electricity is increased by 500 Wm, and the brightness is increased by 200 lx.Table 1.