SEMANTIC ANCHORING

This book proposes an affordable technology that can facilitate formal Domain-Specific Modeling Language design with precise syntax and semantics definition and to build a solid semantic anchoring infrastructure for the Model-Integrated Computing approach. A semantic anchoring infrastructure facilitates the transformational specification of Domain-Specific Modeling Language semantics. It is based on the observation that in the embedded software and systems domain there is a finite set of basic behavioral categories such as Finite State Machine Timed Automata Discrete Event Systems and Synchronous Dataflow each of which captures the behavioral pattern of a class of systems. The semantic anchoring infrastructure includes a set of semantic units that capture the behavioral semantics of basic behavioral categories using a formal method as the underlying semantic framework.