Consider an airport management system. Each airport has a unique id (e.g. Montreal:YUL). Let us introduce the types AIRPORT and CITY . We also introduce variable airports that contains associations between airport id’s and their corresponding host cities. A possible state of the system is shown below:airports ={YUL → Montreal,LCY → London_UKLHR → London_UK,MIL → Milan,SFO → San_Francisco,SDQ → Santo_Domingo}1. Provide a declaration of variable monitored that holds all airport id’s. 2. What kind of variable is airports? Provide a formal definition together with any and all applicable properties. 3. Describe what data structure you would deploy to model variable airports. Note that you may not use a Dictionary. Should this be an ordered or an unordered structure? Discuss. 4. Provide a formal specification of the state of the system in terms of a Z specification schema. 5. Provide a schema for operation AddAirportOK that adds a new airport to the system. With the aid of success and error schema(s), provide a definition for operation AddAirport that the system will place in its exposed interface. 6. Provide a schema for operation UpdateAirportOK that updates the host city of a given airport. With the aid of success and error schema(s), provide a definition for operation UpdateAirport that the system will place in its exposed interface.7. Provide a schema for operation DeleteAirportOK that removes an airport from the system. With the aid of success and error schema(s), provide a definition for operation DeleteAirport that the system will place in its exposed interface.8. Provide a schema for operation GetAllAirportsOK that returns all airports hosted by a given city. With the aid of success and error schema(s), provide a definition for operation GetAllAirports that the system will place in its exposed interface.
Consider an airport management system. Each airport has a unique id (e.g. Montreal:YUL). Let us introduce the types AIRPORT and CITY . We also introduce variable airports that contains associations between airport id’s and their corresponding host cities. A possible state of the system is shown below:
airports =
{
YUL → Montreal,
LCY → London_UK
LHR → London_UK,
MIL → Milan,
SFO → San_Francisco,
SDQ → Santo_Domingo
}
1. Provide a declaration of variable monitored that holds all airport id’s.
2. What kind of variable is airports? Provide a formal definition together with any and all applicable properties.
3. Describe what data structure you would deploy to model variable airports. Note that you may not use a Dictionary. Should this be an ordered or an unordered structure? Discuss.
4. Provide a formal specification of the state of the system in terms of a Z specification schema.
5. Provide a schema for operation AddAirportOK that adds a new airport to the system. With the aid of success and error schema(s), provide a definition for operation AddAirport that the system will place in its exposed interface.
6. Provide a schema for operation UpdateAirportOK that updates the host city of a given airport. With the aid of success and error schema(s), provide a definition for operation UpdateAirport that the system will place in its exposed interface.
7. Provide a schema for operation DeleteAirportOK that removes an airport from the system. With the aid of success and error schema(s), provide a definition for operation DeleteAirport that the system will place in its exposed interface.
8. Provide a schema for operation GetAllAirportsOK that returns all airports hosted by a given city. With the aid of success and error schema(s), provide a definition for operation GetAllAirports that the system will place in its exposed interface.
Unlock instant AI solutions
Tap the button
to generate a solution