An executable framework for modeling and validating coopera-tive capability requirements in emergency response system

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 capabil-ity of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a sys-tem. To deal with the lack of official specifications and the fun-damental theory basis for capability requirement, we propose a cooperative capability requirements (CCR) meta-model as a the-ory basis for researchers to refer to in this research domain, in which we provide detailed definition of the CCR concepts, asso-ciations and rules. Moreover, we also propose an executable framework, which may enable modelers to simulate the execu-tion process of a system in advance and do well in filling the in-consistency and semantic gaps between stakeholders' require-ments 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 commu-nication 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 con-sistency of the models, and a self-fixing mechanism is used to fix the errors and warnings captured during the validation pro-cess automatically. Finally, a validation report is generated and fed back to the modelers for system optimization.