Skip to main content
SpringerLink
Log in
Book cover

Language Constructs for Describing Features pp 27–44Cite as

Use Case Maps as a Feature Description Notation

  • Conference paper

Abstract

We propose Use Case Maps (UCMs) as a notation for describing features. UCMs capture functional requirements in terms of causal scenarios bound to underlying abstract components. This particular view proved very useful in the description of a wide range of reactive and telecommunications systems. This paper presents some of the most interesting constructs and benefits of the notation in relation to a question on a User Requirements Notation recently approved by ITU-T Study Group 10, which will lead to a new Recommendation by 2003. Tool support, current research on UCMs, and related notations are also discussed.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A., Gallagher, S., Griffeth, N., Scheel, C. and Swayne, D.: “Sculptor with Chisel: Requirements Engineering for Communications Services”. In: Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’98), Lund, Sweden, October 1998. IOS Press, Amsterdam, 45–63.

    Google Scholar 

  2. Amyot, D., Andrade, R., Logrippo, L., Sincennes, J., and Yi, Z.: “Formal methods for mobility standards”. In: Proc. of the 1999 IEEE Emerging Technologies Symposium on Wireless Communications and Systems, Richardson, Texas, USA, April 1999.

    Google Scholar 

  3. Amyot, D. and Andrade, R.: “Description of Wireless Intelligent Network Services with Use Case Maps”. In: SBRC’99, 17th Brazilian Symposium on Computer Networks, Salvador, Brazil, May 1999.

    Google Scholar 

  4. Amyot, D., Buhr, R. J. A., Gray, T., and Logrippo, L.: “Use Case Maps for the Capture and Validation of Distributed Systems Requirements”. In: RE’99, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, June 1999, 44–53.

    Google Scholar 

  5. Amyot, D. and Logrippo, L.: “Use Case Maps and Lotos for the Prototyping and Validation of a Mobile Group Call System”. In: Computer Communication, 23(12), 1135–1157, May 2000.

    Article  Google Scholar 

  6. Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B. and Ware, T.: “Feature Description and Feature Interaction Analysis with Use Case Maps and Lotos”. In: Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’OO), Glasgow, Scotland, UK, May 2000.

    Google Scholar 

  7. Amyot, D. and Mussbacher, G.: “On the Extension of UML with Use Case Maps Concepts”. In: <<UML>>2000, 3rd International Conference on the Unified Modeling Language, York, UK, October 2000.

    Google Scholar 

  8. Andrade, R.: “Applying Use 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.

    Google Scholar 

  9. ANSI/TIA/EIA: ANSI 771, Wireless Intelligent Networks (WIN). Additions and modifications to ANSI-41 (Phase 1). TR-45.2.2.4, December 1998.

    Google Scholar 

  10. Ardis, M. A., Chaves, J. A., Jagadeesan, L. J., Mataga, P., Puchol, C., Staskauskas, M. G., and Olnhausen, J. V.: “A Framework for Evaluating Specification Methods for Reactive Systems-Experience Report”. In: Transactions on Software Engineering, IEEE, 22(6), 1996, 378–389.

    Article  Google Scholar 

  11. Ben Achour, C., Rolland, C. Maiden, N. A. M. and Souveyet, C.: “Guiding Use Case Authoring: Results of an Empirical Study”. In: RE’99, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, June 1999, 36–43.

    Google Scholar 

  12. Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical Finite State Machines. Ph.D. thesis, SCS, Carleton University, Ottawa, Canada, August 1999.

    Google Scholar 

  13. Buhr, R. J. A. and Casselman, R. S.: Use Case Maps for Object-Oriented Systems, Prentice-Hall, 1996.

    Google Scholar 

  14. Buhr, R. J. A.: “Use Case Maps as Architectural Entities for Complex Systems”. In: Transactions on Software Engineering, IEEE, December 1998, 1131–1155.

    Google Scholar 

  15. Buhr, R. J. A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., and Mankovski, S.: “Feature-Interaction Visualization and Resolution in an Agent Environment”. In: Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’98), Lund, Sweden, October 1998. IOS Press, Amsterdam, 135–149.

    Google Scholar 

  16. Chung, L., Nixon, B. A., Yu, E. and Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, 2000.

    Google Scholar 

  17. Craigen, D., Gerhart, S., and Ralston, T.: Industrial applications of formal methods to model, design, and analyze computer systems: an international survey. Noyes Data Corporation (Publisher), USA, 1994.

    Google Scholar 

  18. Hodges, J. and Visser, J.: “Accelerating Wireless Intelligent Network Standards Through Formal Techniques”. In: IEEE 1999 Vehicular Technology Conference (VTC99), Houston, USA, 1999.

    Google Scholar 

  19. ISO, Information Processing Systems, OSI: Lotos-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, Geneva, Switzerland, 1989.

    Google Scholar 

  20. ISO/IEC: High Level Petri Net Standard, DIS 15909, JTC 1/SC 7, Geneva, Switzerland, 1999.

    Google Scholar 

  21. ITU-T: Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, 2000.

    Google Scholar 

  22. ITU-T: Recommendation Z.120, Message Sequence Chart (MSC). Geneva, Switzerland, 2000.

    Google Scholar 

  23. Jacobson, I.: “The Use Case Construct in Object-Oriented Software Engineering”. In: John M. Carroll (ed.), Scenario-Based Design: Envisioning Work and Technology in System Development. John Wiley and Sons, 1995, 309–336.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. Monkewich, O.: New Question 12: URN: User Requirements Notation. Canadian contribution to ITU-T Study Group 10, COM10-D56, November 1999.

    Google Scholar 

  26. Nakamura, M., Kikuno, T., Hassine, J., and Logrippo, L.: “Feature Interaction Filtering with Use Case Maps at Requirements Stage”. In: Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’OO), Glasgow, Scotland, UK, May 2000.

    Google Scholar 

  27. Object Management Group: Unified Modeling Language Specification, Version 1.3. June 1999.

    Google Scholar 

  28. Rolland, C., Souveyet, C. and Ben Achour, C.: “Guiding Goal Modelling using Scenarios”. In: IEEE Transactions on Software Engineering, Special Issue on Scenario Management. Vol. 24, No. 12, December 1998.

    Google Scholar 

  29. 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, 18th Brazilian Symposium on Computer Networks, Belo Horizonte, Brazil, May 2000.

    Google Scholar 

  30. Scratchley, W. C. and Woodside, C. M.: “Evaluating Concurrency Options in Software Specifications”. In: MASCOTS’99, Seventh International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, College Park, MD, USA, October 1999, 330–338.

    Google Scholar 

  31. Scratchley, W. C.: Evaluation and Diagnosis of Concurrency Architectures. Ph.D. thesis, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada, June 2000.

    Google Scholar 

  32. Selic, B.: “Turning Clockwise: Using UML in the Real-Time Domain”. In: Communications of the ACM, 42(10), October 1999, 46–54.

    Article  Google Scholar 

  33. Turner, K. J.: “Formalising the Chisel Feature Notation”. In: Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’OO), Glasgow, Scotland, UK, May 2000. IOS Press, Amsterdam, 241–256.

    Google Scholar 

  34. Use Case Maps Web Page and UCM User Group, March 1999. http://www.UseCaseMaps.org

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mitel Corporation, Kanata, Canada

    Daniel Amyot

  2. School of Information Technology and Engineering, University of Ottawa, 150 Louis-Pasteur, Ottawa, Ontario, K1N 6N5, Canada

    Daniel Amyot

Authors
  1. Daniel Amyot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory for Foundations of Computer Science, The University of Edinburgh, EH9 3JZ, Edinburgh, Scotland

    Stephen Gilmore BSc (Hons) PhD

  2. School of Computer Science, University of Birmingham, BIS 2TT, Edgbaston, England

    Mark Ryan BA, MA, PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag London Limited

About this paper

Cite this paper

Amyot, D. (2001). Use Case Maps as a Feature Description Notation. In: Gilmore, S., Ryan, M. (eds) Language Constructs for Describing Features. Springer, London. https://doi.org/10.1007/978-1-4471-0287-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0287-8_3

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-392-8

  • Online ISBN: 978-1-4471-0287-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation