Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism
This addresses the challenge of formally characterizing Holons in complex systems for researchers and engineers, but appears incremental as it builds on existing state-based formalisms.
The paper tackles the problem of modeling Systems of Systems behavior by presenting an explicit state-based approach that enables incremental specification and verification of safety and liveness rules without model checking, improving recursive composition effectiveness.
The paper presents an explicit state-based modeling approach aimed at modeling Systems of Systems behavior. The approach allows to specify and verify incrementally safety and liveness rules without using model checking techniques. The state-based approach allows moreover to use the system behavior directly as an interface, greatly improving the effectiveness of the recursive composition needed when assembling Systems of Systems. Such systems are, at the same time, both parts and wholes, thus giving a formal characterization to the notion of Holon.