Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism

Luca Pazzi
(University of Modena and Reggio Emilia, Italy)

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.

In Kim G. Larsen, Axel Legay and Ulrik Nyman: Proceedings 1st Workshop on Advances in Systems of Systems (AiSoS 2013), Rome, Italy, 16th March 2013, Electronic Proceedings in Theoretical Computer Science 133, pp. 24–34.
Published: 13th November 2013.

ArXived at: https://dx.doi.org/10.4204/EPTCS.133.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org