{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:32:15Z","timestamp":1725564735811},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540307679"},{"type":"electronic","value":"9783540322498"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596370_1","type":"book-chapter","created":{"date-parts":[[2005,11,24]],"date-time":"2005-11-24T13:20:56Z","timestamp":1132838456000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Unified Model for Web Services Composition"],"prefix":"10.1007","author":[{"given":"Richard","family":"Hull","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Web Services. Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Aggarwal, R., Verma, K., Miller, J., Milnor, W.: Constraint Driven Web Service Composition in METEOR-S. In: Proc. IEEE Intl. Conf. on Services Computing, IEEE-SCC (2004)","DOI":"10.1109\/SCC.2004.1357986"},{"key":"1_CR3","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of web services in Colombo. In: Proc. of 13th Itallian Symp. on Advanced Database Systems (June 2005)"},{"key":"1_CR4","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc. Intl. Conf. on Very Large Databases (VLDB), Trondheim, Norway (September 2005)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Services Composition based on Behavioral Descriptions. International Journal of Cooperative Information Systems, IJCIS (2004)","DOI":"10.1142\/S0218843005001201"},{"key":"1_CR6","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":"1_CR7","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web Service Interfaces. In: Proc. 14th Intl. World Wide Web Conf. (WWW), pp. 148\u2013159 (2005)","DOI":"10.1145\/1060745.1060770"},{"key":"1_CR8","unstructured":"Berardi, D., Gr\u00fcninger, M., Hull, R., McIlraith, S.: Towards a first-order ontology for web services. In: W3C Workshop on Constraints and Capabilities for Web Services (October 2004)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Berardi, D., De Giacomo, G., Lenzerini, M., Mecella, M., Calvanese, D.: Synthesis of underspecified composite e-services based on automated reasoning. In: Proc. Second International Conference on Service-Oriented Computing, pp. 105\u2013114 (2004)","DOI":"10.1145\/1035167.1035183"},{"key":"1_CR10","unstructured":"Business Process Execution Language for Web Services (BPEL), Version 1.1 (May 2003), http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel"},{"key":"1_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract STate Machines: A Method for High-LEvel System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., Stark, R.: Abstract STate Machines: A Method for High-LEvel System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"1_CR12","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_CR13","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Marcus, M., Sui, L., Vianu, V., Zhou, D.: A Verifier for Interactive, Data-Driven Web Applications. In: Proc. ACM Conf. on Mgmt. of Data, SIGMOD (2005)","DOI":"10.1145\/1066157.1066219"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web services. In: Proc. ACM Symp. on Principles of Database Systems (2004)","DOI":"10.1145\/1055558.1055571"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: Proc. Int. Conf. on Implementation and Application of Automata, CIAA (2003)","DOI":"10.1007\/3-540-45089-0_18"},{"key":"1_CR16","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_CR17","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Model checking XML manipulating software. In: Proc. Int. Symposium on Software Testing and Analysis (ISSTA) (July 2004)","DOI":"10.1145\/1007512.1007547"},{"key":"1_CR18","first-page":"63","volume":"24","author":"M. Gr\u00fcninger","year":"2003","unstructured":"Gr\u00fcninger, M., Menzel, C.: Process specification language: Principles and applications. AI Magazine\u00a024, 63\u201374 (2003)","journal-title":"AI Magazine"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Gr\u00fcninger, M.: Applications of PSL to semantic web services. In: Proceedings of SWDB 2003, The first International Workshop on Semantic Web and Databases (2003)","DOI":"10.6028\/NIST.IR.7165"},{"key":"1_CR20","unstructured":"Gr\u00fcninger, M., Hull, R., McIlraith, S.: A First-Order Ontology for Semantic Web Services. In: W3C Workshop on Frameworks for Semantic Web Services (April 2005), Innsbruck, http:\/\/www.w3.org\/2005\/04\/FSWS\/Submissions\/59\/w3c05.pdf"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: A look behind the curtain. In: Proc. ACM Symp. on Principles of Database Systems (2003)","DOI":"10.1145\/773153.773154"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proc. 6th Int. Enterprise Distributed Object Computing (EDOC), Ecole Polytechnic, Switzerland (2002)","DOI":"10.1109\/EDOC.2002.1137697"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Hull, R., Su, J.: Tools for Composite Web Services: A Short Overview. SIGMOD Record, Vol. 34(2) (June 2005), Available at http:\/\/www.sigmod.org\/record\/issues\/0506\/","DOI":"10.1145\/1083784.1083807"},{"key":"1_CR24","unstructured":"McIlraith, S., Son, T.: Adapting Golog for composition of semantic web services. In: Proc. of the Eighth International Conference on Knowledge Representation and Reasoning (KR 2002), April 2002, pp. 482\u2013493 (2002)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems (March\/April 2001)","DOI":"10.1109\/5254.920599"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. Int. World Wide Web Conf., WWW (2002)","DOI":"10.1145\/511446.511457"},{"key":"1_CR27","unstructured":"OWL Services Coalition. OWL-S: Semantic markup for web services (November 2003)"},{"key":"1_CR28","unstructured":"Pinto, J.A.: Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto (1994)"},{"issue":"10","key":"1_CR29","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service Oriented Computing (special issue). Communication of the ACM\u00a046(10), 24\u201328 (2003)","journal-title":"Communication of the ACM"},{"key":"1_CR30","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Intl. Joint Conf. on Artificial Intelligence, IJCAI (2005)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web service Annotation Framework. In: Proc. of the World Wide Web Conf. (WWW) (July 2004)","DOI":"10.1145\/988672.988747"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. 3rd IEEE International Conference on Web Services (ICWS), Orlando (2005)","DOI":"10.1109\/ICWS.2005.27"},{"key":"1_CR33","unstructured":"PSL standards group. Psl home page, http:\/\/ats.nist.gov\/psl\/"},{"key":"1_CR34","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Levesque. Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144, 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"1_CR36","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/S0022-0000(02)00029-6","volume":"66","author":"M. Spielmann","year":"2003","unstructured":"Spielmann, M.: Verification of relational transducers for electronic commerce. Journal of Computer and System Sciences\u00a066(1), 40\u201365 (2003)","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR37","unstructured":"Semantic Web Serivces Initiative (SWSI). Home page, at http:\/\/www.swsi.org\/"},{"key":"1_CR38","unstructured":"SWSL Committee. Semantic Web Services Framework Overview, SWSF (2005), Available in, http:\/\/www.w3.org\/Submission\/SWSF\/"},{"key":"1_CR39","unstructured":"SWSL Committee. Semantic web service ontology, SWSO (2005), Available in, http:\/\/www.w3.org\/Submission\/SWSF-SWSO\/"},{"issue":"1","key":"1_CR40","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.websem.2003.07.002","volume":"1","author":"K. Sycara","year":"2003","unstructured":"Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated Discovery, Interaction and Composition of Semantic Web services. Journal of Web Semantics\u00a01(1), 27\u201346 (2003)","journal-title":"Journal of Web Semantics"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P. Traverso","year":"2004","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 380\u2013394. Springer, Heidelberg (2004)"},{"key":"1_CR42","unstructured":"Web Services Choreography Description Language Version 1.0 (W3C Working Draft) (December 2004), http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20041217\/"},{"key":"1_CR43","unstructured":"Web Services Conversation Language (WSCL) 1.0 (March 2002), http:\/\/www.w3.org\/TR\/2002\/NOTE-wscl10-20020314\/"},{"key":"1_CR44","unstructured":"Web Services Description Language (WSDL) 1.1 (March 2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"1_CR45","unstructured":"Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions (W3C Working Draft) (August. 2004), http:\/\/www.w3.org\/TR\/2004\/WD-wsdl20-extensions-20040803\/"},{"key":"1_CR46","unstructured":"Web Services Modeling Ontology (WSMO). Home page, at http:\/\/www.wsmo.org\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science \u2013 ASIAN 2005. Data Management on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596370_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:55:00Z","timestamp":1619506500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596370_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307679","9783540322498"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/11596370_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}