Approach for generating Petri net executable model based on physical exchange specification of architecture

被引：2

作者：

Fu J. ^{[1
]}

Luo A. ^{[1
]}

Luo X. ^{[1
]}

Liu J. ^{[1
]}

机构：

[1] Science and Technology on Information Systems Engineering Laboratory, National University of Defense Technology, Changsha

来源：

| 1600年 / Chinese Institute of Electronics卷 / 39期

关键词：

Architecture; Architecture validation and evaluation; Executable model; Petri net markup language (PNML); Physical exchange specification (PES);

D O I：

10.3969/j.issn.1001-506X.2017.05.13

中图分类号：

学科分类号：

摘要：

In order to solve the problem of flexibility and scalability in generating the executable model for architecture validation and evaluation, an approach for generating Petri net executable model based on physical exchange specification (PES) of architecture is proposed. Based on PES proposed in DoDAF2.0 and an extended Petri net markup language (PNML) specification of the supported object, a framework of generating Petri net executable model based on PES is constructed. By studying the semantic relationship between model data of architecture and elements of Petri net, the transformation rules and algorithms from PES to the extended PNML are studied by the case of the operational activity model. To verify the feasibility of this approach, the search and rescue case is studied. This approach implements the generation of Petri net executable model flexibly and automatically, and breaks the limit of modeling languages of architecture and types of Petri net. © 2017, Editorial Office of Systems Engineering and Electronics. All right reserved.

引用

页码：1030 / 1035

页数：5

共 14 条

[1] IEEE std 1471 recommended practice for architectural description for software-intensive systems, (2000)
[2] Wagenhals L.W., Levis A.H., Service oriented architectures, the DoD architecture framework 1.5, and executable architectures, Systems Engineering, 12, 4, pp. 56-72, (2009)
[3] Wagenhals L.W., Haider S., Levis A.H., Synthesizing executable models of object oriented architectures, System Engineering, 6, 4, pp. 266-300, (2003)
[4] Ni F., Wang M.Z., Zhou F., Et al., Approach to executable architecture modeling from DoDAF to HCPN, Systems Engineering and Electronics, 32, 5, pp. 959-965, (2010)
[5] Luo A.M., Research on information system architecture description method based on multi-views, Computer Science, 37, 8, pp. 294-297, (2010)
[6] Zhang X.X., Luo A.M., Huang L., Et al., Method of creating architecture executable model based on DM2, Journal of National University of Defense Technology, 35, 2, pp. 27-33, (2013)
[7] Xie W.C., Yu X.H., Zhu P.F., Model-transformation based executable model's construction of C4ISR architecture, Systems Engineering and Electronics, 36, 8, pp. 1537-1543, (2014)
[8] DoD Architecture Framework Version 2.0 Volume 3: DoDAF Meta-model, (2009)
[9] DoD Architecture Framework Version 2.0 Volume 2: Architectural Data and Models, (2009)
[10] MagicDraw

← 1 2 →