Advanced search
Author
Organization
Abstract
We introduce and explore a new statechart (sc) abstraction method and define a simplified statechart (ssc) model. We study the basic building blocks (so the term `DNA') of UML sc models. Within this formal approach, we untangle the object-oriented concepts characterizing the UML. We treat triggers, guards and effects as related to each other, but make no reference to any explicit value (type) in the computation. This abstract approach allows us to introduce mathematical manipulations of UML sc, in line with the theory of regular automata. Statechart DNA has been applied in defining complexity metrics for UML sc models, the automatic generation of model test cases and behavior manipulations in CASE tool environments.
Keywords
State machine versioning, UML, Statecharts, Model checking

Citation

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

Chicago
De Leeuw, Benjamin, and Albert Hoogewijs. 2009. “Statechart DNA.” In Recent Advances in Electrical Engineering, ed. Nikos Mastorakis, 293–299. WSEAS.
APA
De Leeuw, B., & Hoogewijs, A. (2009). Statechart DNA. In N. Mastorakis (Ed.), Recent advances in Electrical Engineering (pp. 293–299). Presented at the 10th WSEAS International Conference on Automation & Information (ICAI’09), WSEAS.
Vancouver
1.
De Leeuw B, Hoogewijs A. Statechart DNA. In: Mastorakis N, editor. Recent advances in Electrical Engineering. WSEAS; 2009. p. 293–9.
MLA
De Leeuw, Benjamin, and Albert Hoogewijs. “Statechart DNA.” Recent Advances in Electrical Engineering. Ed. Nikos Mastorakis. WSEAS, 2009. 293–299. Print.
@inproceedings{610262,
  abstract     = {We introduce and explore a new statechart (sc) abstraction method and define a simplified statechart (ssc) model. We study the basic building blocks (so the term `DNA') of UML sc models. Within this formal approach, we untangle the object-oriented concepts characterizing the UML. We treat triggers, guards and effects as related to each other, but make no reference to any explicit value (type) in the computation. This abstract approach allows us to introduce mathematical manipulations of UML sc, in line with the theory of regular automata. Statechart DNA has been applied in defining complexity metrics for UML sc models, the automatic generation of model test cases and behavior manipulations in CASE tool environments.},
  author       = {De Leeuw, Benjamin and Hoogewijs, Albert},
  booktitle    = {Recent advances in Electrical Engineering},
  editor       = {Mastorakis, Nikos},
  issn         = {1790-5117},
  language     = {eng},
  location     = {Prague, Czech Republic},
  pages        = {293--299},
  publisher    = {WSEAS},
  title        = {Statechart DNA},
  year         = {2009},
}

Web of Science
Times cited: