{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:35Z","timestamp":1725490655650},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749837"},{"type":"electronic","value":"9783540749844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74984-4_9","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:13:08Z","timestamp":1188537188000},"page":"133-149","source":"Crossref","is-referenced-by-count":7,"title":["Enhanced Use Case Map Traversal Semantics"],"prefix":"10.1007","author":[{"given":"Jason","family":"Kealey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-36573-7_2","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"D. Amyot","year":"2003","unstructured":"Amyot, D., Mussbacher, G.: URN: Towards a New Standard for the Visual Description of Requirements. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 21\u201337. Springer, Heidelberg (2003)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013115 (2003)","DOI":"10.1109\/QSIC.2003.1319092"},{"key":"9_CR3","unstructured":"Amyot, D., Echihabi, A., He, Y.: UCMExporter: Supporting Scenario Transformations from Use Case Maps. In: NOTERE 2004. NOuvelles TEchnnologies de la R\u00c9partition, Sadia, Morocco, June 2004, pp. 390\u2013405 (2004)"},{"key":"9_CR4","unstructured":"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), \n                    \n                      http:\/\/ga1717.tm.tue.nl\/wiki\/publications\/beta_207"},{"issue":"12","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"R.J.A. Buhr","year":"1998","unstructured":"Buhr, R.J.A.: Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering\u00a024(12), 1131\u20131155 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR6","unstructured":"Eclipse: Eclipse Modeling Framework (EMF), \n                    \n                      http:\/\/www.eclipse.org\/emf\/"},{"key":"9_CR7","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, USA (1995)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-45075-0_7","volume-title":"SDL 2003: System Design","author":"Y. He","year":"2003","unstructured":"He, Y., Amyot, D., Williams, A.: Synthesizing SDL from Use Case Maps: An Experiment. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 117\u2013136. Springer, Heidelberg (2003)"},{"key":"9_CR9","unstructured":"ITU-T: Recommendation Z.120 (04\/04) Message Sequence Chart (MSC). Geneva, Switzerland (2004)"},{"key":"9_CR10","unstructured":"ITU-T: Recommendation Z.150, User Requirements Notation (URN) \u2013 Language Requirements and Framework. Geneva, Switzerland (2003)"},{"key":"9_CR11","unstructured":"java.net: JavaCCTM: JJTree Reference Documentation (2007), \n                    \n                      https:\/\/javacc.dev.java.net\/doc\/JJTree.html"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1138953.1138956","volume-title":"SCESM\u201906","author":"H. Liang","year":"2006","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A Comparative Survey of Scenario-based to State-based Model Synthesis. In: SCESM\u201906. 5th Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools, May 2006, pp. 5\u201312. ACM Press, New York (2006)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-48213-X_17","volume-title":"SDL 2001: Meeting UML","author":"A. Miga","year":"2001","unstructured":"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.\u00a02078, pp. 268\u2013287. Springer, Heidelberg (2001)"},{"key":"9_CR14","unstructured":"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)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75162-5_5","volume-title":"Transactions on Aspect-Oriented Software Development","author":"G. Mussbacher","year":"2007","unstructured":"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.\u00a04620, Springer, Heidelberg (2007)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11951148_13","volume-title":"System Analysis and Modeling: Language Profiles","author":"J.-F. Roy","year":"2006","unstructured":"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.\u00a04320, pp. 198\u2013215. Springer, Heidelberg (2006)"},{"key":"9_CR17","first-page":"235","volume-title":"VL\/HCC","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, 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\u2013242. IEEE Computer Society, Los Alamitos (2004)"},{"key":"9_CR18","unstructured":"Workflow Patterns website (2007). \n                    \n                      http:\/\/www.workflowpatterns.com"}],"container-title":["Lecture Notes in Computer Science","SDL 2007: Design for Dependable Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74984-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:50:36Z","timestamp":1619520636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74984-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749837","9783540749844"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74984-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}