{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:37Z","timestamp":1725558997812},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_24","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"339-359","source":"Crossref","is-referenced-by-count":6,"title":["Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps"],"prefix":"10.1007","author":[{"given":"Humberto Nicol\u00e1s Castej\u00f3n","family":"Mart\u00ednez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-48213-X_5","volume-title":"SDL 2001: Meeting UML","author":"F. R\u00f6\u00dfler","year":"2001","unstructured":"R\u00f6\u00dfler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 72\u201389. Springer, Heidelberg (2001)"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/503209.503231","volume-title":"ESEC\/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering","author":"K. Fisler","year":"2001","unstructured":"Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC\/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 152\u2013163. ACM Press, New York (2001)"},{"key":"24_CR3","unstructured":"Object Management Group: UML 2.0 Superstructure Specification (2004)"},{"key":"24_CR4","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)","edition":"2"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-45314-8_12","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Bordeleau","year":"2001","unstructured":"Bordeleau, F., Corriveau, J.P.: On the importance of inter-scenario relationships in hierarchical state machine design. In: Hu\u00dfmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 156\u2013170. Springer, Heidelberg (2001)"},{"key":"24_CR6","volume-title":"Use case maps for object-oriented systems","author":"R.J.A. Buhr","year":"1996","unstructured":"Buhr, R.J.A., Casselman, R.S.: Use case maps for object-oriented systems. Prentice-Hall, Inc., Englewood Cliffs (1996)"},{"key":"24_CR7","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 of Software Engineering\u00a024, 1131\u20131155 (1998)","journal-title":"IEEE Transactions of Software Engineering"},{"key":"24_CR8","first-page":"144","volume-title":"SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM 2004)","author":"R.T. Sanders","year":"2004","unstructured":"Sanders, R.T., Br\u00e6k, R.: Modeling peer-to-peer service goals in uml. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM 2004), pp. 144\u2013153. IEEE Computer Society, Los Alamitos (2004)"},{"key":"24_CR9","unstructured":"Leue, S., Mehrmann, L., Rezai, M.: Synthesizing ROOM models from message sequence chart specifications. Technical report, Dept. of Electrical and Computer Engineering (1998)"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/B978-044450228-5\/50016-3","volume-title":"SDL Forum","author":"N. Mansurov","year":"1999","unstructured":"Mansurov, N., Zhukov, D.: Automatic synthesis of SDL models in use case methodology. In: Dssouli, R., von Bochmann, G., Lahav, Y. (eds.) SDL Forum, pp. 225\u2013240. Elsevier, Amsterdam (1999)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/337180.337217","volume-title":"ICSE 2000: Proceedings of the 22nd international conference on Software engineering","author":"J. Whittle","year":"2000","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE 2000: Proceedings of the 22nd international conference on Software engineering, pp. 314\u2013323. ACM Press, New York (2000)"},{"key":"24_CR12","first-page":"61","volume-title":"DIPES 1998: Proceedings of the IFIP WG10.3\/WG10.5 international workshop on Distributed and parallel embedded systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From mscs to statecharts. In: DIPES 1998: Proceedings of the IFIP WG10.3\/WG10.5 international workshop on Distributed and parallel embedded systems, pp. 61\u201371. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng.\u00a029, 99\u2013115 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/ICSE.2001.919077","volume-title":"ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering","author":"E. M\u00e4kinen","year":"2001","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: MAS - an interactive synthesizer to support behavioral modelling in UML. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, pp. 15\u201324. IEEE Computer Society, Los Alamitos (2001)"},{"key":"24_CR15","unstructured":"Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. PhD thesis, Department of Systems and Computer Engineering, Faculty of Engineering,Carleton University, Ottawa (1999)"},{"key":"24_CR16","unstructured":"Sales, I.: A bridging methodology for internet protocols standards development. Master\u2019s thesis, School of Information Technology and Engineering (S.I.T.E.), Faculty of Engineering, University of Ottawa, Ontario (2001)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"He, Y., Amyot, D., Williams, A.W.: Synthesizing SDL from use case maps: An experiment. In: SDL Forum, pp. 117\u2013136 (2003)","DOI":"10.1007\/3-540-45075-0_7"},{"key":"24_CR18","unstructured":"Miga, A.: Application of use case maps to system design with tool support. Master\u2019s thesis, Dept. of Systems and Computer Engineering, Carleton University,Ottawa (1998)"},{"key":"24_CR19","unstructured":"Use Case Maps Web Page and UCM User Group, http:\/\/www.usecasemaps.org"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:33Z","timestamp":1605643413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11506843_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}