A DEVS-based Formal Description Method for Complex Product Behavior Models

doi:10.16182/j.issn1004731x.joss.21-1318

Abstract

Abstract:

The multi-resolution formal description based on discrete event system specification (DEVS) has the ability of hierarchical and structured description, but the description of the intelligent behavior inside the module is relatively lacking, while Agent-based modeling can describe the characteristics of individual perception, behavior, communication, cooperation, learning and evolution. Under the framework of multi-resolution modeling, DEVS and Agent model descriptions are combined to provide the description capabilities for events, behaviors, mechanisms, etc. Based on the description of multi-resolution DEVS models, a formal model description method with coupling closure is proposed, which includes the description of the multi-resolution entity-level atomic model and the description of the multi-resolution system-level coupling model. According to the characteristics of the framework, the modeling process is standardized and realistic modeling cases are used to verify the effectiveness of the description framework.

Key words: complex product, multi-resolution modeling, behavior modeling, discrete event system specification (DEVS), formal description

CLC Number:

TP391.9

Qingquan Lin, Jiaran Yang, Heming Zhang. A DEVS-based Formal Description Method for Complex Product Behavior Models[J]. Journal of System Simulation, 2022, 34(4): 661-669.

Figures/Tables 5

References 16

1	熊光楞, 范文慧, 陈晓波. 复杂产品开发的仿真技术[J]. 系统仿真学报, 2004, 16(2): 194-201.
	Xiong Guangleng, Fan Wenhui, Chen Xiaobo. Simulation Technology of Complex Product Development[J]. Journal of System Simulation, 2004, 16(2): 194-201.
2	杨佳然, 林清泉, 张和明, 等. 复杂产品多分辨率模型聚合解聚框架[C]// 第三十三届中国仿真大会论文集. 北京: 中国仿真学会, 2021: 103-108.
	Yang Jiaran, Lin Qingquan, Zhang Heming, et al. Multi-Resolution Model Aggregation and Disaggregation Framework for Complex Products.[C]// 33rd China Simulation Conference. Beijing: China Simulation Federation, 2021: 103-108.
3	李元. 多分辨率建模形式化与通用方法研究[D]. 北京: 北京航空航天大学, 2011.
	Li Yuan. On Formalized and General Methods for Multi-Resolution Modeling[D]. Beijing: Beihang University, 2011.
4	Gou Chenxi, Cai Baigen. Multi-Resolution Entities Aggregation and Disaggregation Method for Train Control System Modeling and Simulation Based on HLA[C]// 17th International IEEE Conference on Intelligent Transportation Systems (ITSC). New York: IEEE Press, 2014: 2367-2372.
5	闫雪飞, 李新明, 刘东, 等. 基于多分辨率的Multi-Agent武器装备体系作战仿真研究[J]. 系统仿真学报, 2017, 29(1): 136-143, 153.
	Yan Xuefei, Li Xinming, Liu Dong, et al. Battle Simulation Study on Multi-Agent Weapon System-of-Systems Based on Multi-Resolution [J]. Journal of System Simulation, 2017, 29(1): 136-143, 153.
6	刘敬, 罗永亮, 李海旭, 等. 航空指挥和保障系统多分辨率模型构建方法[C]// 第三十三届中国仿真大会论文集. 北京: 中国仿真学会, 2021: 126-130.
	Liu Jing, Luo Yongliang, Li Haixu, et al. Multi Resolution Model Construction Method of Aviation Command and Support System[C]// 33rd China Simulation Conference. Beijing: China Simulation Federation, Beijing: China Simulation Federation, 2021: 126-130.
7	Zeigler Bernard P, Muzy Alexandre, Kofman Ernesto. Theory of Modeling and Simulation [M]. 3rd ed. New York: Academic Press, 2018.
8	Fakhimi Masoud, Anagnostou Anastasia, Stergioulas Lampros, et al. A Hybrid Agent-Based and Discrete Event Simulation Approach for Sustainable Strategic Planning and Simulation Analytics[C]// 2014 Winter Simulation Conference (WSC '14). New York: IEEE Press, 2014: 1573-1584.
9	Suk Na Hyeong, Banerjee Amarnath. Agent-Based Discrete-Event Simulation Model for No-Notice Natural Disaster Evacuation Planning, Computers & Industrial Engineering(S0360-8352), 2019, 129: 44-55.
10	Gonzalez A, Luna C, Abella R. UML State Machine as Modeling Language for DEVS formalism[C]// 2016 XLII Latin American Computing Conference (CLEI). New York: IEEE Press, 2016: 1-12.
11	曹琦, 侯文华. 基于Agent-DEVS的应急物资保障多分辨率建模研究[J]. 运筹与管理, 2021, 30(7): 58-65.
	Cao Qi, Hou Wenhua. Research on Multi-resolution Modeling of Emergency Material Supply Based on Agent-DEVS[J].Operations Research and Management Science, 2021, 30(7): 58-65.
