Methodological Societies
This addresses coherence and resumption issues in self-adaptive systems, but it appears incremental as it builds on existing methods like Petri nets without demonstrating broad impact.
The paper tackles the problem of coherence and resuming functioning in self-adaptive systems by proposing a methodological approach that models evolution at the system level and uses colored Petri nets to describe agent tasks, but it does not provide concrete numerical results.
The evolution of self-adaptive systems poses the problems of their coherence and the resume of the systems' functioning taking into account the accomplished work. While they are the base of the self-adaptive systems, these two aspects are not considered in the related works. In this paper, we propose a methodological based approach. In such approach, the adaptive system's evolution is thought at its model level where its execution is made on the system by exploiting a methodological process. For its concretization, we use colored Petri nets to describe the agents' individual tasks. To handle the system's functioning resume, we exploit the property of Petri nets on which the control flow depends on last marking only.