Advanced search
1 file | 414.09 KB

Statecharts disentangled

Author
Organization
Abstract
We present some of the main results of the research obtained by Benjamin De Leeuw in his PhD thesis: ”Statechart DNA: Formal and Psychological Investigation into a State Machine Theory”. The Simplified Statechart language was derived by excluding all redundant constructs of the UML (Unified Modeling Language) metamodel on statecharts. Simplified state machines and their memory model are the central abstraction used throughout this work. Any UML state machine or procedural program transforms to exactly one simplified state machine. The language grammar for simplified state machines was derived by composing a scripting language that further abstracts any useful state machine. Each grammar rule gets a visual counterpart within the state machine diagram. All useful state machines can be ”grown” from these scripts. The parse tree of this grammar can be normalized such that any state machine has exactly one script, called statechart dna. In this paper we concentrate on an execution model for simplified statecharts, and graft on these semantics a useful technique for (temporal) value propagation. We determine the values of all variables in the reachable and useful states of the simplified statechart. Hence we can check for temporal properties on each of the executions of simplified statecharts, by modeling the possible values in a Kripke Model and applying model checking techniques on it.
Keywords
UML, Statecharts, State Machine Theory, Model Checking

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 414.09 KB

Citation

Please use this url to cite or link to this publication:

Chicago
De Leeuw, Benjamin, and Albert Hoogewijs. 2010. “Statecharts Disentangled.” In European Computing Conference, ed. Ecaterina Andronescu and Gheorghe Amza, 39–51. WSEAS.
APA
De Leeuw, B., & Hoogewijs, A. (2010). Statecharts disentangled. In E. Andronescu & G. Amza (Eds.), EUROPEAN COMPUTING CONFERENCE (pp. 39–51). Presented at the 4th European Computing Conference (ECC’10), WSEAS.
Vancouver
1.
De Leeuw B, Hoogewijs A. Statecharts disentangled. In: Andronescu E, Amza G, editors. EUROPEAN COMPUTING CONFERENCE. WSEAS; 2010. p. 39–51.
MLA
De Leeuw, Benjamin, and Albert Hoogewijs. “Statecharts Disentangled.” European Computing Conference. Ed. Ecaterina Andronescu & Gheorghe Amza. WSEAS, 2010. 39–51. Print.
@inproceedings{944052,
  abstract     = {We present some of the main results of the research obtained by Benjamin De Leeuw in his PhD thesis: {\textquotedblright}Statechart DNA: Formal and Psychological Investigation into a State Machine Theory{\textquotedblright}. The Simplified Statechart language was derived by excluding all redundant constructs of the UML (Unified Modeling Language) metamodel on statecharts. Simplified state machines and their memory model are the central abstraction used throughout this work. Any UML state machine or procedural program transforms to exactly one simplified state machine.
The language grammar for simplified state machines was derived by composing a scripting language that further abstracts any useful state machine. Each grammar rule gets a visual counterpart within the state machine diagram.
All useful state machines can be {\textquotedblright}grown{\textquotedblright} from these scripts. The parse tree of this grammar can be normalized such that any state machine has exactly one script, called statechart dna. In this paper we concentrate on an execution model for simplified statecharts, and graft on these semantics a useful technique for (temporal) value propagation.
We determine the values of all variables in the reachable and useful states of the simplified statechart. Hence we can check for temporal properties on each of the executions of simplified statecharts, by modeling the possible values in a Kripke Model and applying model checking techniques on it.},
  author       = {De Leeuw, Benjamin and Hoogewijs, Albert},
  booktitle    = {EUROPEAN COMPUTING CONFERENCE},
  editor       = {Andronescu, Ecaterina  and Amza, Gheorghe},
  isbn         = {9789604741786},
  issn         = {1790-5117},
  language     = {eng},
  location     = {Bucharest, Romania},
  pages        = {39--51},
  publisher    = {WSEAS},
  title        = {Statecharts disentangled},
  year         = {2010},
}