Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA's and its Application to Fault-Tolerant Systems
A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward & Mellor using recent techniques developed for defining the semantics of Statecharts by Pnueli and Huizing. A number of ambiguities and inconsistencies in Ward & Mellor's original definition is resolved. The models developed closely resemble those used for synchronous languages. Each model has its own application area, e.g., one fits best for fault-tolerant systems.
Use and reproduction:No Creative Commons license - The provisions of the German Copyright Act (UrhG) apply.Please note that individual components of the publication may be subject to other licensing or copyright conditions.