Explicit modeling of semantics associated with composite states in UML statecharts.
Zhaoxia HuSol M. ShatzPublished in: Autom. Softw. Eng. (2006)
Keyphrases
- sequence diagrams
- class diagrams
- modeling language
- uml class diagrams
- dynamic aspects
- formal semantics
- conceptual modeling
- unified modeling language
- uml models
- uml activity diagrams
- model driven engineering
- specification language
- state transition
- petri net
- uml profile
- formal methods
- regression testing
- initial state
- software maintenance