Formal management of object behavior with statechart DNA
- De Leeuw, Benjamin
- Hoogewijs, Albert
Publication date
January 2007
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE) Language
EnglishAbstract
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
Add to ORKG