• 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