DocumentCode
575777
Title
Method of architecture executable evaluation based on DM2
Author
Xiao-xue Zhang ; Luo, Xue-shan ; Luo, Ai-min
Author_Institution
Zhang Inf. Syst. Eng. Lab., Nat. Univ. of Defense Technol., Changsha, China
Volume
1
fYear
2012
fDate
20-21 Oct. 2012
Firstpage
213
Lastpage
217
Abstract
Method of executable model-based architecture evaluation and meta-model based Architecture developing method are two hot topics in the field of architecture evaluation, but there is no study on the combination of the two. This paper summarizes the status of research on architecture executable model, studies the process of architecture executable evaluation method based on Meta Model Data(DM2), especially analyzes the relationship between the architecture logical data based on DM2 and the executable model constructing items, and designs the detail of converting process using DM2 Foundations which supports data converted into executable models directly. The method is the combination study on executable model and meta-model based Architecture developing method, it is helpful to further study on automatic validation and evaluation of architecture.
Keywords
program verification; software architecture; DM2; architecture executable evaluation; automatic validation; executable model-based architecture evaluation; meta model data; meta-model based architecture developing method; Analytical models; Architecture; Computer architecture; Data models; Object oriented modeling; Unified modeling language; Architecture evaluation; DM2; Object Petri Net (OPN); executable model;
fLanguage
English
Publisher
ieee
Conference_Titel
System Science, Engineering Design and Manufacturing Informatization (ICSEM), 2012 3rd International Conference on
Conference_Location
Chengdu
Print_ISBN
978-1-4673-0914-1
Type
conf
DOI
10.1109/ICSSEM.2012.6340711
Filename
6340711
Link To Document