Abstract
The formal specification of multiple viewpoints of a system requires multiple specification formalisms, suitable for the specific concerns of the viewpoints. For rather different viewpoints, such as for instance the information and the computational model of a component of a system, even the underlying paradigms of the specification formalisms may be different. In this paper a general semantical framework for the formal specification of dynamically evolving systems is presented. Its models, algebra transformation systems, have states whose internal data structures are given by partial algebas, which are manipulated by the application of replacement rules. Its paradigm is the descriptive one of general model theory respectively institutions. Partial observations of the internal state structures yield a translation from algebra transformation systems to labelled transition systems, the granularity of which is determined by the specification of the admissible observations. Since labelled transition systems can be considered as the general (operational) models for process calculi, this translation allows comparisons between the descriptive paradigm of the model theoretic approach and the operational one of process calculi. Thus consistency checks of multiple viewpoint specifications are supported.
This work has partially been supported by the EEC TMR network GETGRATS (General Theory of Graph Transformation Systems).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Math. Struct. in Comp. Sci., 5(2):257–282, 1995.
H. Bowman, E. Boiten, J. Derrick, and M.Steen. Viewpoint consistency in ODP, a general interpretation. In Proc. FMOODS 96, 1996.
P. Dauchy and M.C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 1994.
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. Große-Rhode. First steps towards an institution of algebra replacement systems. Technical Report 96-44, Technische Universität Berlin, 1996.
Y. Gurevich. Evolving algebra 1993. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.
RM-ODP. Reference model of open distributed processing, part 1–4. ISO/IEC International Standard 10746, ITU-T Recommendation X.901–X.904.
E. Zucca. From static to dynamic abstract data-types. In W.Penczek and A. Szalas, 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
Große-Rhode, M. (1998). From algebra transformation to labelled transition systems. In: Presicce, F.P. (eds) Recent Trends in Algebraic Development Techniques. WADT 1997. Lecture Notes in Computer Science, vol 1376. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64299-4_39
Download citation
DOI: https://doi.org/10.1007/3-540-64299-4_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64299-2
Online ISBN: 978-3-540-69719-0
eBook Packages: Springer Book Archive