44,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
22 °P sammeln
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.
Autorenporträt
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.