Skip to main content
SpringerLink
Log in

An object-oriented airport: Specification and refinement in Maude

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1994, COMPASS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 906))

Abstract

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 interpreter for Maude. We discuss two ways of specifying objects and present two notions of behavioral refinement in Maude.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Astesiano and G. Reggio. An outline of the SMoLCS approach. In Mathematical Model for the Semantics of Parallelism, Lecture Notes in Computer Science 280. Springer-Verlag, 1986.

    Google Scholar 

  2. E. Astesiano and G. Reggio. Direct semantics of concurrent languages in the SMoLCS approach. IBM Journal of Research and Development, 31(5):512–534, 1987.

    Google Scholar 

  3. M. Bidoit and R. Hennicker. A general framework for modular implementations of modular system specifications. In M.-C. Gaudel and J.-P. Jouannaud, editors, TAP-SOFT '93: Theory and Practice of Software Development, Lecture Notes in Computer Science 668, pages 199–214. Springer-Verlag, 1993.

    Google Scholar 

  4. M. Bidoit, R. Hennicker, and M. Wirsing. Characterizing behavioural and abstractor semantics. In D. Sannella, editor, Programming Languages and Systems — ESOP '94, Lecture Notes in Computer Science 788, pages 105–119. Springer-Verlag, 1994. Long version: Behavioural and Abstractor Specifications. Technical Report 9414, Institut für Informatik, Ludwig-Maximilians-Universität München.

    Google Scholar 

  5. G. Costa and G. Reggio. Abstract dynamic data types: a temporal logic approach. In A. Tarlecki, editor, Mathematical Foundations of Computer Science (MFCS '91), Lecture Notes in Computer Science 520, pages 103–112. Springer-Verlag, 1991.

    Google Scholar 

  6. G. Denker and H.-D. Ehrich. Action reification in object oriented specifications. In Proc. ISCORE Workshop Amsterdam. Vrije Universiteit Amsterdam, 1994. To appear.

    Google Scholar 

  7. H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing systems as object communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Theory and Practice of Software Development (TAPSOFT '93), Lecture Notes in Computer Science 668, pages 453–467. Springer-Verlag, 1993.

    Google Scholar 

  8. J.L. Fiadeiro and T. Maibaum. Sometimes “tomorrow” is “sometime” — action refinement in a temporal logic of objects. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic (ICTL '94), Lecture Notes in Artificial Intelligence 827, pages 48–66. Springer-Verlag, 1994.

    Google Scholar 

  9. J. A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217–273, 1992.

    Google Scholar 

  10. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-oriented specification of information systems: The TROLL language. Technical Report Version 0.01, Report 91-04, December 1991.

    Google Scholar 

  11. P. Lincoln, N. Martí-Oliet, and J. Meseguer. Specification, transformation, and programming of concurrent systems in rewriting logic. In G. Bleiloch, K. M. Chandy, and S. Jagannathan, editors, Proc. DIMACS Workshop on Specification of Parallel Algorithms, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, May 1994.

    Google Scholar 

  12. D. R. Maeng, J. W. Cho, and K. Ryu. Concurrency and inheritance in actor-based object-oriented languages. Systems Software, 20:53–67, 1993.

    Article  Google Scholar 

  13. J. Meseguer. A logical theory of concurrent objects. ACM SIGPLAN Notices, 25(10):101–115, Oct 1990.

    Article  Google Scholar 

  14. J. Meseguer. Rewriting as a unified model of concurrency. Technical Report SRI-CSL-90-02R, SRI International, February 1990.

    Google Scholar 

  15. J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. Technical Report SRI-CSL-92-08, SRI International, July 1992.

    Google Scholar 

  16. J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In O. Nierstrasz, editor, ECOOP '93 — Object-Oriented Programming, Lecture Notes in Computer Science 707, pages 220–246. Springer-Verlag, 1993.

    Google Scholar 

  17. J. Meseguer and N. Marti-Oliet. Prom abstract data types to logical frameworks. In this volume.

    Google Scholar 

  18. J. Meseguer and T. Winkler. Parallel programming in Maude. In J.-P. Banâtre and D. Le Métayer, editors, Research Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, pages 253–293. Springer-Verlag, 1992.

    Google Scholar 

  19. R. Milner. Communication and Concurrency. Series in Computer Science. Prentice/Hall, Int., 1989.

    Google Scholar 

  20. F. Orejas, M. Navarro, and A. Sanchez. Implementation and behavioural equivalence: A survey. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specifications, Lecture Notes in Computer Science 655, pages 93–125. Springer-Verlag, 1993.

    Google Scholar 

  21. B. Salmansberger. Objektorientierte Spezifikation von verteilten Systemen in Maude am Beispiel eines Flughafens. Diplomarbeit, Fakultät für Mathematik und Informatik, Universität Passau, 1993.

    Google Scholar 

  22. R. J. van Glabbeek and U. Goltz. Equivalence notion for concurrent systems and refinement for actions. In A. Kreczmar and G. Mirkowska, editors, Mathematical Foundations of Computer Science (MFCS '89), Lecture Notes in Computer Science 379, pages 237–248. Springer-Verlag, 1989.

    Google Scholar 

  23. R. J. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science 430, pages 267–300. Springer-Verlag, 1990.

    Google Scholar 

  24. M. Wirsing. Algebraic specification. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 675–788. Elsevier (North-Holland), 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Mathematik und Informatik, Universität Passau, D-94030, Passau, Germany

    Ulrike Lechner & Christian Lengauer

  2. Institut für Informatik, Ludwig-Maximilians-Universität, D-80802, München, Germany

    Martin Wirsing

Authors
  1. Ulrike Lechner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Lengauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egidio Astesiano Gianna Reggio Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lechner, U., Lengauer, C., Wirsing, M. (1995). An object-oriented airport: Specification and refinement in Maude. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014438

Download citation

  • DOI: https://doi.org/10.1007/BFb0014438

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59132-0

  • Online ISBN: 978-3-540-49198-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation