Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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), http://ga1717.tm.tue.nl/wiki/publications/beta_207
Buhr, R.J.A.: Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering 24(12), 1131–1155 (1998)
Eclipse: Eclipse Modeling Framework (EMF), http://www.eclipse.org/emf/
Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, USA (1995)
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)
ITU-T: Recommendation Z.120 (04/04) Message Sequence Chart (MSC). Geneva, Switzerland (2004)
ITU-T: Recommendation Z.150, User Requirements Notation (URN) – Language Requirements and Framework. Geneva, Switzerland (2003)
java.net: JavaCCTM: JJTree Reference Documentation (2007), https://javacc.dev.java.net/doc/JJTree.html
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)
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)
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)
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)
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)
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)
Workflow Patterns website (2007). http://www.workflowpatterns.com
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kealey, J., Amyot, D. (2007). Enhanced Use Case Map Traversal Semantics. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)