An executable framework for modeling and validating cooperative capability requirements in emergency response system
- 1 August 2021
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Journal of Systems Engineering and Electronics
- Vol. 32 (4), 889-906
- https://doi.org/10.23919/jsee.2021.000077
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.Keywords
This publication has 17 references indexed in Scilit:
- On the automated translational execution of the action language for foundational UMLSoftware and Systems Modeling, 2016
- Model-based simulation of legal policies: framework, tool support, and validationSoftware and Systems Modeling, 2016
- fREXPublished by Association for Computing Machinery (ACM) ,2016
- Capability-oriented architectural analysis method based on fuzzy description logicComputer Science and Information Systems, 2016
- An integrated semantics for reasoning about SysML design models using refinementSoftware and Systems Modeling, 2015
- Contract-based modeling and verification of timed safety requirements within SysMLSoftware and Systems Modeling, 2015
- Emergency countermeasures against marine disasters in Qingdao City on the basis of scenario analysisNatural Hazards, 2014
- The laws of programming unify process calculiScience of Computer Programming, 2014
- Domain-specific modeling and verification for C4ISR capability requirementsJournal of Central South University, 2012
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical NetworksElectronic Notes in Theoretical Computer Science, 2008