05471111

j

05471111 Petersohn, Carsta Huizing, Cornelis Peleska, Jan Roever, Willem Paul de Formal semantics for ward and mellor's transformation schemas and its application to fault tolerant systems. Comput. Syst. Sci. Eng. 13, No. 2, 131-136 (1998). 1998 CRL Publishing Ltd., London EN F.3.2 real-time embedded systems and their design structured analysis and design methods transformation schema formal semantics synchronous languages micro and macro steps berry's synchrony hypothesis Summary: A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward and Mellor using recent techniques developed for defining the semantics of Statecharts by Pnuell 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 languages. Each model has its own application area, e.g. one fits best for fault-tolerant systems.