Formal semantics for Ward and Mellor's transformation schemas and its application to fault tolerant systems

Carsta Petersohn, Cornelis Huizing, Jan Peleska, Willem Paul de Roever

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Abstract

A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward and Mellor1 using recent techniques developed for defining the semantics of Statecharts2 by Pnueli and Huizing. A number of ambiguities and inconsistencies in Ward and Mellor's original definition is resolved. The models developed closely resemble those used for synchronous languages3. Each model has its own application area, e.g. one fits best for fault-tolerant systems.

Original languageEnglish
Pages (from-to)131-136
Number of pages6
JournalComputer Systems Science and Engineering
Volume13
Issue number2
Publication statusPublished - 1 Mar 1998

Keywords

  • Berry's synchrony hypothesis
  • Formal semantics
  • Micro and macro steps
  • Real-time embedded systems and their design
  • Structured analysis and design methods
  • Synchronous languages
  • Transformation schema

Fingerprint Dive into the research topics of 'Formal semantics for Ward and Mellor's transformation schemas and its application to fault tolerant systems'. Together they form a unique fingerprint.

  • Cite this