A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML
Autor: | Tao Chen, Panpan Zhan, Hangyu He, Cangzhou Yuan |
---|---|
Rok vydání: | 2020 |
Předmět: |
Programming language
Computer science Model transformation Architecture Analysis & Design Language Non functional 05 social sciences 050801 communication & media studies Petri net computer.software_genre Petri Net Markup Language 0508 media and communications Transformation (function) 0502 economics and business 050211 marketing computer computer.programming_language |
Zdroj: | Lecture Notes in Electrical Engineering ISBN: 9789811394089 CSPS |
Popis: | To analyze the various non-functional properties of the AADL (Architecture Analysis and Design Language) model, many model transformation processes transform different AADL elements to different Petri nets. Unifying these transformation processes into a single process can greatly facilitate architects analyzing multiple properties simultaneously. The difficulty is that the specific elements in specific Petri nets lead to different transformation rules of different transformation processes. Some studies transformed AADL model to Petri Net Markup Language (PNML), the interexchange format of different kinds of Petri nets, to realize the unification, but only supported the transformation of part of the AADL architecture model elements. This paper proposes a framework for analysis of non-functional properties of AADL model, improving the unification work by supporting more AADL elements transforming to PNML. We establish the transformation rules mapping elements in AADL error model and behavior model to PNML. In addition, we transform AADL properties to tool specific information in PNML to generate specific Petri nets. |
Databáze: | OpenAIRE |
Externí odkaz: |