Timed Use Case Maps

  • Jameleddine Hassine
  • Juergen Rilling
  • Rachida Dssouli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4320)


Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps are being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T’s family of languages. UCM models focus on the description of functional requirements and high-level designs at early stages of the development process. How a system is executed over time and how this may affect its correctness and performance, however, are introduced later in the development process which may require considerable changes in design or even worse at the requirement analysis level. We believe that timing aspects must be integrated into the system model, and this must be done already at an early stage of development. This paper introduces an approach to describe timing constraints in Use Case Maps specifications. We present a formal semantics of Timed UCM in terms of Clocked Transition Systems (CTS). We illustrate our approach using an example of a simplified wireless system.


Use Case Maps User Requirements Notation timing aspects performance timed UCM Clocked Transition Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Amyot, D.: Introduction to the user requirements notation: learning by example. Computer Networks: The International Journal of Computer and Telecommunications Networking 42(3), 285–301 (2003)Google Scholar
  3. 3.
    Amyot, D., Andrade, R.: Description of wireless intelligent network services with Use Case Maps. In: SBRC 1999, 17th Simposio Brasileiro de Redes de Computadores, Salvador, Brazil, May 1999, pp. 418–433 (1999)Google Scholar
  4. 4.
    Amyot, D., Buhr, R.J.A., Gray, T., Logrippo, L.: Use Case Maps for the Capture and Validation of Distributed Systems Requirements. In: RE 1999, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, June 1999, pp. 44–53 (1999),
  5. 5.
    Amyot, D.: Formalization of Time threads Using LOTOS. Master Thesis, Department of Computer Science, University of Ottawa, Canada (1994)Google Scholar
  6. 6.
    Bornot, S., Sifakis, J., Tripakis, S.: Modeling Urgency in Timed Systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, p. 103. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  7. 7.
    Buhr, R.J.A., Elammari, M., Gray, T., Mankovski, S.: Applying Use Case Maps to multiagent systems: A feature interaction example. In: 31st Annual Hawaii International Conference on System Sciences (1998)Google Scholar
  8. 8.
    Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis, University of Twente (2002)Google Scholar
  9. 9.
    Flake, S., Müller, W.: A UML Profile for Real-Time Constraints with the OCL. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, p. 179. Springer, Heidelberg (2002)Google Scholar
  10. 10.
    Hassine, J., Rilling, J., Dssouli, R.: An Abstract Operational Semantics for Use Case Maps. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 366–380. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Hassine, J., Dssouli, R., Rilling, J.: Applying Reduction Techniques to Software Functional Requirement Specifications. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 138–153. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 545–558. Springer, Heidelberg (1992)Google Scholar
  13. 13.
    ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002)Google Scholar
  14. 14.
    ITU-T - International Telecommunications Union. Recommendation Z.150 (02/03), User Requirements Notation (URN) - Language Requirements and Framework. Geneva, Switzerland (2003)Google Scholar
  15. 15.
    ITU-T, URN Focus Group, Draft Rec. Z.152 - UCM: Use Case Map Notation (UCM). Geneva. Switzerland (September 2003)Google Scholar
  16. 16.
    Knapp, A., Merz, S., Rauh, C.: Model Checking - Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395–416. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Lavazza, L., Quaroni, G., Venturelli, M.: Combining uml and formal notions for modelling real-time systems. In: Joint 8th European Software Engineering Conference, 9th ACM SIGSOFT. ACM SIGSOFT, New York (2001)Google Scholar
  18. 18.
    Manna, Z., Pnueli, A.: Clocked transition systems. In: Pnueli, A., Lin, H. (eds.) Logic and Software Engineering, pp. 3–42. World Scientific, Singapore (1996)Google Scholar
  19. 19.
    Nakamura, N., Kikuno, T., Hassine, J., 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 2000), Glasgow, Scotland, UK (May 2000)Google Scholar
  20. 20.
    OMG. Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04 (March 2002)Google Scholar
  21. 21.
    OMG Unified Modeling Language Specification, Version 1.5 (June 2002)Google Scholar
  22. 22.
    Object Management Group: UML 2.0 Superstructure Specification (2004)Google Scholar
  23. 23.
    OMG Unified Modeling Language Specification - Object Constraint Language Version 2.0 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jameleddine Hassine
    • 1
  • Juergen Rilling
    • 1
  • Rachida Dssouli
    • 2
  1. 1.Department of Computer ScienceConcordia UniversityMontrealCanada
  2. 2.Concordia Institute for Information Systems EngineeringMontrealCanada

Personalised recommendations