Interpreting Syntropy in Larch
Ali Hamié, John Howse · 1999
This paper presents a formal axiomaticsemantics for the essential model notations of Syntropy,where an essential model provides a step towards the speci#cation of an object-oriented system. Syntropy likeother objectoriented developmentmethods uses intuitiveand easy to understand graphical notations for expressingthestatic and dynamic aspectsofthemodel. However, Syntropy di#ers from other methods bythe use of mathematical notations to annotatethe graphical notations andby the use of event broadcastingtoabstract from message passingbetween objects. The lack of complete formality in Syntropy preventstheevaluation of completeness and consistency of itsmodels. Thesemantics is expressed in the speci#cation language the LarchShared Language. The formalisation of the essential model contributes toamathematical basis for reasoningusingthetools provided by Larch, and isavaluable aid for developing support tools for the method. The formalisation can be extended quite easily to provideasemantics...