An object-oriented model of an airport has been developed to assess the parallel object-oriented specification language Maude. The model includes airplanes, gates, baggage handling, ground control and tower and has been implemented on the OBJ3 system, which serves as a rudimentary interprefer for Maude. We discuss two ways of specifying objects and present two notions or behavioral refinements in Maude.
Ulrike Peiker, Martin Griebl