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.

Autorentext

Kai Chen received the Ph.D. degree from the Department of Electrical Engineering and Computer Science at Vanderbilt University. He is working at Google Incorporation.

Klappentext

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.