Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Ergebnis 3 von 255
2012 12th International Conference on Application of Concurrency to System Design, 2012, p.193-203
2012
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts
Ist Teil von
  • 2012 12th International Conference on Application of Concurrency to System Design, 2012, p.193-203
Ort / Verlag
IEEE
Erscheinungsjahr
2012
Quelle
IEL
Beschreibungen/Notizen
  • The paper discusses modularity and compositionality issues in state-based modeling formalisms and presents related recent research results. Part-Whole State charts provide modular constructs to traditional State charts 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 State charts 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.
Sprache
Englisch
Identifikatoren
ISBN: 9781467316873, 1467316873
ISSN: 1550-4808
eISSN: 2374-8567
DOI: 10.1109/ACSD.2012.22
Titel-ID: cdi_ieee_primary_6253438

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX