A Maude-based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation
Résumé
Systems-of-Systems (SoSs) are increasingly used to integrate and execute a large number of Constituent-Systems (CSs) to offer new functionalities that cannot be offered by its individual CSs. However, designing well-tuned directed SoS to deal with a variety of control issues such as resources management and temporal constraints violations while providing high-level assurance about their specified behavior is very challenging. Thus, due to the lack of explicit models for their resources allocations and quantitative features, SoSs executions are becoming more complex and cannot be effectively controlled. To solve these problems, a generic metamodel is proposed in this paper to control resources and behavioral features. The proposed approach deals with different resources of SoSs and provides control actions in order to manage their structural, temporal and behavioral aspects. The latter are grouped in a single model holding SoSs executions according to specific quantitative needs. One step further, the specifications of the proposed metamodel are encoded using Maude language that makes it possible to analyze various requirements needed by CSs, and enables an autonomic executability of their dynamic behaviors.