Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering

Abstract

In Model-Driven Engineering (MDE), the Unified Modeling Language (UML) 2.0 metamodel solution includes a metamodel that defines the language concepts and a user model that defines how the language concepts are represented. In UML 2.0, an important usage of metamodel is to ensure model consistency between different diagrams in the user model. However, most existing UML metamodels lack an integrated semantic framework to project each diagram in the user model as a view of the metamodel. To overcome the shortcomings of the current UML 2.0 metamodel approaches, we developed Structure-Behavior Coalescence Interaction Transition Graph (SBC-ITG) for Metamodel-Based Language (MBL), which provides an integrated semantic framework that is able to integrate structural constructs with behavioral constructs. Using SBC-ITG metamodel-based language as the metamodel solution of UML 2.0, each diagram in the user model can be projected as a view of the SBC Interaction Transition Graph.