Abstract
Algebra replacement systems are introduced as formal models of state dependent and state transforming systems. The first part of an institution of algebra replacement systems is developed, that is, a model theoretic and logical framework that can be used to describe and reason about such systems. The usual operational understanding of a replacement system as a labeled transition system is then considered as one particular model in the model category. Under appropriate conditions such a constructed replacement system is initial.
Similar content being viewed by others
References
Astesiano, E. and Reggio, G.: Algebraic specification of concurrency, in Recent Trends in Data Type Specification, Springer LNCS 655, 1993, pp. 1–39.
Astesiano, E. and Zucca, E.: D-oids: A model for dynamic data types, Math. Struct. in Comp. Sci. 5(2) (1995), 257–282.
Claßen, I., Große-Rhode, M., and Wolter, U.: Categorical concepts for parameterized partial specifications, Math. Struct. in Comp. Sci. 5(2) (1995), 153–188.
Dauchy, P. and Gaudel, M. C.: Algebraic specifications with implicit states, Tech. Report, Univ. Paris Sud, 1994.
Ehrig, H., Habel, A., Kreowski, H.-J., and Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems, Math. Struct. in Comp. Sci. 1 (1991), 361–404.
Ehrig, H.: Introduction to the algebraic theory of graph grammars, in V. Claus, H. Ehrig, and G. Rozenberg (eds), 1st Graph Grammar Workshop, Springer LNCS 73, 1979, pp. 1–69.
Große-Rhode, M.: Concurrent state transformations on abstract data types, in M. Haveraaen, O. Owe, and O.-J. Dahl (eds), Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types, Springer LNCS, 1995, pp. 222–236.
Große-Rhode, M. and Martini, A.: Transition specifications and the algebraic core of the Z-notation, Technical report, TU Berlin, 1996.
Große-Rhode, M.: First steps towards an institution of algebra replacement systems, Technical Report 96–44, Technische Universität Berlin, 1996.
Große-Rhode, M.: Transition specifications for dynamic abstract data types, Applied Categorical Structures 5 (1997), 265–308.
Gurevich, Y.: Evolving Algebras 1993: Lipari Guide, in E. Börger (ed.), Specification and Validation Methods, Oxford University Press, 1995.
Madani, R.: Ein allgemeiner Ansatz zur formalen zustandsorientierten Spezifikation von Entity-Relationship-Modellen, Diplomarbeit, Technische Universität Berlin, 1996.
Nitsche, T.: Beweismethoden für statische und dynamische Eigenschaften von Eiffel-Klassendefinitionen durch Transitionsspezifikationen, Diplomarbeit, Technische Universität Berlin, 1996.
Reichel, H.: Initial Computability, Algebraic Specifications, and Partial Algebras, Oxford University Press, Oxford, 1987.
Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations, World Scientific, 1997.
Spivey, J. M.: Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, 1988.
Spivey, J. M.: The Z Notation: A Reference Manual, Prentice Hall, 1989.
Zucca, E.: From static to dynamic abstract data-types, in W. Penczek and A. Szałas (eds), Mathematical Foundations of Computer Science 1996, Springer LNCS 1113, 1996, pp. 579–659.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Große-Rhode, M. First Steps Towards an Institution of Algebra Replacement Systems. Applied Categorical Structures 6, 403–426 (1998). https://doi.org/10.1023/A:1008695322792
Issue Date:
DOI: https://doi.org/10.1023/A:1008695322792