{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:29:03Z","timestamp":1777544943334,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s11761-008-0022-7","type":"journal-article","created":{"date-parts":[[2008,4,8]],"date-time":"2008-04-08T13:45:13Z","timestamp":1207662313000},"page":"27-39","source":"Crossref","is-referenced-by-count":46,"title":["Specification of realizable service conversations using collaboration diagrams"],"prefix":"10.1007","volume":"2","author":[{"given":"Tevfik","family":"Bultan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,9]]},"reference":[{"key":"22_CR1","unstructured":"W3C (2005) Web Service Choreography Description Language (WS-CDL). http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"issue":"2","key":"22_CR2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand D, Zafiropulo P (1983) On communicating finite-state machines. J ACM 30(2): 323\u2013342","journal-title":"J ACM"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Alur R, Etessami K, Yannakakis M (2000) Inference of message sequence charts. In: Proc 22nd int conf on software engineering, pp 304\u2013313","DOI":"10.1145\/337180.337215"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Alur R, Etessami K, Yannakakis M (2001) Realizability and verification of MSC graphs. In: Proc 28th int colloq on automata, languages, and programming, pp 797\u2013808","DOI":"10.1007\/3-540-48224-5_65"},{"issue":"1","key":"22_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1005561.1005563","volume":"13","author":"S Uchitel","year":"2004","unstructured":"Uchitel S, Kramer J, Magee J (2004) Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans Softw Eng Methodol 13(1): 37\u201385","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bultan T, Fu X, Hull R, Su J (2003) Conversation specification: a new approach to design and analysis of e-service composition. In: Proc 12th int world Wide Web Conf, pp 403\u2013410","DOI":"10.1145\/775152.775210"},{"issue":"1","key":"22_CR7","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T Bultan","year":"2006","unstructured":"Bultan T, Fu X, Su J (2006) Analyzing conversations of web services. IEEE Internet Comput 10(1): 18\u201325","journal-title":"IEEE Internet Comput"},{"key":"22_CR8","unstructured":"OMG (2004) UML 2.0 superstructure specification. http:\/\/ww.uml.org\/"},{"key":"22_CR9","unstructured":"OASIS (2006) Web services business process execution language version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-specification-draft.html"},{"issue":"1\u20132","key":"22_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X Fu","year":"2004","unstructured":"Fu X, Bultan T, Su J (2004) Conversation protocols: a formalism for specification and analysis of reactive electronic services. Theor Comput Sci 328(1\u20132): 19\u201337","journal-title":"Theor Comput Sci"},{"issue":"12","key":"22_CR11","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.1109\/TSE.2005.141","volume":"31","author":"X Fu","year":"2005","unstructured":"Fu X, Bultan T, Su J (2005) Synchronizability of conversations among web services. IEEE Trans Softw Eng 31(12): 1042\u20131055","journal-title":"IEEE Trans Softw Eng"},{"key":"22_CR12","unstructured":"ITU-T (1994) Message Sequence Chart (MSC). Geneva Recommendation Z.120"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Foster H, Uchitel S, Magee J, Kramer J (2003) Model-based verification of web service compositions. In: Proc 18th IEEE int conf on automated software engineering conference, pp 152\u2013163","DOI":"10.1109\/ASE.2003.1240303"},{"issue":"1","key":"22_CR14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B Benatallah","year":"2003","unstructured":"Benatallah B, Sheng QZ, Dumas M (2003) The self-serv environment for web services composition. IEEE Internet Comput 7(1): 40\u201348","journal-title":"IEEE Internet Comput"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Skogan D, Gronmo R, Solheim I (2004) Web Service Composition in UML. In: Proc of 8th international IEEE enterprise distributed object computing conference","DOI":"10.1109\/EDOC.2004.1342504"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Blake MB (2006) A lightweight software design process for web services workflows. In: Proc of the 2006 IEEE international conference on web Services, pp 411\u2013418","DOI":"10.1109\/ICWS.2006.8"},{"key":"22_CR17","unstructured":"Odell JJ, Parunak HVD, Bauer B (1999) Representing agent interaction protocols in UML. In: Proc of first international workshop on agent-oriented software engineering"},{"key":"22_CR18","unstructured":"Parunak HVD (1996) Visualizing agent conversations: using enhanced Dooley graphs for agent design and analysis. In: Proceedings of the second international conference on multi-agent systems (ICMAS\u201996)"},{"issue":"2","key":"22_CR19","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1010033827337","volume":"3","author":"MP Singh","year":"2000","unstructured":"Singh MP (2000) Synthesizing coordination requirements for heterogeneous autonomous agents. Auton Agents Multi-Agent Systems 3(2): 107\u2013132","journal-title":"Auton Agents Multi-Agent Systems"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Huhns MN, Stephens LM, Ivezic N (2002) Automating supply-chain management. In: Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS 2002), pp 1017\u20131024","DOI":"10.1145\/545056.545061"},{"issue":"4","key":"22_CR21","doi-asserted-by":"crossref","first-page":"68","DOI":"10.4018\/jwsr.2005100104","volume":"2","author":"X Fu","year":"2005","unstructured":"Fu X, Bultan T, Su J (2005) Realizability of conversation protocols with message contents. Int J Web Services Res (JWSR) 2(4): 68\u201393","journal-title":"Int J Web Services Res (JWSR)"},{"key":"22_CR22","unstructured":"Bultan T, Fu X (2006) Realizability of interactions in collaboration diagrams. Technical Report 2006-11, Computer Science Department, University of California, Santa Barbara"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-008-0022-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-008-0022-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-008-0022-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:46:03Z","timestamp":1559425563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-008-0022-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["22"],"URL":"https:\/\/doi.org\/10.1007\/s11761-008-0022-7","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}