U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In Astesiano, E. and Reggio, G. and Tarlecki, A., editor, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June  Home/Search   Document Details and Download   Summary   Related Articles   Check

....program design, process theory, theory of abstract data types, and concurrency control theory are relevant for the refinement of object oriented specification concepts used in information system design. Refinement of object oriented specification is the topic of several recently published papers. [30] presents two notions of behavioral refinement in rewrite systems. Rewrite systems are used to give semantics to the object oriented specification language Maude. Algebraic techniques are the basis for investigating refinement and implementation issues in [20] and for the object oriented language ....

U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In Astesiano, E. and Reggio, G. and Tarlecki, A., editor, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June

....(applying rules to overlapping subterms gets the same result in the end) so that the order and position where rules are applied makes no difference to the final result. Some examples of such models are OBJ [97 99] a functional language whose semantics is based on equational logic, and Maude [136, 151, 152, 203]. An example, based on one in [139] will give the flavor of this approach. The following is a functional module for polynomial differentiation, assuming the existence of a module that represents polynomials and the usual actions on them. The lines beginning with eq are rewrite rules. The line ....

U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specifications, volume 906 of Lecture Notes in Computer Science, pages 351--367. Springer-Verlag, Berlin, 1995.

....Rewriting Logic as realized in the Maude language [668, 670] In Maude the functional aspects of a concurrent object oriented system are described in the algebraic specification language OBJ, whereas the dynamic aspects are modelled by nondeterministic rewriting. A Maude case study is presented in [602], where an airport system is modelled by an abstract and a concrete specification, and two different notions of behavioural refinement in Maude are proposed to relate these specifications. Based on Maude and motivated by pragmatic software development techniques an extension of object oriented ....

U. Lechner, C. Lengauer, and M. Wirsing. An Object--Oriented Airport: Specification and Refinement in Maude. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specifications. 10th Workshop on Specification of Abstract Data Types, pages 351--367. Springer LNCS 906, 1995. \Phi.

....that there is no need to statically enforce a fixed connection structure among components. The models of the specification logic are certain abstract process structures. In this aspect, this work is related to approaches where an underlying process calculus is taken as the specification target [8, 11, 16, 14, 18], although we do not depart from any operational model. From a technical and methodological point of view, we try to attain these general goals at a suitable level of abstraction, that is, minimising any appeal to explicit encodings of concepts like locations. The work reported here was motivated ....

U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specifications, volume 906 of Lecture Notes in Computer Science, pages 351--367. Springer-Verlag, Berlin, 1995.

....based on inclusions. Their approach showed to be useful for the preliminary specification and further stepwise refinement of complex systems [Robertson et al. 1994] Rewriting logic itself and its embodiment in Maude has served as prototyping language for the specification of complex systems [Lechner et al. 1995]. Therefore the result of this research towards the design of a multi paradigm programming language dealing with arbitrary transitive relations may also be very useful for developing rapid prototyping tools for these kind of specifications [Schorlemmer and Agust i, 1996] Besides these general ....

Lechner, U., Lengauer, C., and Wirsing, M. (1995). An object-oriented airport: Specification and refinement in Maude. In Astesiano, E., Reggio, G., and Tarlecki, A., editors, Recent Trends in Data Types Specification, LNCS 906. Springer Verlag.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC