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 :
بازگشت