A Case Study on Semantic Unit Composition

Authors:
Kai Chen;Janos Sztipanovits;Sandeep Neema
Affiliations:
Motorola Labs, USA;Vanderbilt University, USA;Vanderbilt University, USA
Venue:
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Year:
2007

Citing 4
Cited 2

Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Toward a semantic anchoring infrastructure for domain-specific modeling languages

Proceedings of the 5th ACM international conference on Embedded software
Compositional specification of behavioral semantics

Proceedings of the conference on Design, automation and test in Europe
Semantic anchoring with model transformations

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

Model-Driven Development of Reliable Automotive Services
Exploring Multi-Paradigm Modeling Techniques

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In previous work we have discussed a semantic anchoring framework that enables the semantic specification of Domain-Specific Modeling Languages by specifying semantic anchoring rules to predefined semantic units. This framework is further extended to support heterogeneous systems by developing a method for the composition of semantic units. In this paper, we explain the semantic unit composition through a case study.