Explicit modeling of semantics associated with composite states in UML statecharts

Authors:
Zhaoxia Hu;Sol M. Shatz
Affiliations:
Concurrent Software Systems Laboratory, Department of Computer Science, University of Illinois, Chicago;Concurrent Software Systems Laboratory, Department of Computer Science, University of Illinois, Chicago
Venue:
Automated Software Engineering
Year:
2006

Citing 0
Cited 6

Specifying behavioral semantics of UML diagrams through graph transformations

Journal of Systems and Software
Assessing the understandability of UML statechart diagrams with composite states--A family of empirical studies

Empirical Software Engineering
Developing state diagrams using a state specialization technique

ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Using practitioners for assessing the understandability of UML statechart diagrams with composite states

ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Semantic variations among UML statemachines

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Experiences in model driven verification of behavior with UML

Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development

Quantified Score

Hi-index	0.00

Visualization

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.