Abstract
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.
Keywords
The research of this author has been partially supported by DST
The research of this author has been partially supported by ESPRIT BRA2 projects “SPEC” (no. 3096) and “REACT” (no. 6021)
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Supérieur des Mines de Paris, 1988.
A. Benveniste and G.Berry. The synchronous approach to reactive and real-time systems. In IEEE-Proceedings: Another look at Real-Time Programming, 1992.
D. Harel. On visual formalisms. Communications of the ACM, 31:514–530, 1988.
C. Huizing and R. T. Gerth. Semantics of reactive systems in abstract time. In G. Rozenberg J.W. de Bakker, W.-P. de Rover, editor, Real-Time: Theory in Practice, proceedings of a REX workshpo, June 1991, LNCS 600, pages 291–314. Springer Verlag, Berlin, Heidelberg, 1992, June 1991.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transaction on Software Engineering, 16(4):403–414, April 1990.
Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for Real-Time System Specification. Dorset House Publ. Co., 1988.
Carsta Petersohn. Formalisierung reaktiver Systeme mit Transformationsschemata sowie ein Vergleich mit Activity-und Statecharts. Master's thesis, Christian-Albrechts-Universität zu Kiel, 1992.
J. Peleska, C. Huizing, and C. Petersohn. A comparison of Ward&Mellor's TRANSFORMATION SCHEMA with STATE-&ACTIVITYCHARTS. submitted to IEEE Transaction on Software Engineerig, 1993.
C. Petersohn, C. Huizing, J. Peleska, and W.-P. de Roever. Formal semantics for Ward & Mellor's TRANSFORMATION SCHEMAS. In D. Till, editor, Sixth Refinement Workshop of the BCS FACS Group. Springer Verlag, 1994.
G. Plotkin. An operational semantics for csp. In In Proceedings of the IFIP Conference on the Formal Description of Programming Concepts II, North Holland, pages 199–225, 1993.
A. Pnueli and M. Shalev. What is in a step: On semantics of statecharts. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lect. Notes in Comp. Sci., pages 244–264. Springer-Verlag, 1991.
Paul T. Ward. The Transformation Schema: An extension of the data flow diagram to represent control and timing. IEEE TSE, SE-12(2):198–210, February 1986.
Paul T. Ward and Stephen J. Mellor. Structured Development for Real-Time Sysrems, volume 1–3 of Yourdon Press Computing Series. Prentice Hall, Englewood Cliffs, 1985.
D.P. Wood and W.G. Wood. Comparative evatuations of specification methods for real-time systems. draft, September 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petersohn, C., Huizing, C., Peleska, J., de Roever, WP. (1994). Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems. In: Echtle, K., Hammer, D., Powell, D. (eds) Dependable Computing — EDCC-1. EDCC 1994. Lecture Notes in Computer Science, vol 852. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58426-9_124
Download citation
DOI: https://doi.org/10.1007/3-540-58426-9_124
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58426-1
Online ISBN: 978-3-540-48785-2
eBook Packages: Springer Book Archive