[5 points] 1. Build a state diagram modelling the required behavior of a thermostat in a house temperature control system. The model should capture the dynamics of state variables controlled by the thermostat based on the following simplified problem statement. A thermostat shall regulate a house heating and air conditioning (AC) system. It must switchthe heating sub- system on when the heating mode is on and the measured home temperature is below some user-specified temperature, and off when the heating mode is off or the measured home temperature is above that desired temperature. Symmetrically, the thermostat must switch the AC sub-system on when the cooling mode is on and the measured hometemperature is above some user- specified temperature, and off when the cooling mode is offor the measured home temperature is below that desired temperature. The thermostat shallalso control a user interface that will consistently display: (a) the current mode (heating orcooling), (b) whether the corresponding sub-system is running or not, and (c) the current measured temperature and the desired temperature entered by the user on a control panel. Due to the inherent concurrency in this system, your state diagram should show nested parallel and sequential states. [5 points] 2. Elaborate an overall organization of a multi-view model for the meeting scheduling system into cohesive packages. Explain the reasons for your grouping choices. [5 points] 3. Show how the context diagram in Figure 11.8 can be derived piecewise from the goal model fragment shown in Figure 8.20 . [5 points] 4. Derive an agent diagram and a context diagram from the goal model fragment for the meeting scheduling system shown in Figure 8.11.