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.
Similar content being viewed by others
References
E. Astesiano and E. Zucca. A semantic model for dynamic systems. Springer Workshops in Computing, pages 63–80, 1992/93.
E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Math. Struct. in Comp. Sci., 5(2):257–282, 1995.
H. Baumeister. Relations as abstract data types: An institution to specify relations between algebras. In Proc. TAPSOFT'95. LNCS 915, 1995.
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.
P. Dauchy and M.C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 1994.
H. Ehrig. Algebraic specification of modules and modular software systems within the framework of specification logics. Technical Report 89-17, TU Berlin, 1989.
H. Ehrig and M. Große-Rhode. Functorial theory of parameterized specifications in a general specification framework. TCS, 135:221–266, 1994.
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.
H. Ehrig, M. Löwe, and F. Orejas. Dynamic abstract data types based on algebraic graph transformations. Technical report, TU Berlin, 1994.
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.
H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. EATCS 53, 1994.
M. Große-Rhode. Transition specifications for dynamic abstract data types. accepted for publication in Applied Categorical Structures, 1996.
M. Große-Rhode. Specification of Transition Categories — An Approach to Dynamic Abstract Data Types —. PhD thesis, TU Berlin, 1995.
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.
Y. Gurevich. Evolving algebras, a tutorial introduction. In EATCS bulletin 43, pages 264–284. 1991.
Y. Gurevich. Evolving algebra 1993. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.
A. Pierantonio. Making static dynamic: Towards an axiomatization for dynamic ADT's. In Proc. International Workshop on Communication Based Systems, Berlin, 1994.
Author information
Authors and Affiliations
Editor information
Rights 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