Abstract
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, an approach for scenario composition and integration is needed to produce more complete specifications. The Unified Modeling Language (UML), which is emerging as a unified notation for object- oriented modeling, provides a suitable framework for scenario acquisition using Use Case diagrams and Collaboration diagrams and for behavioral specification using StateChart diagrams; yet it does not propose any specific modeling process, let alone a process for transforming scenarios into behavioral specifications. In this paper, we suggest a four-step process for synthesizing behavioral specifications from scenarios. It generates from a given set of Collaboration diagrams the StateChart diagrams of all the objects involved. Our approach is incremental and is fully compliant with the UML. Furthermore, it provides an elegant solution to the problem of scenario interleaving. The underlying algorithm has been implemented and validated with several examples, and is fit for integration into CASE tools supporting the UML.
This work is in part supported by FCAR (Fonds pour la formation des chercheurs et l’aide à la recherche au Québec) and by the SPOOL project organized by CSER (Consortium Software Engineering Research) which is funded by Bell Canada, NSERC (National Sciences and Research Council of Canada), and NRC (National Research Council of Canada).
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
Anderson, J.S., Durney, B.: Using Scenario in Deficiency-driven Requirements Engineering. In: Requirements Engineering 1993, pp. 134–141. IEEE Computer Society Press, Los Alamitos (1993)
Biermann, A.W., Ramachandran Krishnaswamy, R.: Constructing programs from example computations. IEEE Transactions on Software Engineering 2(3), 141–153 (1976)
Booch, G.: Object Oriented Analysis and Design with Applications, 2nd edn. Benjamird/Cummings Publishing Company Inc., Redwood City (1994)
Citrin, W., Cockburn, A., Kane, J.V., Hauser, R.: Using Formalized Temporal Messageflow Diagrams. Software-Practice & Experience 25(12), 1367–1401 (1995)
Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice-Hall, Inc., Englewood Cliffs (1994)
Dano, B., Briand, H., Barbier, F.: An Approach Based on the Concept of Use Cases to Produce Dynamic Object-Oriented Specifications. In: Proceedings of the Third IEEE International Symposium on Requirements Engineering (1997)
Derr, K.W.: Applying OMT: A practical step-by-step guide to using the Object Modelling Technique. In: SIGS BOOKS. Prentice Hall, Englewood Cliffs (1996)
Desharnais, J., Frappier, M., Khedri, R., Mili, A.: Integration of sequential scenarios. IEEE Transactions on Software Engineering 24(9), 695–708 (1998)
Elkoutbi, M., Keller, R.K.: Modeling Interactive Systems with Hierarchical Petri Nets. In: To appear in a High-Performance Computing Workshop of Advanced Simulation Technology Conference, Boston (1998) (to appear)
Glinz, M.: An integrated formal model of scenarios based on StateCharts. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 254–271. Springer, Heidelberg (1995)
Harel, D.: StateCharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Jacobson, I., Christerson, M., Jonson, P., Overgaard, G.: Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, Reading (1992)
Khriss, I., Elkoutbi, M., Keller, R.K.: A New Approach to the Synthesis of Behavioral Specifications from Scenarios. Technical Report GELO-82, Université de Montreal, Montreal, Quebec, Canada (1998)
Koskimies, K., Systa, T., Tuomi, J., Mannisto, T.: Automatic support for modeling 00software. IEEE Software 15(1), 42–50 (1998)
Nardi, B.A.: The Use Of Scenarios In Design. SIGCHI Bulletin 24(4) (1992)
Potts, C., Takahashi, K., Anton, A.: Inquiry-Based Scenario Analysis of System Requirements. Technical Report GIT-CC-94/14, Georgia Institute of Technology (1994)
Rational Software Corporation: Rational Objectory Process 4.1 - Your UML Process. Santa Clara, CA (1998)
Rational Software Corporation, Microsoft, Hewlett-Packard, Oracle, Sterling, MCI, Unisys, ICON, IntelliCorp, i-Logix, IBM, ObjecTime, Platinum, Ptech, Taskon, Reich Technologies, Softeam: UML notation guide, version 1.1, Rational Software Corporation, Santa Clara, CA (1997)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented Modeling and Design. Prentice-Hall, Inc., Englewood Cliffs (1991)
Rubin, K.S., Goldberg, A.: Object Behavior Analysis. Communications of the ACM 35(9), 48–62 (1992)
Somé, S., Dssouli, R., Vaucher, J.: Toward an automation of requirements engineering using scenarios. Journal of Computing and Information 2(1), 1110–1132 (1996)
Schönberger, S., Keller, R.K., Khriss, I.: Algorithmic Support for Transformations in Object-Oriented Software Development. Technical Report GELO 1983, Université de Montréal, Montréal, Québec, Canada (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khriss, I., Elkoutbi, M., Keller, R.K. (1999). Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive