Abstract
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 - state-valued 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Upper Saddle River, NJ (2005)
Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)
Cruz-Lemus, J.A., Genero, M., Piattini, M., Toval, A.: An Empirical Study of the Nesting Level of Composite States within UML Statechart Diagrams. In: Akoka, J. (ed.) ER Workshops 2005. LNCS, vol. 3770, pp. 12–22. Springer, Heidelberg (2005)
Fernandez-Aleman, J.L., Toval-Alvarez, A.: Can Intuition Become Rigorous?: Foundations for UML Model Verification Tool. In: ISSRE 2000. The Eleventh International Symposium on Software Reliability Engineering, San José, California (2000)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
Harel, D.: On Visual Formalisms. Communications of the ACM 31, 514–530 (1988)
Hu, Z., Shatz, S.M.: Explicit Modeling of Semantics Associated with Composite States in UML Statecharts. Automated Software Engineering 13, 423–467 (2006)
Reed, P.R.: Developing Applications with Visual Basic and UML. Addison-Wesley Publishing Company, Reading, MA (2000)
Roques, P.: UML in Practice: The Art of Modeling Software Systems Demonstrated through Worked Examples and Solutions. Wiley, Hoboken, NJ (2004)
Schafer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science 47, 1–13 (2001)
Shlaer, S., Mellor, S.J.: Object Lifecycles Modeling the World in States. Yourdon Press, Englewood Cliffs, NJ (1992)
von der Beeck, M.: A Structured Operational Semantics for UML-Statecharts. Software and Systems Modeling 1, 130–141 (2002)
Wyner, G.M., Lee, J.: Process Specialization: Defining Specialization for State Diagrams. Computational & Mathematical Organization Theory 8, 133–155 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Song, IY., Lee, K.J. (2007). Developing State Diagrams Using a State Specialization Technique. In: Hainaut, JL., et al. Advances in Conceptual Modeling – Foundations and Applications. ER 2007. Lecture Notes in Computer Science, vol 4802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76292-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-76292-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76291-1
Online ISBN: 978-3-540-76292-8
eBook Packages: Computer ScienceComputer Science (R0)