Deriving message sequence charts from use case maps scenario specifications

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

Volumn 2078, Issue , 2001, Pages 268-287

  Miga, Andrew ^a   Amyot, Daniel ^b   Bordeleau, Francis ^a   Cameron, Donald ^c   Woodside, Murray ^a  

^a CARLETON UNIVERSITY   (Canada)

^b Mitel Networks Corporation   (Canada)

^c NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FLOWCHARTING; SPECIFICATIONS;

ANALYSIS AND SYNTHESIS; COMPONENT ARCHITECTURES; MESSAGE SEQUENCE CHARTS; PROTOTYPE TOOLS; SCENARIO SPECIFICATION; USE CASE MAPS;

ARCHITECTURE;

EID: 84958964862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48213-X_17     Document Type: Conference Paper

References (27)

1. Abdalla, M.M., Khendek, F. and Butler, G.: “New Results on DerivingSDL Specifications from MSCs”. In: SDL’99, Proceedings of the Ninth SDL Forum, Montreal, Canada. Elsevier (1999)
2. Amyot, D. and Andrade, R.: “Description of Wireless Intelligent Network Services with Use Case Maps”. In: SBRC’99, 17 Simposio Brasileiro de Redes de Computadores, Salvador, Brazil (May 1999) 418–433
3. Amyot, D. and Logrippo, L.: “Use Case Maps and Lotos for the Prototypingand Validation of a Mobile Group Call System”. In: Computer Communication, 23(12) (May 2000) 1135–1157
4. Amyot, D. and Mussbacher, G.: “On the Extension of UML with Use Case Maps Concepts”. In: 2000, 3rd International Conference on the Unified Modeling Language, York, UK (October 2000), LNCS 1939, 16–31
5. Amyot, D.: “Use Case Maps as a Feature Description Language”. In: S. Gilmore and M. Ryan (Eds), Language Constructs for Designing Features. Springer-Verlag (2000) 27–44
6. Amyot, D. and Eberlein, A.: “An Evaluation of Scenario Notations for Telecommunication Systems Development”. In: 9th Int. Conference on Telecommunication Systems (9ICTS), Dallas, USA (March 2001)
7. Andrade, R.: “ApplyingUse Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks”. In: Lfm2000: The Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, USA (June 2000)
8. Bordeleau, F.: 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 (August 1999)
9. Bordeleau, F. and Cameron, D.: “On the Relationship between Use Case Maps and Message Sequence Charts”. In: 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), Grenoble, France (June 2000)
10. Bos, M. and Mauw, S.: “A LATEX macro package for drawing Message Sequence Charts”. Version 1.47, http://www.win.tue.nl/~sjouke/mscpackage.html (1999)
11. Buhr, R. J. A. and Casselman, R. S.: Use Case Maps for Object-Oriented Systems, Prentice-Hall (1996)
12. Buhr, R. J. A.: “Use Case Maps as Architectural Entities for Complex Systems”. In: IEEE Transactions on Software Engineering, 24(12) (Dec. 1998) 1131–1155
13. Cameron, D. et al.: Draft Specification of the User Requirements Notation. Canadian contribution CAN COM 10-12 to ITU-T, Geneva (November 2000)
14. Chung, L., Nixon, B. A., Yu, E. and Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers (2000)
15. Elammari, M. and Lalonde, W. (1999) “An Agent-Oriented Methodology: High-Level and Intermediate Models”. In: Proc. of the 1st Int. Workshop. on Agent-Oriented Information Systems (AOIS’99), Heidelberg, Germany (June 1999)
16. Hodges, J. and Visser, J.: “Accelerating Wireless Intelligent Network Standards Through Formal Techniques”. In: IEEE 1999 Vehicular Technology Conference (VTC’99), Houston (TX), USA (1999)
17. ITU-T: Recommendation I.130, Method for the characterization of telecommunication services supported by an ISDN and network capabilities of ISDN. CCITT, Geneva (1988)
18. ITU-T: Recommendation Z.100, Specification and Description Language (SDL). Geneva (1999)
19. ITU-T: Recommendation Z.120, Message Sequence Chart (MSC). Geneva (1999)
20. ITU-T: Recommendation Q.65, The unified functional methodology for the characterization of services and network capabilities including alternative object-oriented techniques. Geneva (2000)
21. Miga, A.: Application of Use Case Maps to System Design with Tool Support. M.Eng. thesis, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada (October 1998)
22. Mansurov, N. and Zhukov, D.: “Automatic synthesis of SDL models in use case methodology”. In: SDL’99, Proceedings of the Ninth SDL Forum, Montreal, Canada. Elsevier (1999)
23. Sales, I. and Probert, R. L.: “From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language”. In: SBRC’2000, 18◦ Simposio Brasileiro de Redes de Computadores, Belo Horizonte, Brazil (May 2000)
24. Scratchley, W. C.: Evaluation and Diagnosis of Concurrency Architectures. Ph.D. thesis, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada (November 2000)
25. Use Case Maps Web Page and UCM User Group (since March 1999) http://www.UseCaseMaps.org
26. Yi, Z.: CNAP Specification and Validation: A Design Methodology Using Lotos and UCM. M.Sc. thesis, SITE, University of Ottawa, Canada (2000)
27. Weidenhaupt, K., Pohl, K., Jarke, M., and Haumer, P.: “Scenarios in System Development: Current Practice”. In: IEEE Software (March/April 1998) 34–45