Synthesizing SDL from use case maps: An experiment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2708, Issue , 2003, Pages 117-136

  He, Yong ^a   Amyot, Daniel ^a   Williams, Alan W ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FLOWCHARTING; OBJECT ORIENTED PROGRAMMING;

FUNCTIONAL REQUIREMENT; FUTURE GENERATIONS; HIGH-LEVEL DESIGN; INTERWORKING; MSC SCENARIO; ON POTENTIALS; USE CASE MAPS; USER REQUIREMENTS NOTATION;

COMPUTATIONAL LINGUISTICS;

EID: 24944474109     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45075-0_7     Document Type: Article

References (20)

1. D. Amyot. Introduction to the User Requirements Notation: Learning by Example. To appear in: Communication Networks, 2003.
2. ITU-T. Recommendation Z.150, User Requirements Notation (URN) - Language Requirements and Framework. Geneva, Switzerland, 2003. http://www.UseCaseMaps.org/urn/
3. 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.
4. ITU-T, URN Focus Group. Draft Rec. Z.152 - UCM: Use Case Map Notation (UCM). Geneva, Switzerland, 2002.
5. ITU-T. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, 2000.
6. K. Saleh. Synthesis of communications protocols: an annotated bibliography. ACM SIGCOMM Computer Communications Review, Vol.26, No.5, October 1996, 40-59.
7. D. Amyot, A. Eberlein. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. To appear in Telecommunication Systems Journal, 2003.
8. ITU-T. Recommendation Z. 120, Message Sequence Chart (MSC). Geneva, Switzerland, 2001.
9. OMG. Unified Modeling Language Specification, Version 1.5. March 2003. http://www.omg.org
10. 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/
11. KLOCwork Corporation. KLOCwork MSC to SDL Synthesizer Tutorial, Version 1.0, 2002.
12. N. Mansurov, D. Zhukov. Automatic synthesis of SDL models in use case methodology. Ninth SDL Forum (SDL'99), Montréal, Canada, 1999.
13. N. Mansurov, D. Campara. Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. Tenth SDL Forum (SDL'01), Copenhagen, Denmark, June 2001.
14. 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.
15. 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.
16. 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.
17. I. Sales. A Bridging Methodology for Internet Protocols Standards Development. M.Sc. thesis, SITE, Univ. of Ottawa, Canada, August 2001.
18. 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.
19. 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.
20. D. Amyot. Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS. Ph.D. thesis, SITE, University of Ottawa, Canada, 2001.