A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML

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.