Semantic Anchoring (Paperback) (ISBN-13: 9783639147100)

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.

Author: Kai Chen
ISBN-10: 3639147103
ISBN-13: 9783639147100
Publisher: VDM Verlag
Language: English
Published: 05/15/2009
Pages: 200
Format: Paperback
Weight: 0.66lbs
Size: 9.00h x 6.00w x 0.46d