Skip to main content
SpringerLink
Log in

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems

  • Session 2: Formal methods
  • Conference paper
  • First Online:
Dependable Computing — EDCC-1 (EDCC 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 852))

Included in the following conference series:

  • 130 Accesses

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.

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Supérieur des Mines de Paris, 1988.

    Google Scholar 

  2. A. Benveniste and G.Berry. The synchronous approach to reactive and real-time systems. In IEEE-Proceedings: Another look at Real-Time Programming, 1992.

    Google Scholar 

  3. D. Harel. On visual formalisms. Communications of the ACM, 31:514–530, 1988.

    Article  Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Article  Google Scholar 

  6. Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for Real-Time System Specification. Dorset House Publ. Co., 1988.

    Google Scholar 

  7. Carsta Petersohn. Formalisierung reaktiver Systeme mit Transformationsschemata sowie ein Vergleich mit Activity-und Statecharts. Master's thesis, Christian-Albrechts-Universität zu Kiel, 1992.

    Google Scholar 

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

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. D.P. Wood and W.G. Wood. Comparative evatuations of specification methods for real-time systems. draft, September 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Christian-Albrechts-University at Kiel, Preu\erstr. 1-9, 24105, Kiel, Germany

    Carsta Petersohn & Willem-Paul de Roever

  2. Eindhoven University of Technology, The Netherland

    Cornelis Huizing

  3. DST Deutsche System-Technik GmbH, Edisonstra\e 3, 24145, Kiel

    Jan Peleska

Authors
  1. Carsta Petersohn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cornelis Huizing
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Peleska
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Willem-Paul de Roever
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Klaus Echtle Dieter Hammer David Powell

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation