Abstract
The Use Case Map (UCM) notation is part of the User Requirements Notation (URN), the most recent addition to ITU-T’s family of languages. UCM models describe functional requirements and high-level designs with causal scenarios, superimposed on structures of components. It has been shown that UCMs can be transformed into more detailed MSC scenarios. However, UCMs are not executable as such. Early validation and exploration of requirements could benefit from a transformation to a formal, executable language. This paper presents the results of an experiment combining existing tool-supported techniques for the generation of MSCs from UCMs and for the synthesis of SDL from MSCs. In particular, this experiment provides useful results on the current interworking of such techniques and on requirements for future generations of tools. Through a simple case study, this paper also highlights questions and partial answers on the complementariness of these languages, on the usefulness of the resulting SDL models, and on potential improvements on the approach and on the languages themselves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
D. Amyot. Introduction to the User Requirements Notation: Learning by Example. To appear in: Communication Networks, 2003.
ITU-T. Recommendation Z.150, User Requirements Notation (URN) — Language Requirements and Framework. Geneva, Switzerland, 2003. http://www.UseCaseMaps.org/urn/
R. J. A. Buhr, (1998) Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering. Vol. 24, No. 12, December 1998, 1131–1155.
ITU-T, URN Focus Group. Draft Rec. Z.152 — UCM: Use Case Map Notation (UCM). Geneva, Switzerland, 2002.
ITU-T. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, 2000.
K. Saleh. Synthesis of communications protocols: an annotated bibliography. ACM SIGCOMM Computer Communications Review, Vol.26, No.5, October 1996, 40–59.
D. Amyot, A. Eberlein. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. To appear in Telecommunication Systems Journal, 2003.
ITU-T. Recommendation Z. 120, Message Sequence Chart (MSC). Geneva, Switzerland, 2001.
OMG. Unified Modeling Language Specification, Version 1.5. March 2003. http://www.omg.org
A. Miga, D. Amyot, F. Bordeleau, C. Cameron, M. Woodside. Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. Tenth SDL Forum (SDL’01), Copenhagen, Denmark, June 2001. http://www.UseCaseMaps.org/tools/ucmnav/
KLOCwork Corporation. KLOCwork MSC to SDL Synthesizer Tutorial, Version 1.0, 2002.
N. Mansurov, D. Zhukov. Automatic synthesis of SDL models in use case methodology. Ninth SDL Forum (SDL’99), Montréal, Canada, 1999.
N. Mansurov, D. Campara. Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. Tenth SDL Forum (SDL’01), Copenhagen, Denmark, June 2001.
F. Khendek, D. Vincent. Enriching SDL Specifications with MSCs. 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), Grenoble, France, June 2000.
J.W. Dulz, S. Gruhl, L. Lambert, M. Söllner. Early performance prediction of SDL/MSC specified systems by automated synthetic code generation. Ninth SDL Forum (SDL’99), Montréal, Canada, 1999.
F. Bordeleau. A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical Finite State Machines. Ph.D. thesis, School of Computer Science, Carleton University, Ottawa, Canada, 1999.
I. Sales. A Bridging Methodology for Internet Protocols Standards Development. M.Sc. thesis, SITE, Univ. of Ottawa, Canada, August 2001.
ISO. Information Processing Systems, Open Systems Interconnection, LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807. Geneva, Switzerland, 1989.
R. Guan. From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS, M.Sc. thesis, University of Ottawa, Canada, September 2002.
D. Amyot. Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS. Ph.D. thesis, SITE, University of Ottawa, Canada, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
He, Y., Amyot, D., Williams, A.W. (2003). Synthesizing SDL from Use Case Maps: An Experiment. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-45075-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40539-9
Online ISBN: 978-3-540-45075-7
eBook Packages: Springer Book Archive