{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:26Z","timestamp":1725493166950},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405399"},{"type":"electronic","value":"9783540450757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45075-0_7","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:49:12Z","timestamp":1193521752000},"page":"117-136","source":"Crossref","is-referenced-by-count":6,"title":["Synthesizing SDL from Use Case Maps: An Experiment"],"prefix":"10.1007","author":[{"given":"Yong","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan W.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"7_CR1","unstructured":"D. Amyot. Introduction to the User Requirements Notation: Learning by Example. To appear in: Communication Networks, 2003."},{"key":"7_CR2","unstructured":"ITU-T. Recommendation Z.150, User Requirements Notation (URN) \u2014 Language Requirements and Framework. Geneva, Switzerland, 2003. http:\/\/www.UseCaseMaps.org\/urn\/"},{"issue":"12","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"R. J. A. Buhr","year":"1998","unstructured":"R. J. A. Buhr, (1998) Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering. Vol. 24, No. 12, December 1998, 1131\u20131155.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR4","unstructured":"ITU-T, URN Focus Group. Draft Rec. Z.152 \u2014 UCM: Use Case Map Notation (UCM). Geneva, Switzerland, 2002."},{"key":"7_CR5","unstructured":"ITU-T. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, 2000."},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/242896.242900","volume":"26","author":"K. Saleh","year":"1996","unstructured":"K. Saleh. Synthesis of communications protocols: an annotated bibliography. ACM SIGCOMM Computer Communications Review, Vol.26, No.5, October 1996, 40\u201359.","journal-title":"ACM SIGCOMM Computer Communications Review"},{"key":"7_CR7","unstructured":"D. Amyot, A. Eberlein. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. To appear in Telecommunication Systems Journal, 2003."},{"key":"7_CR8","unstructured":"ITU-T. Recommendation Z. 120, Message Sequence Chart (MSC). Geneva, Switzerland, 2001."},{"key":"7_CR9","unstructured":"OMG. Unified Modeling Language Specification, Version 1.5. March 2003. http:\/\/www.omg.org"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"A. Miga, D. Amyot, F. Bordeleau, C. Cameron, M. Woodside. Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. Tenth SDL Forum (SDL\u201901), Copenhagen, Denmark, June 2001. http:\/\/www.UseCaseMaps.org\/tools\/ucmnav\/","DOI":"10.1007\/3-540-48213-X_17"},{"key":"7_CR11","unstructured":"KLOCwork Corporation. KLOCwork MSC to SDL Synthesizer Tutorial, Version 1.0, 2002."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"N. Mansurov, D. Zhukov. Automatic synthesis of SDL models in use case methodology. Ninth SDL Forum (SDL\u201999), Montr\u00e9al, Canada, 1999.","DOI":"10.1016\/B978-044450228-5\/50016-3"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"N. Mansurov, D. Campara. Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. Tenth SDL Forum (SDL\u201901), Copenhagen, Denmark, June 2001.","DOI":"10.1007\/3-540-48213-X_2"},{"key":"7_CR14","unstructured":"F. Khendek, D. Vincent. Enriching SDL Specifications with MSCs. 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), Grenoble, France, June 2000."},{"key":"7_CR15","unstructured":"J.W. Dulz, S. Gruhl, L. Lambert, M. S\u00f6llner. Early performance prediction of SDL\/MSC specified systems by automated synthetic code generation. Ninth SDL Forum (SDL\u201999), Montr\u00e9al, Canada, 1999."},{"key":"7_CR16","volume-title":"A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical Finite State Machines","author":"F. Bordeleau","year":"1999","unstructured":"F. Bordeleau. A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical Finite State Machines. Ph.D. thesis, School of Computer Science, Carleton University, Ottawa, Canada, 1999."},{"key":"7_CR17","volume-title":"A Bridging Methodology for Internet Protocols Standards Development","author":"I. Sales","year":"2001","unstructured":"I. Sales. A Bridging Methodology for Internet Protocols Standards Development. M.Sc. thesis, SITE, Univ. of Ottawa, Canada, August 2001."},{"key":"7_CR18","unstructured":"ISO. Information Processing Systems, Open Systems Interconnection, LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807. Geneva, Switzerland, 1989."},{"key":"7_CR19","volume-title":"From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS","author":"R. Guan","year":"2002","unstructured":"R. Guan. From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS, M.Sc. thesis, University of Ottawa, Canada, September 2002."},{"key":"7_CR20","volume-title":"Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS","author":"D. Amyot","year":"2001","unstructured":"D. Amyot. Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS. Ph.D. thesis, SITE, University of Ottawa, Canada, 2001."}],"container-title":["Lecture Notes in Computer Science","SDL 2003: System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45075-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:17:25Z","timestamp":1556936245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45075-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405399","9783540450757"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45075-0_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}