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.
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.