{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:55Z","timestamp":1725487075282},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_17","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T14:01:14Z","timestamp":1183384874000},"page":"268-287","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Deriving Message Sequence Charts from Use Case Maps Scenario Specifications"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Miga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francis","family":"Bordeleau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donald","family":"Cameron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murray","family":"Woodside","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"17_CR1","unstructured":"Abdalla, M.M., Khendek, F. and Butler, G.: \u201cNew Results on DerivingSDL Specifications from MSCs\u201d. In: SDL\u201999, Proceedings of the Ninth SDL Forum, Montreal, Canada. Elsevier (1999)"},{"key":"17_CR2","unstructured":"Amyot, D. and Andrade, R.: \u201cDescription of Wireless Intelligent Network Services with Use Case Maps\u201d. In: SBRC\u201999, 17\u25cb Simp\u00f3sio Brasileiro de Redes de Computadores, Salvador, Brazil (May 1999) 418\u2013433"},{"issue":"12","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1016\/S0140-3664(99)00242-X","volume":"23","author":"D. Amyot","year":"2000","unstructured":"Amyot, D. and Logrippo, L.: \u201cUse Case Maps and Lotos for the Prototypingand Validation of a Mobile Group Call System\u201d. In: Computer Communication, 23(12) (May 2000) 1135\u20131157","journal-title":"Computer Communication"},{"key":"17_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-40011-7_2","volume-title":"On the Extension of UML with Use Case Maps Concepts","author":"D. Amyot","year":"2000","unstructured":"Amyot, D. and Mussbacher, G.: \u201cOn the Extension of UML with Use Case Maps Concepts\u201d. In: \u226aUML\u226b2000, 3rd International Conference on the Unified Modeling Language, York, UK (October 2000), LNCS 1939, 16\u201331"},{"key":"17_CR5","unstructured":"Amyot, D.: \u201cUse Case Maps as a Feature Description Language\u201d. In: S. Gilmore and M. Ryan (Eds), Language Constructs for Designing Features. Springer-Verlag (2000) 27\u201344"},{"key":"17_CR6","unstructured":"Amyot, D. and Eberlein, A.: \u201cAn Evaluation of Scenario Notations for Telecommunication Systems Development\u201d. In: 9th Int. Conference on Telecommunication Systems (9ICTS), Dallas, USA (March 2001)"},{"key":"17_CR7","unstructured":"Andrade, R.: \u201cApplyingUse Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks\u201d. In: Lfm2000: The Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, USA (June 2000)"},{"key":"17_CR8","unstructured":"Bordeleau, F.: 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 (August 1999)"},{"key":"17_CR9","unstructured":"Bordeleau, F. and Cameron, D.: \u201cOn the Relationship between Use Case Maps and Message Sequence Charts\u201d. In: 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), Grenoble, France (June 2000)"},{"key":"17_CR10","unstructured":"Bos, M. and Mauw, S.: \u201cA LATEX macro package for drawing Message Sequence Charts\u201d. Version 1.47, \n                  http:\/\/www.win.tue.nl\/~sjouke\/mscpackage.html\n                  \n                 (1999)"},{"key":"17_CR11","unstructured":"Buhr, R. J. A. and Casselman, R. S.: Use Case Maps for Object-Oriented Systems, Prentice-Hall (1996)"},{"issue":"12","key":"17_CR12","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.: \u201cUse Case Maps as Architectural Entities for Complex Systems\u201d. In: IEEE Transactions on Software Engineering, 24(12) (Dec. 1998) 1131\u20131155","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR13","unstructured":"Cameron, D. et al.: Draft Specification of the User Requirements Notation. Canadian contribution CAN COM 10-12 to ITU-T, Geneva (November2000)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B. A., Yu, E. and Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"17_CR15","unstructured":"Elammari, M. and Lalonde, W. (1999) \u201cAn Agent-Oriented Methodology: High-Level and Intermediate Models\u201d. In: Proc. of the 1st Int. Workshop. on Agent-Oriented Information Systems (AOIS\u201999), Heidelberg, Germany (June 1999)"},{"key":"17_CR16","unstructured":"Hodges, J. and Visser, J.: \u201cAccelerating Wireless Intelligent Network Standards Through Formal Techniques\u201d. In: IEEE 1999 Vehicular Technology Conference (VTC\u201999), Houston (TX), USA (1999)"},{"key":"17_CR17","unstructured":"ITU-T: Recommendation I.130, Method for the characterization of telecommunication services supported by an ISDN and network capabilities of ISDN. CCITT, Geneva (1988)"},{"key":"17_CR18","unstructured":"ITU-T: Recommendation Z.100, Specification and Description Language (SDL). Geneva (1999)"},{"key":"17_CR19","unstructured":"ITU-T: Recommendation Z.120, Message Sequence Chart (MSC). Geneva (1999)"},{"key":"17_CR20","unstructured":"ITU-T: Recommendation Q.65, The unified functional methodology for the characterization of services and network capabilities including alternative object-oriented techniques. Geneva (2001)"},{"key":"17_CR21","series-title":"M.Eng. thesis","volume-title":"Application of Use Case Maps to System Design with Tool Support","author":"A. Miga","year":"1998","unstructured":"Miga, A.: Application of Use Case Maps to System Design with Tool Support. M.Eng. thesis, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada (October 1998)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Mansurov, N. and Zhukov, D.: \u201cAutomatic synthesis of SDL models in use case methodology\u201d. In: SDL\u201999, Proceedings of the Ninth SDL Forum, Montreal, Canada. Elsevier (1999)","DOI":"10.1016\/B978-044450228-5\/50016-3"},{"key":"17_CR23","unstructured":"Sales, I. and Probert, R. L.: \u201cFrom High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language\u201d. In: SBRC\u20192000, 18\u25cb Simp\u00f3sio Brasileiro de Redes de Computadores, Belo Horizonte, Brazil (May 2000)"},{"key":"17_CR24","series-title":"Ph.D. thesis","volume-title":"Evaluation and Diagnosis of Concurrency Architectures","author":"W. C. Scratchley","year":"2000","unstructured":"Scratchley, W. C.: Evaluation and Diagnosis of Concurrency Architectures. Ph.D. thesis, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada (November 2000)"},{"key":"17_CR25","unstructured":"Use Case Maps Web Page and UCM User Group (since March 1999) \n                  http:\/\/www.UseCaseMaps.org"},{"key":"17_CR26","unstructured":"Yi, Z.: CNAP Specification and Validation: A Design Methodology Using Lotos and UCM. M.Sc. thesis, SITE, University of Ottawa, Canada (2000)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., and Haumer, P.: \u201cScenarios in System Development: Current Practice\u201d. In: IEEE Software (March\/April 1998) 34\u201345","DOI":"10.1109\/52.663783"}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:05:33Z","timestamp":1558260333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"22 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}