{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:40:07Z","timestamp":1725586807315},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642216510"},{"type":"electronic","value":"9783642216527"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21652-7_3","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T00:09:57Z","timestamp":1308355797000},"page":"36-55","source":"Crossref","is-referenced-by-count":9,"title":["From Flow-Global Choreography to Component Types"],"prefix":"10.1007","author":[{"given":"Surya Bahadur","family":"Kathayat","sequence":"first","affiliation":[]},{"given":"Rolv","family":"Br\u00e6k","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"SOA: Principles of Service Design","author":"T. Erl","year":"2007","unstructured":"Erl, T.: SOA: Principles of Service Design. Prentice Hall Press, Englewood Cliffs (2007)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.jss.2009.06.057","volume":"82","author":"F.A. Kraemer","year":"2009","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software\u00a082, 2068\u20132080 (2009)","journal-title":"Journal of Systems and Software"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/eLmL.2009.16","volume-title":"International Conference on Mobile, Hybrid, and Online Learning","author":"S.B. Kathayat","year":"2009","unstructured":"Kathayat, S.B., Br\u00e6k, R.: Platform Support for Situated Collaborative Learning. In: International Conference on Mobile, Hybrid, and Online Learning, pp. 53\u201360. IEEE Computer Society, Los Alamitos (2009)"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1651415.1651424","volume-title":"Proceeding of the First International Workshop on Model Driven Service Engineering and Data Quality and Security","author":"F.A. Kraemer","year":"2009","unstructured":"Kraemer, F.A., Kathayat, S.B., Br\u00e6k, R.: Unified Modeling of Service Logic with User Interfaces. In: Proceeding of the First International Workshop on Model Driven Service Engineering and Data Quality and Security, pp. 37\u201344. ACM, New York (2009)"},{"key":"3_CR5","first-page":"73","volume-title":"Proceedings of the 14th Asia-Pacific Software Engineering Conference","author":"H.N. Castej\u00f3n","year":"2007","unstructured":"Castej\u00f3n, H.N., Br\u00e6k, R., Bochmann, G.V.: Realizability of Collaboration-Based Service Specifications. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference, pp. 73\u201380. IEEE Computer Society, Los Alamitos (2007)"},{"key":"3_CR6","unstructured":"Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD Thesis, Norwegian University of Science and Technology (2008)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Kathayat, S.B., Br\u00e6k, R., Le, H.N.: Automatic Derivation of Components from Choreographies - A Case Study. In: International Conference on Software Engineering, Phuket, Thailand (2010)","DOI":"10.1037\/e602602011-003"},{"key":"3_CR8","unstructured":"Decker, G.: Realizability of Interaction Models. In: 1st Central-European Workshop on Services and their Composition, CEUR-WS.org, pp. 55\u201360 (2009)"},{"key":"3_CR9","unstructured":"OMG, Unified Modeling Language 2.1.1 Specification (Superstructure 07-02-05), http:\/\/www.omg.org"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10270-009-0114-7","volume":"9","author":"J. Whittle","year":"2010","unstructured":"Whittle, J.: Extending Interaction Overview Diagrams with Activity Diagram Constructs. Software and Systems Modeling\u00a09, 203\u2013224 (2010)","journal-title":"Software and Systems Modeling"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36573-7_1","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"F. R\u00f6\u00dfler","year":"2003","unstructured":"R\u00f6\u00dfler, F., Geppert, B., Gotzhein, R.: CoSDL - An Experimental Language for Collaboration Specification. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 1\u201320. Springer, Heidelberg (2003)"},{"key":"3_CR12","unstructured":"International Telecommunication Union: Recommendation Z.100, Specification and Description Language (SDL) (November 2007), http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","first-page":"339","volume-title":"SDL 2005: Model Driven","author":"H.N. Castej\u00f3n","year":"2005","unstructured":"Castej\u00f3n, H.N.: Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 339\u2013359. Springer, Heidelberg (2005)"},{"key":"3_CR14","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, 1131\u20131155 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11841197_15","volume-title":"Web Services and Formal Methods","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. In: Bravetti, M., N\u00fa\u00f1ez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 227\u2013241. Springer, Heidelberg (2006)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1145\/1242572.1242704","volume-title":"Proceedings of the 16th International Conference on World Wide Web","author":"Z. Qiu","year":"2007","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the Theoretical Foundation of Choreography. In: Proceedings of the 16th International Conference on World Wide Web, pp. 973\u2013982. ACM, New York (2007)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-00255-7_12","volume-title":"Integrated Formal Methods","author":"G. Sala\u00fcn","year":"2009","unstructured":"Sala\u00fcn, G., Bultan, T.: Realizability of Choreographies Using Process Algebra Encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 167\u2013182. Springer, Heidelberg (2009)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/11575863_70","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"J. Mendling","year":"2005","unstructured":"Mendling, J., Hafner, M.: From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol.\u00a03762, pp. 506\u2013515. Springer, Heidelberg (2005)"},{"key":"3_CR20","unstructured":"Barros, A., Dumas, M., Oaks, P.: A Critical Overview of Web Service Choreography Description Language (WS-CDL). In: BPTrends (March 2005)"},{"key":"3_CR21","first-page":"11","volume-title":"WICSA\/ECSA","author":"S. Wieczorek","year":"2009","unstructured":"Wieczorek, S., Roth, A., Stefanescu, A., Kozyura, V., Charfi, A., Kraft, F.M., Schieferdecker, I.: Viewpoints for Modeling Choreographies in Service-Oriented Architectures. In: WICSA\/ECSA, pp. 11\u201320. IEEE Press, Los Alamitos (2009)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-31810-1_16","volume-title":"System Analysis and Modeling","author":"R. Br\u00e6k","year":"2005","unstructured":"Br\u00e6k, R., Floch, J.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 237\u2013256. Springer, Heidelberg (2005)"},{"key":"3_CR23","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"key":"3_CR24","unstructured":"Castej\u00f3n, H.N.: Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD thesis, Norwegian University of Science and Technology (2008)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: About Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21652-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T13:04:31Z","timestamp":1686143071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21652-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642216510","9783642216527"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21652-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}