{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:14:45Z","timestamp":1725502485130},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775805"},{"type":"electronic","value":"9783540775812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77581-2_27","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T06:39:30Z","timestamp":1202366370000},"page":"388-401","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Semantics and a Client Synthesis for a BPEL Service"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[]},{"given":"Patrice","family":"Moreaux","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Rampacek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Tidwell, D.: Web services - the web\u2019s next revolution. In: IBM developerWorks (2000)"},{"key":"27_CR2","unstructured":"WSDL: Web services description language (wsdl) 1.1. Technical report, World Wide Web Consortium (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"27_CR3","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.: Business process execution language for web services (2003)"},{"key":"27_CR4","unstructured":"Juric, M.: BPEL and Java. On line journal theserverside.com (2005) \n                    \n                      http:\/\/www.theserverside.com\/articles\/article.tss?l=BPELJava"},{"key":"27_CR5","unstructured":"Juric, M., Sarang, P., Mathew, B.: Business Process Execution Language for Web Services. Packt Publishing (2005)"},{"key":"27_CR6","unstructured":"Melliti, T., Haddad, S.: Synthesis of agents for web services interaction. In: Workshop Semantic Web Services for Enterprise Application Integration and E-Commerce of the Fifth International Conference on Electronic Commerce, Pittsburgh, USA (2003)"},{"key":"27_CR7","unstructured":"Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: Modelling web services interoperability. In: ICEIS 2004. Proc. of the 6th Int. Conf. on Enterprise Information Systems, Porto, Portugal (2004)"},{"issue":"2","key":"27_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"27_CR9","unstructured":"Thatte, S.: Xlang: Web services for business process design. World Wide Web page (2001), \n                    \n                      http:\/\/www.gotdotnet.com\/team\/xml\/wsspecs\/xlang-c\/default.htm"},{"key":"27_CR10","first-page":"647","volume-title":"ICTTA 2004","author":"S. Haddad","year":"2004","unstructured":"Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: A dense time semantics for Web services specifications languages. In: ICTTA 2004. Proc. of the 1st Int. Conf. on Information & Communication Technologies: from Theory to Applications, Damascus, Syria, pp. 647\u2013648. IEEE Computer Society Press, France (2004)"},{"issue":"1\u20132","key":"27_CR11","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0304-3975(97)00173-4","volume":"211","author":"R. Alur","year":"1999","unstructured":"Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: a determinizable class of timed automata. Theoretical Computer Science\u00a0211(1\u20132), 253\u2013273 (1999)","journal-title":"Theoretical Computer Science"},{"key":"27_CR12","volume-title":"WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: WWW 2004. Proc. of the 13th International World Wide Web Conference, ACM Press, New York (2004)"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Wsat: A tool for formal analysis of web services. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, Springer, Heidelberg (2004)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. of the 18th Int. Conf. on Automated Software Eng. (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/11562436_34","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"K.J. Turner","year":"2005","unstructured":"Turner, K.J.: Formalising web services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 473\u2013488. Springer, Heidelberg (2005)"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MIS.2003.1179197","volume":"18","author":"S. Staab","year":"2003","unstructured":"Staab, S., van der Aalst, W., Benjamins, V., Sheth, A., Miller, J., Bussler, C., Maedche, A., Fensel, D., Gannon, D.: Web services: Been there, done that? IEEE Intelligent Systems\u00a018, 72\u201385 (2003)","journal-title":"IEEE Intelligent Systems"},{"key":"27_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"27_CR18","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"issue":"1-3","key":"27_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control\u00a060(1-3), 109\u2013137 (1984)","journal-title":"Information and Control"},{"issue":"1","key":"27_CR20","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"Nicollin, X., Sifakis, J.: The algebra of timed processes, atp: theory and application. Inf. Comput.\u00a0114(1), 131\u2013178 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77581-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T04:22:20Z","timestamp":1551414140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77581-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540775805","9783540775812"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77581-2_27","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}