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.File | Dimensione | Formato | |
---|---|---|---|
pazziACSD2012.pdf
Open access
Tipologia:
Versione pubblicata dall'editore
Dimensione
433.93 kB
Formato
Adobe PDF
|
433.93 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