A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward & Mellor [WM85] using recent techniques developed for defining the semantics of Statecharts [Har88] by Pnueli and Huizing. The models developed closely resemble those used for synchronous languages [BG92]. Each model has its own application area, e.g., one fits best for fault-tolerant systems, but only one model is modular. A number of ambiguities and inconsistencies in Ward & Mellor’s original definition is resolved.
CITATION STYLE
Petersohn, C., Huizing, C., Peleska, J., & de Roever, W. P. (1994). Formal semantics for ward & Mellor’s transformation schemas and the specification of fault-tolerant systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 852 LNCS, pp. 59–76). Springer Verlag. https://doi.org/10.1007/3-540-58426-9_124
Mendeley helps you to discover research relevant for your work.