@inproceedings{fda35f060d1049789b08ab297a0878a3,
title = "A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML",
abstract = "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.",
keywords = "AADL, Non-functional property analysis, PNML",
author = "Cangzhou Yuan and Hangyu He and Panpan Zhan and Tao Chen",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Singapore Pte Ltd.; 8th International Conference on Communications, Signal Processing, and Systems, CSPS 2019 ; Conference date: 20-07-2019 Through 22-07-2019",
year = "2020",
doi = "10.1007/978-981-13-9409-6\_313",
language = "英语",
isbn = "9789811394089",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer",
pages = "2562--2570",
editor = "Qilian Liang and Wei Wang and Xin Liu and Zhenyu Na and Min Jia and Baoju Zhang",
booktitle = "Communications, Signal Processing, and Systems - Proceedings of the 8th International Conference on Communications, Signal Processing, and Systems, CSPS 2019",
address = "德国",
}