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.
Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism / Pazzi, Luca. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 133:(2013), pp. 24-34. (Intervento presentato al convegno AiSos 2013 tenutosi a Rome nel March 16, 2013).
Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism
PAZZI, Luca
2013
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 when assembling Systems of Systems.File | Dimensione | Formato | |
---|---|---|---|
paper.pdf
Open access
Tipologia:
Versione pubblicata dall'editore
Dimensione
397.31 kB
Formato
Adobe PDF
|
397.31 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris