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
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;
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
DOI :
10.1109/NCM.2009.271
