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

Highlights

  • A S A software modeling language for model-driven engineering (MDE) applications [1], the unified modeling language (UML) 2.0 profile approach [2], [3] defines a set of language concepts that are used to model the structure and behavior of a software system

  • The structure-behavior coalescence abstract state machine (SBC-ASM) transition relation ASMRsystem created through the “requirements analysis” process will first be stored into the database, and transformed to the class diagram, state diagram, and sequence diagram, respectively

  • structure-behavior coalescence (SBC)-ASM metamodel-based language (MBL) is proposed as a metamodel solution for UML 2.0 in MDE

Read more

Summary

INTRODUCTION

A S A software modeling language for model-driven engineering (MDE) applications [1], the unified modeling language (UML) 2.0 profile approach [2], [3] defines a set of language concepts that are used to model the structure and behavior of a software system. There is a model inconsistency if the user model does not conform to the metaclass properties, constraints, and relationship is defined by the metamodel The conformation will be verified if all structural and behavioral diagrams in the user model can be transformed (projected) as a view of the metamodel. Most current UML 2.0 metamodels are not able to project each diagram in the user model as a view of the metamodel. We develop structure-behavior coalescence abstract state machine (SBC-ASM) metamodel-based language (MBL) [9] as a metamodel solution of UML 2.0. We claim that SBC-ASM MBL genuinely provides a metamodel solution to ensure model consistency for UML 2.0.

LITERATURE REVIEW
Operation-Based Value-Passing Interactions
SBC Abstract State Machine
Model-Driven Engineering Process
Projecting the Class Diagram From the SBC-ASM
Projecting the State Diagram From the SBC-ASM
Projecting the Sequence Diagram From the SBC-ASM
Online Shopping System
ASM of the OSS
Projecting the Class Diagram of the OSS
Projecting the State Diagram of the OSS
Projecting the Sequence Diagram of the OSS
Evaluation of Efforts to Construct SBC-ASM
Evaluation of Efforts to Transform SBC-ASM Into UML User Model
Contributions of This Article
Limitation of the SBC-ASM MBL and Future Work

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.