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
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;
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
DOI :
10.1109/ICSSEM.2012.6340711