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 [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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.-L. Bergerand, P. Caspi, and N. Halbwachs. Outline of a real-time data flow language. In Proceedings IEEE Real-Time Systems Symposium, 1985.
A. Benveniste and G. Berry The Synchronous Approach to Reactive and Real-Time Systems, in IEEE-Proceedings “Another Look at Real-Time Programming”, 1992.
G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Supérieur des Mines de Paris, 1988.
Alan M. Davis Software Requirements: analysis and specification, Prentice-Hall, 1990.
D. Harel On visual formalisms. Communications of the ACM, 31: 514–530, 1988.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Stalemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 (4): 403–414, April 1990.
C. Huizing and R. Gerth. On the semantics of reactive systems. Technical report, Eindhoven University of Technology, 1989.
Derek J. Hatley and Imtiaz A. Pirbhai Strategies for Real-Time System Specification, Dorset House Publ. Co., 1988.
C. Huizing, R. Gerth, and W.-P. de Roever. Modelling statecharts behaviour in a fully abstract way. In Proc. 13th CAAP, LNCS 299, pages 271–294, 1988.
D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic in Computer Science, pages 54–64, 1987.
Hoperoft, J.E. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley (Deutschland) GmbH (1988).
C. Huizing and R.T. Gerth Semantics of Reactive Systems in Abstract Time, in “Real-Time: Theory in Practice”, proceedings of a REX workshop, June 1991, Mook, edited by J.W. de Bakker, W.-P. de Roever, G. Rozenberg, LNCS 600, Springer Verlag, Berlin, Heidelberg, 1992.
Cliff B. Jones Systematic Software Development Using VDM. Prentice-Hall International series in computer science (1986).
Peleska] Jan Peleska. Design and Verification of Fault Tolerant Systems using CSP,Distributed Computing, 1991.
C. Petersohn, C. Hiuzing, J. Peleska. Comparison of WardeMellor’s TRANSFORMATION SCHEMA with STATECHARTS., Technical report, Christian-Albrechts-Universität Kiel, 1992. submitted.
P.R.H. Place, W.G. Wood and M. Tudball, Survey of Formal Specification Techniques for Reactive Systems, Technical Report, Software Engineering Inst., CMU 1990.
Plotkin, G. An operational semantics for CSP. In Proceedings of the IFIP Conference on the Formal Description of Programming Concepts II, North Holland (1983) pp. 199–225.
A. Pnueli and M. Shalev. What is in a step. Technical report, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel, 1988, Draft.
Pt92] Carsta Petersohn Modellierung reaktiver Systeme mit Transformationsschema und ein Vergleich mit Activity-und Statecharts,Master’s thesis, report, Christian—Albrechts—Universität zu Kiel, 1992.
Paul T. Ward, The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing, IEEE TSE, Vol. SE-12, No. 2, pp. 198–210, Febr. 1986.
Paul T. Ward and Stephen J. Mellor Structured Development for Real-Time Systems (3 vols), Yourdon Press Computing Series, Prentice-Hall, Englewood Cliffs, 1985.
D.P. Wood and W.G. Wood Comparative Evaluations of Specification Methods for Real-Time Systems, draft, September 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Petersohn, C., de Roever, WP., Huizing, C., Peleska, J. (1994). Formal Semantics for Ward & Mellor’s Transformation Schemas. In: Till, D. (eds) 6th Refinement Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3240-0_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3240-0_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19886-4
Online ISBN: 978-1-4471-3240-0
eBook Packages: Springer Book Archive