Towards a Compositional Interpretation of Object Diagrams
We develop a compositional interpretation of object model and statechart diagrams as used in the “Syntropy” method of Object-Oriented Analysis and Design. Separate theories are constructed for object instances, class managers and associations which are then combined with categorical constructions to yield a formal interpretation of the complete system.
We compare the use of state attributes to abstractly interpret history with temporal axioms governing behaviours and contrast the logical notion of locality with object-oriented data encapsulation. We consider the interpretation of statecharts partitioning the overall statespace and defining transitions between partitions and give a formal interpretation to event parameters, filters, preconditions and postconditions. We observe that some features of Syntropy are not amenable to this systematic modular interpretation.
KeywordsFormal methods modular specification object-oriented OO Syntropy object calculus action logic temporal logic encapsulation.
- Fiadeiro, J. and Maibaum, T. (1991) Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991.Google Scholar
- Lamport, L. (1991) The Temporal Logic of Actions, Digital Technical Report 79, Systems Research Center, 130 Lytton Avenue, Palo Alto, California 94301. December 25th.Google Scholar
- Rumbaugh, J. et al (1991) Objeci-Oriented Modelling and Design, Prentice-Hall, Englewoods Cliffs, New Jersey.Google Scholar