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.
AiSos 2013
Rome
March 16, 2013
133
24
34
Pazzi, Luca
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.
File in questo prodotto:
File Dimensione Formato  
paper.pdf

accesso aperto

Tipologia: Versione dell'editore (versione pubblicata)
Dimensione 397.31 kB
Formato Adobe PDF
397.31 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/982540
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact