论文信息 - Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems

Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems

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.

[1] Jan Peleska,et al. Formal Semantics for Ward & Mellor's Transformation Schemas , 1994, Refine.

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

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

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

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

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

[7] Rob Gerth,et al. Semantics of Reactive Systems in Abstract Time , 1991, REX Workshop.

[8] 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.

[9] Jan Peleska,et al. A comparison of Ward & Mellor's transformation schema with state & activitycharts , 1994 .

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

[11] BerryGérard,et al. The ESTEREL synchronous programming language , 1992 .

[12] Amir Pnueli,et al. What is in a Step: On the Semantics of Statecharts , 1991, TACS.