12	刘晨, 王维平, 朱一凡. 状态机嵌入DEVS的组合建模方法研究[J]. 国防科技大学学报, 2005(5): 60-65.
	Liu Chen, Wang Weiping, Zhu Yifan. Research on a Composable Modeling Approach of Embedding the State Machine into DEVS[J]. Journal of National University of Defence Technology, 2005(5): 60-65.
13	Chan W K V, Son Y, Macal C M. Agent-Based Simulation Tutorial-Simulation of Emergent Behavior and Differences Between Agent-Based Simulation and Discrete-Event Simulation[C]// 2010 Winter Simulation Conference. New York: IEEE Press, 2010: 135-150.
14	廖守亿. 复杂系统基于Agent的建模与仿真方法研究及应用[D]. 长沙: 国防科技大学, 2005.
	Liao Shouyi. Research of Methodology of Agent-Based Modeling and Simulation for Complex System and Application[D]. Changsha: National University of Defense Technology, 2005.
15	李四辉. 基于HLA的车路协同系统仿真方法研究[D]. 北京: 北京交通大学, 2012.
	Li Sihui. Research on the Simulation Method of Vehicle-Road Collaborative System Based on HLA [D]. Beijing: Beijing Jiaotong University, 2012.
16	Zhang B, Chan W K V, Ukkusuri S V. On the Modelling of Transportation Evacuation: an Agent-Based Discrete-Event Hybrid-Space Approach, Journal of Simulation(S1747-7778), 2014, 8(4): 259-270.

[1]	Pengfei Gu, Lin Zhang, Zhen Chen, Junjie Ye. Collaborative Design and Simulation Integrated Method of Civil Aircraft Take-off Scenarios Based on X Language [J]. Journal of System Simulation, 2022, 34(5): 929-943.
[2]	Wei Li, Wenjia Zhang, Heming Zhang. Cross Level Switching Technology for Multi-resolution Model of Complex Products [J]. Journal of System Simulation, 2022, 34(5): 944-953.
[3]	Guoqiang Shi, Zewei Liu, Tingyu Lin, Zhao Xu, Xingyi Yang, Liqin Guo, Zhengxuan Jia. Open Cloud Architecture Design for Complex Product Modeling and Simulation System [J]. Journal of System Simulation, 2022, 34(3): 442-451.
[4]	He Xiaoyuan, Guo Shengming, Wu Lin, Li Dong, Xu Xiao, Li Li. Modeling Research of Cognition Behavior for Intelligent Wargaming [J]. Journal of System Simulation, 2021, 33(9): 2037-2047.
[5]	Zhu Jie, Zhang Hongjun. Spatial Knowledge Representation Model of Simulation Scenario Based on Ontology [J]. Journal of System Simulation, 2021, 33(5): 1051-1061.
[6]	Xu Kai, Zeng Junjie, Yang Weilong, Qin Long, Yin Quanjun. Overview of CGF-oriented Cognitive Architecture [J]. Journal of System Simulation, 2021, 33(2): 239-248.
[7]	Wei Xiangyu, Zhang Qi. Modeling of Adversarial Behavior on Road Network Based on Non-cooperative Game [J]. Journal of System Simulation, 2021, 33(2): 271-279.
[8]	Zhang Qi, Zeng Junjie, Xu Kai, Qin Long, Yin Quanjun. Behavior Modeling for Computer Generated Forces Based on Machine Learning [J]. Journal of System Simulation, 2021, 33(2): 280-287.
[9]	Ji Hang, Zhou Junhua, Shi Guoqiang, Lin Tingyu, Xue Junjie. A Lightweight Modeling and Simulation Technical Framework for Complex Systems [J]. Journal of System Simulation, 2018, 30(6): 2013-2019.
[10]	Luo Yongliang, Qin Yuanhui. Modeling Method of Air Command and Security Work Process Service Oriented [J]. Journal of System Simulation, 2017, 29(8): 1866-1872.
[11]	Lei Yonglin, Yao Jian, Zhu Ning, Zhu Yifan, Wang Weiping. Weapon Effectiveness Simulation System (WESS) [J]. Journal of System Simulation, 2017, 29(6): 1244-1252.
[12]	Zhang Anmin, Cui Lianhu. Terminal Guidance Radar Modeling Research Based on Feature Parameter Stream [J]. Journal of System Simulation, 2017, 29(6): 1374-1379.
[13]	Ye Feng, Xia Yang, Shen Zhaoxiang, Zhu Yunchao. Modeling Computation Entity of CPS Based on Dynamic Behavior [J]. Journal of System Simulation, 2016, 28(5): 1003-1008.
[14]	Yang Baosen, Zheng Kejun, Lai Ling. Process Model of Complex R & D Project Based on Design Structure Matrix [J]. Journal of System Simulation, 2015, 27(9): 2187-2193.
[15]	Mao Huachao, Peng Gongzhuang, Zhang Heming, Zhao Jiaxin, Li Minghui. Model Granularity Control Oriented Multi-Resolution Modeling [J]. Journal of System Simulation, 2015, 27(11): 2630-2637.