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 |
|
|