SEMANTIC ANCHORING
AN INFRASTRUCTURE FOR MODEL-INTEGRATED COMPUTING
Versandkostenfrei!
Versandfertig in 6-10 Tagen
45,99 €
inkl. MwSt.
PAYBACK Punkte
23 °P sammeln!
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 Syn...
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.
Andere Kunden interessierten sich für
