Semantic Anchoring

ISBN-13: 9783639147100 / Angielski / Miękka / 2009 / 200 str.

Kai Chen

Opis

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.

O autorze

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.