Abstract
This paper identifies how object models, statecharts and interaction diagrams can be given a semantics in the Object Calculus of Fiadeiro and Maibaum. A compositional interpretation of object model and statechart diagrams is developed, with separate theories constructed for object instances, class managers and associations which are then combined using categorical constructions to yield a formal interpretation of complete systems.
We use this semantics to identify some problematic features of these notations in the Syntropy method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J C Bicarregui, K Lano and T Maibaum. Objects, Associations and Subsystems: a hierarchical approach to encapsulation. ECOOP 97, LNCS, 1997.
D Coleman, P Arnold, S Bodoff, C Dollin, H Gilchrist, F Hayes, and P Jeremaes. Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994.
S Cook and J Daniels. Designing Object Systems with Syntropy. Prentice Hall, 1994.
J Fiadeiro and T Maibaum. Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991.
J Fiadeiro and T Maibaum. Sometimes “Tomorrow” is “Sometime”, in Temporal Logic, D. M. Gabbay and H. J. Ohlbach (editors), LNAI 827, Springer-Verlag 1994, 48–66.
J Goguen and R Burstall. Introducing Institutions. In Clarke and Kozen, eds. Logics of Programs, pp. 221–256, Springer-Verlag, 1984.
D Harel. Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Prog. 8 pp. 231–274 (1987).
K Lano, S Goldsack, J Bicarregui and S Kent. Integrating VDM ++ and Real-time System Design. Z User Meeting, LNCS, 1997.
K Lano. Semantic Frameworks for Syntropy. BIRO project document GR/K673111, Dept. of Computing, Imperial College, February 1996.
Rational Co., UML Version 1.0, http://www.rational.com, 1997.
M Spivey. The Z Notation: a reference manual, Prentice-Hall, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bicarregui, J.C., Lano, K.C., Maibaum, T.S.E. (1998). Formalising Object-Oriented Models in the Object Calculus. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_33
Download citation
DOI: https://doi.org/10.1007/3-540-69687-3_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64039-4
Online ISBN: 978-3-540-69687-2
eBook Packages: Springer Book Archive