Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783639147100
- ISBN-10: 3639147103
- Publisher: VDM Verlag
- Publish Date: May 2009
- Dimensions: 9 x 6 x 0.46 inches
- Shipping Weight: 0.66 pounds
- Page Count: 200
Related Categories
