Abstract
Telecommunication services are provided as the joint effort of components, which collaborate in order to achieve the goal(s) of the service. UML 2.0 collaborations can be used to model services. Furthermore, they allow services to be described modularly and incrementally, since collaborations can be composed of subordinate collaborations. For such an approach to work, it is necessary to capture the exact dependencies between the subordinate collaborations. This paper presents the results of an experiment on using Use Case Maps (UCMs) for describing those dependencies, and for synthesizing the state-machine behaviour of service components from the joint information provided by the UML collaborations and the UCM diagrams.
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
Rößler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 72–89. Springer, Heidelberg (2001)
Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 152–163. ACM Press, New York (2001)
Object Management Group: UML 2.0 Superstructure Specification (2004)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
Bordeleau, F., Corriveau, J.P.: On the importance of inter-scenario relationships in hierarchical state machine design. In: Hußmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 156–170. Springer, Heidelberg (2001)
Buhr, R.J.A., Casselman, R.S.: Use case maps for object-oriented systems. Prentice-Hall, Inc., Englewood Cliffs (1996)
Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Transactions of Software Engineering 24, 1131–1155 (1998)
Sanders, R.T., Bræk, R.: Modeling peer-to-peer service goals in uml. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM 2004), pp. 144–153. IEEE Computer Society, Los Alamitos (2004)
Leue, S., Mehrmann, L., Rezai, M.: Synthesizing ROOM models from message sequence chart specifications. Technical report, Dept. of Electrical and Computer Engineering (1998)
Mansurov, N., Zhukov, D.: Automatic synthesis of SDL models in use case methodology. In: Dssouli, R., von Bochmann, G., Lahav, Y. (eds.) SDL Forum, pp. 225–240. Elsevier, Amsterdam (1999)
Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE 2000: Proceedings of the 22nd international conference on Software engineering, pp. 314–323. ACM Press, New York (2000)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From mscs to statecharts. In: DIPES 1998: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, pp. 61–71. Kluwer Academic Publishers, Dordrecht (1999)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng. 29, 99–115 (2003)
Mäkinen, E., Systä, T.: MAS - an interactive synthesizer to support behavioral modelling in UML. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, pp. 15–24. IEEE Computer Society, Los Alamitos (2001)
Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. PhD thesis, Department of Systems and Computer Engineering, Faculty of Engineering,Carleton University, Ottawa (1999)
Sales, I.: A bridging methodology for internet protocols standards development. Master’s thesis, School of Information Technology and Engineering (S.I.T.E.), Faculty of Engineering, University of Ottawa, Ontario (2001)
He, Y., Amyot, D., Williams, A.W.: Synthesizing SDL from use case maps: An experiment. In: SDL Forum, pp. 117–136 (2003)
Miga, A.: Application of use case maps to system design with tool support. Master’s thesis, Dept. of Systems and Computer Engineering, Carleton University,Ottawa (1998)
Use Case Maps Web Page and UCM User Group, http://www.usecasemaps.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martínez, H.N.C. (2005). Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_24
Download citation
DOI: https://doi.org/10.1007/11506843_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26612-9
Online ISBN: 978-3-540-31539-1
eBook Packages: Computer ScienceComputer Science (R0)