Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Integrating VDM++ and Real-Time System Design
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Describing, Structuring and Implementing Objects
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Abstract Interpretation of an Object Calculus for Synchronization Optimizations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Abstract Interpretation Against Races
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
| Hi-index | 0.00 |
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.