Skip to main content

Concurrent state transformations on abstract data types

  • Contributions
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1995, COMPASS 1995)

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

  • 161 Accesses

Abstract

The introduction of a notion of states into algebraic specifications yields the possibility to specify dynamic and communicating systems, and to compare formally algebraic and dynamic specifications. In the approach presented here states are modelled as partial algebras that extend a fixed partial algebra considered as static data type. Transitions are specified by rules that express the replacement of properties when passing from one state to another. In this framework parallel and concurrent composition of transitions and their representation are investigated. Furthermore a restriction of the general approach to a specification framework for environment transformations is presented. It allows the specification of dynamic systems based on dynamic entities like pointers, and has the same structural properties as the algebraic specification logic.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. E. Astesiano and E. Zucca. A semantic model for dynamic systems. Springer Workshops in Computing, pages 63–80, 1992/93.

    Google Scholar 

  2. E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Math. Struct. in Comp. Sci., 5(2):257–282, 1995.

    Google Scholar 

  3. H. Baumeister. Relations as abstract data types: An institution to specify relations between algebras. In Proc. TAPSOFT'95. LNCS 915, 1995.

    Google Scholar 

  4. P. Dauchy. Développement et exploitation d'une specification algébrique du logiciel embarqué d'un métro. PhD thesis, Université de Paris-Sud, 1992.

    Google Scholar 

  5. P. Dauchy and M.C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 1994.

    Google Scholar 

  6. H. Ehrig. Algebraic specification of modules and modular software systems within the framework of specification logics. Technical Report 89-17, TU Berlin, 1989.

    Google Scholar 

  7. H. Ehrig and M. Große-Rhode. Functorial theory of parameterized specifications in a general specification framework. TCS, 135:221–266, 1994.

    Google Scholar 

  8. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361–404, 1991.

    Google Scholar 

  9. H. Ehrig, M. Löwe, and F. Orejas. Dynamic abstract data types based on algebraic graph transformations. Technical report, TU Berlin, 1994.

    Google Scholar 

  10. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.

    Google Scholar 

  11. H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. EATCS 53, 1994.

    Google Scholar 

  12. M. Große-Rhode. Transition specifications for dynamic abstract data types. accepted for publication in Applied Categorical Structures, 1996.

    Google Scholar 

  13. M. Große-Rhode. Specification of Transition CategoriesAn Approach to Dynamic Abstract Data Types —. PhD thesis, TU Berlin, 1995.

    Google Scholar 

  14. Y. Gurevich. Logic and the challenge of computer science. In E. Börger, editor, Trends in Theoretical Computer Science, pages 1–57. Computer Science Press, 1988.

    Google Scholar 

  15. Y. Gurevich. Evolving algebras, a tutorial introduction. In EATCS bulletin 43, pages 264–284. 1991.

    Google Scholar 

  16. Y. Gurevich. Evolving algebra 1993. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.

    Google Scholar 

  17. A. Pierantonio. Making static dynamic: Towards an axiomatization for dynamic ADT's. In Proc. International Workshop on Communication Based Systems, Berlin, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Magne Haveraaen Olaf Owe Ole-Johan Dahl

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Große-Rhode, M. (1996). Concurrent state transformations on abstract data types. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_45

Download citation

  • DOI: https://doi.org/10.1007/3-540-61629-2_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-70642-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics