Sciweavers

ASE
2006

Explicit modeling of semantics associated with composite states in UML statecharts

13 years 2 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UML statecharts. The approach focuses on the specific task of generating explicit transition models associated with the hierarchical structure of statechart. We introduce a state-transition notation to serve as an intermediate model for conversion of UML statecharts, and in particular, the complexity of composite states, to other target specifications. By defining a process for deriving, from UML statecharts, a statetransition notation that can serve as an intermediate state machine model, we seek to deepen understanding of modeling practices and help bridge the gap between model development and model analysis. This work covers all of the primary issues associated with the hierarchical structure of composite states, including entry and exit transitions, transition priorities, history states, and event dispatchi...
Zhaoxia Hu, Sol M. Shatz
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where ASE
Authors Zhaoxia Hu, Sol M. Shatz
Comments (0)