Formal Semantics for Ward & Mellor's Transformation Schemas

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 [Ha88] by Pnueli and Huizing. The models developed closely resemble those used for synchronous languages [Benveniste and Berry 92]. A number of ambiguities and inconsistencies in Ward & Mellor’s original definition are resolved.

[1]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[2]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[3]  William G. Wood,et al.  Comparative Evaluations of Four Specification Methods for Real-Time Systems , 1989 .

[4]  Amir Pnueli,et al.  What is in a step , 1989 .

[5]  Alan M. Davis,et al.  Software requirements - analysis and specification , 1990 .

[6]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[7]  William G. Wood,et al.  Survey of Formal Specification Techniques for Reactive Systems , 1990 .

[8]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[9]  Nicolas Halbwachs,et al.  Outline of a Real Time Data Flow Language , 1985, RTSS.

[10]  Gordon Plotkin,et al.  An Operational Semantics for CSP. , 1982 .

[11]  Grzegorz Rozenberg,et al.  Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings , 1992 .

[12]  R. Gerth,et al.  Modeling Statecharts Behaviour in a Fully Abstract Way , 1988, CAAP.

[13]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[14]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[15]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[16]  David Harel,et al.  On visual formalisms , 1988, CACM.