Showing 1–1 of 1 results for author: Pazzi, L

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

Authors: Luca Pazzi

Abstract: 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 w… ▽ More 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. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Comments: In Proceedings AiSoS 2013, arXiv:1311.3195

Journal ref: EPTCS 133, 2013, pp. 24-34