Research Article
Z Specification of Gate and Apron Control Management at Airport
Table 1
Results of model analysis.
| | Schema Name | Syntax type check | Domain check | Reduction | Proof by reduction |
| | Graph | Y | Y | Y* | Y | | Gate, Gates | Y | Y | NA | Y | | Apron, Aprons | Y | Y | NA | Y | | Taxiway, Taxiways | Y | Y | NA | Y | | AirportTopology | Y | Y | Y* | Y | | Aircraft, Aircrafts | Y | Y | NA | Y | | GateController | Y | Y | NA | Y | | ApronController | Y | Y | NA | Y | | RequestGate | Y | Y | Y* | Y | | AssignGate | Y | Y | NA | Y | | PushbackRequest | Y | Y | NA | Y | | Pushback | Y | Y | Y* | Y | | TaxiRequest | Y | Y | Y* | Y | | EnterTaxi | Y | Y | Y* | Y |
|
|
