Title :
Formal management of object behavior with statechart DNA
Author :
De Leeuw, Benjamin ; Hoogewijs, Albert
Author_Institution :
Univ. Gent, Ghent
Abstract :
We introduce and explore a new statechart (sc) abstraction method. We define simplified statecharts (ssc) and discuss the use of action abstraction in ssc models. We isolate sc DNA from UML sc models, and show how this sc DNA can be used to define behavior model metrics and more generally, to manage object behavior.
Keywords :
DNA; Unified Modeling Language; biocomputing; DNA; UML; behavior model metrics; formal management; statechart abstraction method; Algebra; Automata; DNA computing; Documentation; Encapsulation; Mathematics; Object oriented modeling; Read-write memory; Software systems; Unified modeling language;
Conference_Titel :
AFRICON 2007
Conference_Location :
Windhoek
Print_ISBN :
978-1-4244-0987-7
Electronic_ISBN :
978-1-4244-0987-7
DOI :
10.1109/AFRCON.2007.4401522
