Semantic Anchoring, Fachbücher von Kai Chen

Das Buch "Semantic Anchoring" bietet eine innovative Technologie zur Unterstützung des Designs von domänenspezifischen Modellierungssprachen (Domain-Specific Modeling Languages, DSML) mit einer präzisen Definition von Syntax und Semantik. Es zielt darauf ab, eine robuste Infrastruktur für das semantische Ankern im Rahmen des Model-Integrated Computing zu schaffen. Diese Infrastruktur ermöglicht die transformationale Spezifikation der Semantik von DSML und basiert auf der Erkenntnis, dass im Bereich der eingebetteten Software und Systeme eine endliche Anzahl grundlegender Verhaltenskategorien existiert. Dazu gehören unter anderem Finite State Machines, Timed Automata, Discrete Event Systems und Synchronous Dataflow, die jeweils ein bestimmtes Verhaltensmuster von Systemklassen erfassen. Das Buch stellt eine Sammlung von semantischen Einheiten vor, die die Verhaltenssemantik dieser grundlegenden Kategorien mithilfe eines formalen Verfahrens als zugrunde liegendem semantischen Rahmen erfassen.