{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:11:56Z","timestamp":1725549116101},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250494"},{"type":"electronic","value":"9783540318118"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31811-8_5","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T15:30:50Z","timestamp":1267457450000},"page":"54-68","source":"Crossref","is-referenced-by-count":7,"title":["Using Process Algebra for Web Services: Early Results and Perspectives"],"prefix":"10.1007","author":[{"given":"Lucas","family":"Bordeaux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Specification: Business Process Execution Language for Web Services Version 1.1 (2003), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 15\u201328. Springer, Heidelberg (2005)"},{"key":"5_CR4","unstructured":"Bravetti, M., Zavattaro, G. (eds.): Proc. of the 1st International Workshop on Web Services and Formal Methods (WS-FM 2004), Italy. To appear in ENTCS (2004)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Services Choreographies. In: Proc. of WS-FM 2004, Italy (2004) (to appear)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"5_CR6","unstructured":"Chirichiello, A., Sala\u00fcn, G.: Developing Executable and Certified Web Services from Abstract Descriptions. Submitted"},{"key":"5_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1055558.1055571","volume-title":"Proc. of PODS 2004","author":"A. Deutsch","year":"2004","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and Verification of Data-driven Web Services. In: ACM (ed.) Proc. of PODS 2004, Paris, pp. 71\u201382. ACM Press, New York (2004)"},{"key":"5_CR9","first-page":"152","volume-title":"Proc. of ASE 2003","author":"H. Foster","year":"2003","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: Proc. of ASE 2003, Canada, pp. 152\u2013163. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"Proc. of WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, USA, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"5_CR11","volume-title":"Proc. of RE 2003","author":"A. Fuxman","year":"2003","unstructured":"Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and Analyzing Early Requirements: Some Experimental Results. In: Proc. of RE 2003, USA. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"5_CR12","series-title":"CRPIT","first-page":"191","volume-title":"Proc. of ADC 2003","author":"R. Hamadi","year":"2003","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Schewe, K.-D., Zhou, X. (eds.) Proc. of ADC 2003. CRPIT, vol.\u00a017, pp. 191\u2013200. Australian Computer Society, Australia (2003)"},{"key":"5_CR13","unstructured":"Harrison, J.: Verification: Industrial Applications. Lecture at 2003 Marktoberdorf Summer School, USA (2003)"},{"key":"5_CR14","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/773153.773154","volume-title":"Proc. of PODS 2003","author":"R. Hull","year":"2003","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: a Look Behind the Curtain. In: ACM (ed.) Proc. of PODS 2003, USA, pp. 1\u201314. ACM Press, New York (2003)"},{"key":"5_CR16","unstructured":"ISO. LOTOS: a Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Standards Organisation (1989)"},{"key":"5_CR17","first-page":"306","volume-title":"Proc. of ICWS 2004","author":"D. Lau","year":"2004","unstructured":"Lau, D., Mylopoulos, J.: Designing Web Services with Tropos. In: Proc. of ICWS 2004, San Diego, USA, pp. 306\u2013313. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-24593-3_23","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"A. Lazovik","year":"2003","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.P.: Planning and Monitoring the Execution of Web Service Requests. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 335\u2013350. Springer, Heidelberg (2003)"},{"key":"5_CR19","unstructured":"Leymann, F.: Managing Business Processes via Workflow Technology. In: Tutorial at VLDB 2001, Italy (2001)"},{"key":"5_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems \u2013 Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems \u2013 Safety. Springer, Heidelberg (1995)"},{"key":"5_CR21","unstructured":"Mantell, K.: From UML to BPEL. IBM developerWorks report (2003)"},{"key":"5_CR22","first-page":"482","volume-title":"Proc. of KR 2002","author":"S.A. McIlraith","year":"2002","unstructured":"McIlraith, S.A., Son, T.C.: Adapting Golog for Composition of Semantic Web Services. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M.-A. (eds.) Proc. of KR 2002, France, pp. 482\u2013496. Morgan Kaufmann, San Francisco (2002)"},{"issue":"4","key":"5_CR23","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00778-003-0101-5","volume":"12","author":"B. Medjahed","year":"2003","unstructured":"Medjahed, B., Bouguettaya, A., Elmagarmid, A.K.: Composing Web services on the Semantic Web. The VLDB Journal\u00a012(4), 333\u2013351 (2003)","journal-title":"The VLDB Journal"},{"issue":"10","key":"5_CR24","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"G. Meredith","year":"2003","unstructured":"Meredith, G., Bjorg, S.: Contracts and Types. Communications of the ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Communications of the ACM"},{"key":"5_CR25","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"5_CR26","unstructured":"Nakajima, S.: Model-checking Verification for Reliable Web Service. In: Proc. of OOWS 2002, satellite event of OOPSLA 2002, USA (2002)"},{"issue":"5","key":"5_CR27","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/S1389-1286(03)00228-7","volume":"42","author":"S. Narayanan","year":"2003","unstructured":"Narayanan, S., McIlraith, S.: Analysis and Simulation of Web Services. Computer Networks\u00a042(5), 675\u2013693 (2003)","journal-title":"Computer Networks"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra, ch. 8","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: An Introduction to the \u03c0-Calculus. In: Handbook of Process Algebra, ch. 8, pp. 479\u2013543. Elsevier, Amsterdam (2001)"},{"key":"5_CR29","first-page":"43","volume-title":"Proc. of ICWS 2004","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: Proc. of ICWS 2004, San Diego, USA, pp. 43\u201351. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-30209-4_15","volume-title":"Web Services","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Ferrara, A., Chirichiello, A.: Negotiation among Web Services using LOTOS\/CADP. In: Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol.\u00a03250, pp. 198\u2013212. Springer, Heidelberg (2004)"},{"key":"5_CR31","unstructured":"W3C. Web Services Choreography Description Language Version 1.0. Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20040427\/"},{"key":"5_CR32","unstructured":"W3C. Web Services Choreography Interface 1.0. Available at \n                    \n                      http:\/\/www.w3.org\/TR\/wsci"},{"key":"5_CR33","unstructured":"W3C. Web Services Choreography Requirements 1.0 (draft). Available at \n                    \n                      http:\/\/www.w3.org\/TR\/ws-chor-reqs"}],"container-title":["Lecture Notes in Computer Science","Technologies for E-Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31811-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:27:26Z","timestamp":1605760046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31811-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250494","9783540318118"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31811-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}