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

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 be...

Full description

Saved in:
Bibliographic Details
Published in:IEEE systems journal 2021-09, Vol.15 (3), p.4105-4115
Main Authors: Ma, Wei-Ming, Chao, William S.
Format: Article
Language:English
Subjects:
Abstract state machine (ASM)
Coalescing
Data models
Language
metamodel
metamodel-based language (MBL)
Metamodels
Model driven engineering
model-driven engineering (MDE)
Semantics
Software engineering
Software systems
State machines
structure-behavior coalescence (SBC)
Syntactics
Unified modeling language
unified modeling language (UML)
user model
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 abstract state machine (SBC-ASM) for metamodel-based language (MBL), which provides an integrated semantic framework that is able to integrate structural constructs with behavioral constructs. Using SBC-ASM MBL as the metamodel solution of UML 2.0, each diagram in the user model can be projected as a view of the SBC-ASM.
ISSN:1932-8184
1937-9234
DOI:10.1109/JSYST.2020.3027195