Abstract
Algebra transformation systems are introduced as formal models of components of open distributed systems. They are given by a transition graph modelling the control flow and partial algebras and method expressions modelling the data states and their transformations. According to this two-level structure they cover both labelled transition systems and rule based specification approaches, corresponding to information, computation and engineering viewpoint models. Different composition operations for algebra transformation systems are investigated. Limits and colimits model parallel and sequential composition of components, signature morphisms yield appropriate syntactical support for such compositions. The most important compositionality properties known from algebraic specification, like colimits of signatures and amalgamation of models, also hold for the framework of algebra transformation systems.
This work has been partially supported by the EEC TMR network GETGRATS (General Theory of Graph Transformation Systems), contract number ERB-FMRX-CT960061.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Math. Struct. in Comp. Sci., 5(2):257–282, 1995.
R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proc. Int. Conf. Artificial Intelligence, 1977.
M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In Proc. CAAP'96, Springer LNCS 1059. 1996.
I. Cla\en, M. Grö\e-Rhode, and U. Wolter. Categorical concepts for parameterized partial specifications. Math. Struct. in Comp. Science, 5(2):153–188, 1995.
P. Dauchy and M.C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 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.
J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specifications. Formal Aspects of Computing, 4(3):239–272, 1992.
J.L. Fiadeiro. Algebraic semantics of coordination. Talk given at the 12th Workshop on Algebraic Development Techniques, Tarquinia, Italy, 1997.
J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95–146, January 1992.
M. Grö\e-Rhode. First steps towards an institution of algebra replacement systems. Technical Report 96-44, Technische UniversitÄt Berlin, 1996. Also available under http://tfs.cs.tu-berlin.de/~ mgr.
M. Grö\e-Rhode. Sequential and parallel algebra transformation systems and their composition. Technical Report 97-07, Università di Roma La Sapienza, Dip. Scienze dell'Informazione, 1997. Also available under http://tfs.cs.tu-berlin.de/~ mgr.
Y. Gurevich. Evolving algebra 1993. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.
ISO/IEC International Standard 10746, ITU-T Recommendation X.901-X.904: Reference model of open distributed processing — Parts 1–4.
H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, Oxford, 1987.
G. Winskel and M. Nielson. Models for concurrency. In Handbook of Logic in Computer Science. Oxford University Press, 1995.
E. Zucca. From static to dynamic abstract data-types. In W.Penczek and A. Szałas, editors, Mathematical Foundations of Computer Science 1996, volume 1113 of Lecture Notes in Computer Science, pages 579–590. Springer Verlag, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grö\e-Rhode, M. (1998). Algebra transformation systems and their composition. In: Astesiano, E. (eds) Fundamental Approaches to Software Engineering. FASE 1998. Lecture Notes in Computer Science, vol 1382. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053586
Download citation
DOI: https://doi.org/10.1007/BFb0053586
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64303-6
Online ISBN: 978-3-540-69723-7
eBook Packages: Springer Book Archive