Paper Info
Title
Explicit modeling of semantics associated with composite states in UML statecharts
Abstract
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 state-transition 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 dispatching. Thus, the results provide an important step forward toward the goal of modeling increasingly complex semantics of UML statecharts.
Year
DOI
Venue
2006
10.1007/s10515-006-0272-6
Autom. Softw. Eng.
Keywords
DocType
Volume
Composite states,Petri nets,Statecharts,State-transition notation,UML
Journal
13
Issue
Citations 
PageRank 
4
14
0.96
References 
Authors
22
2
Name
Order
Citations
PageRank
Zhaoxia Hu1765.49
Sol M. Shatz246955.25