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.
Vorschau
Rechte
Nutzung und Vervielfältigung:
Keine Lizenz. Es gelten die Bestimmungen des deutschen Urheberrechts (UrhG).
Bitte beachten Sie, dass einzelne Bestandteile der Publikation anderweitigen Lizenz- bzw. urheberrechtlichen Bedingungen unterliegen können.
Zitieren
Zitierform:
Zitierform konnte nicht geladen werden.