Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Developing Applications with Visual Basic and UML
Developing Applications with Visual Basic and UML
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
UML in Practice: The Art of Modeling Software Systems Demonstrated through Worked Examples and Solutions
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Explicit modeling of semantics associated with composite states in UML statecharts
Automated Software Engineering
An empirical study of the nesting level of composite states within UML statechart diagrams
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Hi-index | 0.00 |
A state diagram models the dynamic aspect of a class or a system, representing its behavior over its lifetime. Our survey shows that there are few systematic methods of developing state diagrams. In this paper, we present a systematic method of developing state diagrams using a state specialization technique. Our method identifies meaningful states of a target class before a state diagram is constructed. We use three state-identification rules - statevalued attributes, association paths, and conditions stated in integrity constraints. By using our technique, system designers will be able to systematically identify interesting and meaningful states.