A semantic comparison of fusion and syntropy

The Fusion and Syntropy object-oriented methods reflect some of the mast ri gorous object-oriented modelling concepts and experiences currently availab le, In this paper we identify similarities and differences between the two methods, and discuss how the best concepts from each of these methods can b e combined to obtain clearer, more precise analysis models, specifications, and designs, and can be used to enhance the modelling power of the other. A summary of a semantics for Syntropy is given in Appendix A, and ways in w hich this can be extended to Fusion are described, This work was carried ou t as part of the EPSRC projects 'Object-oriented Specification of Reactive and Real-time Systems' concerning the extension of Fusion to treat reactive systems, and 'Formal Underpinnings for Object Technology' concerned with d eveloping a full semantics for Syntropy.