Metamodeling UML in rewriting logic

Authors:
Jianfei Yin;Zhong Ming
Affiliations:
School of Software, Shenzhen University, Shenzhen, P.R. China;School of Software, Shenzhen University, Shenzhen, P.R. China
Venue:
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Year:
2006

Citing 3
Cited 0

Formally modeling UML and its evolution: a holistic approach

Fourth International Conference on Formal methods for open object-based distributed systems IV
The architecture of a UML virtual machine

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite the popular MDA development paradigm, currently there is still some vague explanation of the core concepts of MDA, such as model instantiation, verification, reflection, composition and transformation, etc. To get a better understanding the core concepts, a metamodeling approach is adopted to metamodel the UML, the important member of MDA. Based on rewriting logic and an implement environment Maude, the approach may introduce important benefits to the MDA core concepts, such as formal support, provision for rigorous specifications, and easy access to Maude's toolkit.