Abstract
One of the most crucial and complicated phases of system development lies in the transition from system behavior (generally specified using scenario models) to the detailed behavior of the interacting components (typically captured by means of communicating hierarchical finite state machines). This transition constitutes the focus of this paper. Our standpoint is that in order to succeed with this transition, it is not sufficient to grasp the details of individual scenarios, but also to understand the relationships that exist between the scenarios. Our claim is that different types of scenario relationships result in different hierarchical state machine structures. We identify and describe four different types of scenario relationships: containment dependency, alternative dependency, temporal dependency, and functional dependency. We also illustrate how such scenario relationships can be expressed in UML using stereotypes and how they guide the design of the corresponding hierarchical state machines.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Object Management Group: OMG Unified Modeling Language Specification.
Henderson-Sellers, B. and Firesmith, D.: The Open Modeling Language Reference Manual, Cambridge University Press, 1998.
Corriveau, J.-P.: Traceability and Process for Large OO projects, IEEE Computer, pp. 63–68, 1996 (also available in a longer version in: Technology of Object-Oriented Languages and Systems (TOOLS-USA-96), Santa-Barbara, August 1996.
Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. Ph.D. Thesis, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, 1999. (Available at http://www.scs.carleton.ca/~francis
Harel, D.: StateCharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, pp. 231–274, 1987.
Buhr, R. J. A. and Casselman R. S.: Use Case Maps for Object-Oriented Systems, Prentice Hall, 1996.
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
Kruchten, P.: The Rational Unified Process: An Introduction, Addison-Wesley, 1999.
Bordeleau, F., Corriveau, J.-P., Selic, B.: A Scenario-Based Approach for Hierarchical State Machine Design, Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC’2000), Newport Beach, California, March 15-17, 2000.
ITU (1996): Message Sequence Charts (MSC’96), Recommendation Z.120, Geneva.
Firesmith, D.: The Pros and Cons of Use Cases, ROAD, May 1996.
Jacobson, I. et al.: Object Oriented Software Engineering, Addison-Wesley, 1994.
Haugen, O.: MSC Methodology, SISU II Report L-1313-7, Oslo, Norway, 1994.
ITU (1993): Message Sequence Charts (MSC’93). Recommendation Z.120, Geneva.
ITU (1992): Specification and Description Language (SDL’92), Recommendation Z.100, Geneva.
Koskimies, K., Makinen, E.: Automatic Synthesis of State Machines from Trace Diagrams, Software-Practice and Experience, vol. 24, No. 7, pp. 643–658 (July 1994).
Leue, S., Mehrmann, L., Rezai M.: Synthesizing ROOM Models From Message Sequence Charts Specifications, TR 98-06, Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada, 1998.
ITU (1996): Message Sequence Charts (’96), Recommendation Z.120, Geneva.
Selic, B., Gullickson, G., and Ward, P.T.: Real-time Object-Oriented Modeling, Wiley, 1994.
Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications, Proceedings of Fifth International Conference on Implementation and Application of Automata (CIAA2000), Le
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: A System of Patterns, Wiley, 1996.
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns-Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994.
Vlissides, J., Coplien, J.O., Kerth, N.L.: Pattern Languages of Program Design, Addison-Wesley, 1996.
Douglass, B.: Doing Hard Time. Addison-Wesley, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordeleau, F., Corriveau, JP. (2001). On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. In: Hussmann, H. (eds) Fundamental Approaches to Software Engineering. FASE 2001. Lecture Notes in Computer Science, vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45314-8_12
Download citation
DOI: https://doi.org/10.1007/3-540-45314-8_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41863-4
Online ISBN: 978-3-540-45314-7
eBook Packages: Springer Book Archive