DocumentCode
2366657
Title
An Approach for Model Composition and Verification
Author
Defen Zhang ; Shixian Li ; Xianming Liu
Author_Institution
Dept. of Comput. Sci., SUN YAT-SEN Univ. Guangzhou, Guangzhou, China
fYear
2009
fDate
25-27 Aug. 2009
Firstpage
1102
Lastpage
1107
Abstract
Model composition is frequently used during large software development in MDE (Model Driven Engineering). The consistency of the composed model is quite essential to model composition. This paper presents a weaving-based model composition framework (WMCF) and then gives a prototype implementation of the framework using Alloy language. Models are converted into Alloy codes and model composition is verified by the Alloy Analyzer.
Keywords
object-oriented programming; software engineering; Model Driven Engineering; alloy analyzer; alloy codes; alloy language; model composition; model verification; software development; weaving-based model composition framework; Analytical models; Computer science; Merging; Model driven engineering; Packaging; Programming; Prototypes; Sun; Unified modeling language; Weaving; Alloy; model composition; model weaving; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
INC, IMS and IDC, 2009. NCM '09. Fifth International Joint Conference on
Conference_Location
Seoul
Print_ISBN
978-1-4244-5209-5
Electronic_ISBN
978-0-7695-3769-6
Type
conf
DOI
10.1109/NCM.2009.271
Filename
5331768
Link To Document