Journal of Systems Engineering and Electronics ›› 2021, Vol. 32 ›› Issue (4): 889-906.doi: 10.23919/JSEE.2021.000077

• SYSTEMS ENGINEERING • Previous Articles     Next Articles

An executable framework for modeling and validating cooperative capability requirements in emergency response system

Lei CHAI(), Zhixue WANG(), Ming HE*(), Hongyue HE(), Minggang YU()   

  1. 1 Institute of Command Control Engineering, Army Engineering University of PLA, Nanjing 210007, China
  • Received:2020-09-01 Online:2021-08-18 Published:2021-09-30
  • Contact: Ming HE E-mail:heyuekunhong@126.com;wzx_cx@163.com;1456167138@qq.com;hehy2008@sina.com;yuminggang8989@163.com
  • About author:|CHAI Lei was born in 1986. He received his M.S. degree from the Institute of Software Engineering, the University of Science and Technology of China. He is a Ph.D. student of the Institute of Command and Control Engineering, the Army Engineering University of PLA. His research interests are requirements engineering, software engineering, focusing on specification and formal verification. E-mail: heyuekunhong@126.com||WANG Zhixue was born in 1961. He received his B.S. degree from Hefei Polytechnic University, M.S. degree from the National University of Defense and Technology, and used to be a visiting researcher in the Faculty of Information Technology, University of Brighton, England. He is a professor of the Institute of Command and Control Engineering, Army Engineering University of PLA. His research interests are software engineering, requirements engineering, and theory and technology of command automation, currently focusing on domain-specific modeling and formal verification. E-mail: wzx_cx@163.com||HE Ming was born in 1978. He received his B.S., M.S. and Ph.D. degrees from the Army Engineering University of PLA, Nanjing, in 2000, 2003 and 2007, respectively. He is a professor in the Army Engineering University of PLA. His main research interests focus on emergency command, big data analytics, Internet of Things and public safety. E-mail: 1456167138@qq.com||HE Hongyue was born in 1986. He is a lecturer of the Institute of Command and Control Engineering, Army Engineering University of PLA. His research interests are system of systems (SoS) engineering and the theory of command and control, specification and formal verification. E-mail: hehy2008@sina.com||YU Minggang was born in 1986. He is a lecturer of the Institute of Command and Control Engineering, Army Engineering University of PLA. His research interests are system of systems (SoS) engineering and the theory of command and control, focusing on evolutionary game. E-mail: yuminggang8989@163.com
  • Supported by:
    This work was supported by the National Key R&D Program of China (2018YFC0806900), the China Postdoctoral Science Foundation Funded Project (2018M633757), the Primary Research & Development Plan of Jiangsu Province (BE2016904; BE2017616; BE2018754; BE2019762), and Jiangsu Province Postdoctoral Science Foundation Funded Project (2019K185).

Abstract:

As the scale of current systems become larger and larger and their complexity is increasing gradually, research on executable models in the design phase becomes significantly important as it is helpful to simulate the execution process and capture defects of a system in advance. Meanwhile, the capability of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a system. To deal with the lack of official specifications and the fundamental theory basis for capability requirement, we propose a cooperative capability requirements (CCR) meta-model as a theory basis for researchers to refer to in this research domain, in which we provide detailed definition of the CCR concepts, associations and rules. Moreover, we also propose an executable framework, which may enable modelers to simulate the execution process of a system in advance and do well in filling the inconsistency and semantic gaps between stakeholders’ requirements and their models. The primary working mechanism of the framework is to transform the Alf activity meta-model into the communicating sequential process (CSP) process meta-model based on some mapping rules, after which the internal communication mechanism between process nodes is designed to smooth the execution of behaviors in a CSP system. Moreover, a validation method is utilized to check the correctness and consistency of the models, and a self-fixing mechanism is used to fix the errors and warnings captured during the validation process automatically. Finally, a validation report is generated and fed back to the modelers for system optimization.

Key words: executable model, capability requirement, consistency validation, Alf, epsilon