Software Engineering Methodology,Spring 2021
Assignment #4
Due on 04/15
Please select any one of the following three questions and finish the Z model by March 31, Sunday.
1.
Figure 1. The hardware layout of the air conditioning part of the room. |
Given a simple air conditioning functionality of a room (Figure 1). Air comes from outside the room, and can be heated or cooled down on its way inside the room (see Figure 1).
The owner can at any time change the desired temperature via the ‘+’ and ‘-‘ temperature buttons. If the desired temperature is lower than the current temperature, the cooler should be turned on, and if the desired temperature is higher than the current temperature, the heater should be turned on.
Your assignment is to define the system formally using correct Z notation.You need to clearly define the data you need, two operations forcoolingandheating, and corresponding schemas.
ANS:
Air Conditioning System
Data:
Air Conditioner: acId, roomTemperature, state
Operations:
Cooling: stateOn
Heating: stateOn
Schema:
Air Conditioner:Ã( acId´roomTemperature´state )
"aÎac. (a[1]¹lÙa[2]¹lÙa[3]¹l)
"a1, a2Îac. (a1[1]¹a2[1]®a1[3]¹a2[3])
I have attached the feed back from the instructor. Please be sure the "expert" is very familiar with Z notation.