The paper discusses modularity and compositionality issues in state-based modeling formalisms and presents related recent research results. Part-Whole Statecharts provide modular constructs to traditional Statecharts in order to allow incremental and fully reusable composition of behavioral abstractions, enforcing explicitly the coordinated systemic behavior and bringing benefits to subsequent modeling and implementation phases. The paper shows that Part-Whole Statecharts have a computable semantics, which can be specified through a constraint-driven specification method. Such a method allows to specify and verify the intended meaning of states directly at design time, thus avoiding to employ less effective verification techniques, such as exhaustive testing or model checking.

Modularity and part-whole compositionality for computing the state semantics of statecharts / Pazzi, Luca; M., Pradelli. - ELETTRONICO. - (2012), pp. 193-203. ((Intervento presentato al convegno Application of Concurrency to System Design (ACSD), 2012 12th International Conference on tenutosi a Hamburg, Germany nel 27-29 June 2012 [10.1109/ACSD.2012.22].

Modularity and part-whole compositionality for computing the state semantics of statecharts

PAZZI, Luca;
2012

Abstract

The paper discusses modularity and compositionality issues in state-based modeling formalisms and presents related recent research results. Part-Whole Statecharts provide modular constructs to traditional Statecharts in order to allow incremental and fully reusable composition of behavioral abstractions, enforcing explicitly the coordinated systemic behavior and bringing benefits to subsequent modeling and implementation phases. The paper shows that Part-Whole Statecharts have a computable semantics, which can be specified through a constraint-driven specification method. Such a method allows to specify and verify the intended meaning of states directly at design time, thus avoiding to employ less effective verification techniques, such as exhaustive testing or model checking.
Application of Concurrency to System Design (ACSD), 2012 12th International Conference on
Hamburg, Germany
27-29 June 2012
193
203
Pazzi, Luca; M., Pradelli
Modularity and part-whole compositionality for computing the state semantics of statecharts / Pazzi, Luca; M., Pradelli. - ELETTRONICO. - (2012), pp. 193-203. ((Intervento presentato al convegno Application of Concurrency to System Design (ACSD), 2012 12th International Conference on tenutosi a Hamburg, Germany nel 27-29 June 2012 [10.1109/ACSD.2012.22].
File in questo prodotto:
File Dimensione Formato  
pazziACSD2012.pdf

accesso aperto

Tipologia: Versione dell'editore (versione pubblicata)
Dimensione 433.93 kB
Formato Adobe PDF
433.93 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/860173
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact