Advertisement

Concurrent state transformations on abstract data types

  • Martin Große-Rhode
Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1130)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    E. Astesiano and E. Zucca. A semantic model for dynamic systems. Springer Workshops in Computing, pages 63–80, 1992/93.Google Scholar
  2. 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. 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. 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. 5.
    P. Dauchy and M.C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 1994.Google Scholar
  6. 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. 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. 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. 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. 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. 11.
    H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. EATCS 53, 1994.Google Scholar
  12. 12.
    M. Große-Rhode. Transition specifications for dynamic abstract data types. accepted for publication in Applied Categorical Structures, 1996.Google Scholar
  13. 13.
    M. Große-Rhode. Specification of Transition CategoriesAn Approach to Dynamic Abstract Data Types —. PhD thesis, TU Berlin, 1995.Google Scholar
  14. 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. 15.
    Y. Gurevich. Evolving algebras, a tutorial introduction. In EATCS bulletin 43, pages 264–284. 1991.Google Scholar
  16. 16.
    Y. Gurevich. Evolving algebra 1993. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.Google Scholar
  17. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Martin Große-Rhode
    • 1
  1. 1.FB InformatikTechnische Universität BerlinBerlinGermany

Personalised recommendations