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.
[1]
Karama Kanoun,et al.
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
,
2008,
2008 Seventh European Dependable Computing Conference.
[2]
Karama Kanoun,et al.
A System Dependability Modeling Framework Using AADL and GSPNs
,
2006,
WADS.
[3]
Laure Petrucci,et al.
The Petri Net Markup Language: Concepts, Technology, and Tools
,
2003,
ICATPN.
[4]
Liu Chang,et al.
Model transformation method from AADL2ECPN and its application in IMA
,
2016
.
[5]
Fabrice Kordon,et al.
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets
,
2009,
2009 IEEE/IFIP International Symposium on Rapid System Prototyping.