Enhanced Use Case Map Traversal Semantics

  • Jason Kealey
  • Daniel Amyot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4745)


The Use Case Map (UCM) notation enables the use of graphical scenarios to model grey-box views of a system’s operational requirements and behaviour, in context. The scenario traversal mechanism is the most popular UCM analysis technique but its current tool support in UCMNav is limited and hard to use, and the high coupling of its features makes it difficult to maintain and evolve. This paper presents major enhancements to the recent jUCMNav Eclipse plugin consisting of a new scenario traversal semantics accompanied by enhanced trace transformations to Message Sequence Charts. In addition, this paper identifies a set of semantic variation points which lay the groundwork for notational clarifications and user-defined semantic profiles.


Sequence Diagram Activity Diagram Semantic Variation Eclipse Modeling Framework Traversal Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amyot, D., Mussbacher, G.: URN: Towards a New Standard for the Visual Description of Requirements. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 21–37. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Amyot, D., Cho, D.Y., He, X., He, Y.: Generating Scenarios from Use Case Map Specifications. In: (QSIC 2003). Third International Conference on Quality Software, Dallas, USA, November 2003, pp. 108–115 (2003)Google Scholar
  3. 3.
    Amyot, D., Echihabi, A., He, Y.: UCMExporter: Supporting Scenario Transformations from Use Case Maps. In: NOTERE 2004. NOuvelles TEchnnologies de la RÉpartition, Sadia, Morocco, June 2004, pp. 390–405 (2004)Google Scholar
  4. 4.
    Bisgaard Lassen, K., van Dongen, B.F., van der Aalst, W.M.P.: Translating Message Sequence Charts to other Process Languages using Process Mining. BETA Working Paper Series, WP 207, Dept. Technology Management, Technische Universiteit Eindhoven, The Nederlands (March 2007),
  5. 5.
    Buhr, R.J.A.: Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering 24(12), 1131–1155 (1998)CrossRefGoogle Scholar
  6. 6.
    Eclipse: Eclipse Modeling Framework (EMF),
  7. 7.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, USA (1995)Google Scholar
  8. 8.
    He, Y., Amyot, D., Williams, A.: Synthesizing SDL from Use Case Maps: An Experiment. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 117–136. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    ITU-T: Recommendation Z.120 (04/04) Message Sequence Chart (MSC). Geneva, Switzerland (2004)Google Scholar
  10. 10.
    ITU-T: Recommendation Z.150, User Requirements Notation (URN) – Language Requirements and Framework. Geneva, Switzerland (2003)Google Scholar
  11. 11. JavaCCTM: JJTree Reference Documentation (2007),
  12. 12.
    Liang, H., Dingel, J., Diskin, Z.: A Comparative Survey of Scenario-based to State-based Model Synthesis. In: SCESM’06. 5th Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools, May 2006, pp. 5–12. ACM Press, New York (2006)CrossRefGoogle Scholar
  13. 13.
    Miga, A., Amyot, D., Bordeleau, F., Cameron, D., Woodside, M.: Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 268–287. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  14. 14.
    Mussbacher, G.: Evolving Use Case Maps as a Scenario and Workflow Description Language. In: 10th Workshop on Requirements Engineering (WER 2007), Toronto, Canada (May 2007)Google Scholar
  15. 15.
    Mussbacher, G., Amyot, D., Weiss, M.: Visualizing Early Aspects with Use Case Maps. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development. LNCS, vol. 4620, Springer, Heidelberg (2007)CrossRefGoogle Scholar
  16. 16.
    Roy, J.-F., Kealey, J., Amyot, D.: Towards Integrated Tool Support for the User Requirements Notation. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 198–215. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  17. 17.
    Störrle, H.: Semantics of Control-Flow in UML 2.0 Activities. In: Bottoni, P., Hundhausen, C., Levialdi, S., Tortora, G. (eds.) VL/HCC. Proc. IEEE Symposium on Visual Languages and Human-Centric Computing, Rome, Italy, pp. 235–242. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  18. 18.
    Workflow Patterns website (2007).

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Jason Kealey
    • 1
  • Daniel Amyot
    • 1
  1. 1.SITE, University of OttawaCanada

Personalised recommendations