{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:51:11Z","timestamp":1761947471439},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79230-7_1","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T02:53:23Z","timestamp":1207968803000},"page":"1-16","source":"Crossref","is-referenced-by-count":29,"title":["Towards a Theory of Web Service Choreographies"],"prefix":"10.1007","author":[{"given":"Jianwen","family":"Su","sequence":"first","affiliation":[]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[]},{"given":"Xiang","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Xiangpeng","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proc. 31st Int. Conf. on Very Large Data Bases (VLDB), pp. 613\u2013624 (2005)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K. Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, Springer, Heidelberg (2007)"},{"issue":"1","key":"1_CR4","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1147\/sj.441.0145","volume":"44","author":"K. Bhattacharya","year":"2005","unstructured":"Bhattacharya, K., Guttman, R., Lymann, K., Heath, I.F.F., Kumaran, S., Nandi, P., Wu, F., Athma, P., Freiberg, C., Johannsen, L., Staudt, A.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal\u00a044(1), 145\u2013162 (2005)","journal-title":"IBM Systems Journal"},{"key":"1_CR5","unstructured":"Bloomberg, J.: The seven principles of service-oriented development. XML & Web Services (August 2002)"},{"key":"1_CR6","unstructured":"Business Process Execution Language for Web Services (BPEL), Version 1.1 (May 2003), http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of the ACM"},{"key":"1_CR8","first-page":"34","volume-title":"Proceedings of 6th International Symposium on Software Composition (SC)","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Proceedings of 6th International Symposium on Software Composition (SC), Braga, Portugal, pp. 34\u201350. Springer, Heidelberg (2007)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. In: Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Newport Beach, California, June 2007, pp. 122\u2013130 (2007)","DOI":"10.1109\/SOCA.2007.41"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: A new approach to design and analysis of e-service composition. In: Proc. Int. World Wide Web Conf. (WWW) (May 2003)","DOI":"10.1145\/775152.775210"},{"key":"1_CR11","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":"1_CR12","unstructured":"Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming (2006)"},{"key":"1_CR13","unstructured":"OWL\u00a0Services Coalition. OWL-S: Semantic markup for web services (November 2003)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: Proceedings of IEEE International Conference on Web Services (ICWS) (2007)","DOI":"10.1109\/ICWS.2007.59"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-72988-4_7","volume-title":"Advanced Information Systems Engineering","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Behavioral consistency for B2B process integration. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 81\u201395. Springer, Heidelberg (2007)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 305\u2013319. Springer, Heidelberg (2007)"},{"key":"1_CR17","unstructured":"Fu, X.: Formal Specification and Verification of Asynchronously Communicating Web Services. PhD thesis, University of California at Santa Barbara (2004)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45089-0_18","volume-title":"Implementation and Application of Automata","author":"X. Fu","year":"2003","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, Springer, Heidelberg (2003)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. Int. World Wide Web Conf (WWW) (May 2004)","DOI":"10.1145\/988672.988756"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proceedings of 6th IEEE Int. Enterprise Distributed Object Computing Conference (2002)","DOI":"10.1109\/EDOC.2002.1137697"},{"key":"1_CR21","unstructured":"Hanson, J.E., Nandi, P., Levine, D.W.: Conversation-enabled web services for agents and e-business. In: Proceedings of the International Conference on Internet Computing (IC), pp. 791\u2013796 (2002)"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/1083784.1083807","volume":"34","author":"R. Hull","year":"2005","unstructured":"Hull, R., Su, J.: Tools for composite web services: A short overview. SIGMOD Record\u00a034(2), 86\u201395 (2005)","journal-title":"SIGMOD Record"},{"key":"1_CR23","unstructured":"Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Proceedings of International Workshop on Web Services and Formal Methods (2007)"},{"issue":"3","key":"1_CR24","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Systems Journal"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1145\/1242572.1242704","volume-title":"Proceedings of 16th International World Wide Web Conference (WWW)","author":"Z. Qiu","year":"2007","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proceedings of 16th International World Wide Web Conference (WWW), pp. 973\u2013982. ACM Press, New York (2007)"},{"key":"1_CR26","volume-title":"Database Management Systems","author":"R. Ramakrishnan","year":"1997","unstructured":"Ramakrishnan, R.: Database Management Systems. McGraw-Hill, New York (1997)"},{"key":"1_CR27","unstructured":"van Breugel, F., Koshkina, M.: Models and verification of BPEL (2006)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.V.: Conformance checking of service behavior. ACM Transactions on Internet Technology (to appear, 2008)","DOI":"10.1145\/1361186.1361189"},{"key":"1_CR29","unstructured":"Web Services Choreography Description Language Version 1.0 (December 2004), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Zaha, J.M., Barros, A., Dumas, M., ter Hofstede., A.: Lets Dance: A language for service behavior modeling. In: On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE, pp. 145\u2013162 (2006)","DOI":"10.1007\/11914853_10"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Zaha, J.M., Dumas, M., ter Hofstede, A.: Service interaction modeling: Bridging global and local views. In: Proceedings of IEEE International Enterprise Distributed Object Computing Conference (EDOC) (2006)","DOI":"10.1109\/EDOC.2006.50"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:30Z","timestamp":1619507670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792291","9783540792307"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_1","relation":{},"subject":[]}}