{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T08:55:30Z","timestamp":1770972930742,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2008,10,11]],"date-time":"2008-10-11T00:00:00Z","timestamp":1223683200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Parallel Databases"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s10619-008-7030-7","type":"journal-article","created":{"date-parts":[[2008,10,10]],"date-time":"2008-10-10T14:01:27Z","timestamp":1223647287000},"page":"45-72","source":"Crossref","is-referenced-by-count":68,"title":["Dynamic composition and optimization of Web services"],"prefix":"10.1007","volume":"24","author":[{"given":"Liangzhao","family":"Zeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne H. H.","family":"Ngu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boualem","family":"Benatallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodion","family":"Podorozhny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,11]]},"reference":[{"issue":"10","key":"7030_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Serive-oriented computing. Commun. ACM 46(10), 25\u201365 (2003)","journal-title":"Commun. ACM"},{"key":"7030_CR2","volume-title":"Distributed and Parallel Database, Special issue on Web Services","year":"2002","unstructured":"Benatallah, B., Casati, F. (eds.): Distributed and Parallel Database, Special issue on Web Services. Springer, Berlin (2002)"},{"issue":"2","key":"7030_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"Georgakopoulos, D., Hornick, M.F., Sheth, A.P.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed Parallel Databases 3(2), 119\u2013153 (1995)","journal-title":"Distributed Parallel Databases"},{"key":"7030_CR4","unstructured":"IBM MQseries Workflow: http:\/\/www-3.ibm.com\/software\/ts\/mqseries\/workflow\/ (2002)"},{"key":"7030_CR5","doi-asserted-by":"crossref","unstructured":"Zeng, L., Benatallah, B., Lei, H., Ngu, A., Flaxer, D., Chang, H.: Flexible composition of enterprise Web services. Electron. Mark. Int. J. Electron. Commer. Bus. Media 13(2) (2003)","DOI":"10.1080\/1019678032000067190"},{"key":"7030_CR6","unstructured":"Zeng, L.: Dynamic Web service composition. PhD thesis, School of Computer Science and Engineering, University of New South Wales, August (2003)"},{"key":"7030_CR7","doi-asserted-by":"crossref","unstructured":"Zeng, L. et al.: Quality driven Web services composition. In: Proceedings of the 12th International Conference on World Wide Web (WWW), Budapest, Hungary. ACM Press (2003)","DOI":"10.1145\/775152.775211"},{"issue":"5","key":"7030_CR8","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-aware middleware for Web services composition. IEEE Trans. Softw. Eng. 30(5), 311\u2013327 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"7030_CR9","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/MIC.2004.58","volume":"8","author":"M. Milanovic","year":"2004","unstructured":"Milanovic, M., Malek, M.: Current solutions for Web service composition. IEEE Internet Comput. 8(6), 51\u201359 (2004)","journal-title":"IEEE Internet Comput."},{"key":"7030_CR10","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Dumas, M., Sheng, Q.Z.: The SELF-SERV environment for Web services composition. IEEE Internet Comput. Jan\/Feb issue (2003)","DOI":"10.1109\/MIC.2003.1167338"},{"key":"7030_CR11","unstructured":"IBM Integrated Ontology Development Toolkit, July (2004). http:\/\/www.alphaworks.ibm.com\/tech\/semanticstk"},{"key":"7030_CR12","unstructured":"OWL-based Web Service Ontology (OWL-S 1.1), November (2004). http:\/\/www.daml.org\/services\/owl-s\/1.1\/"},{"key":"7030_CR13","unstructured":"Histogram (2007). http:\/\/en.wikipedia.org\/wiki\/Histogram"},{"key":"7030_CR14","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading. ISBN 032128626"},{"key":"7030_CR15","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy constraint analyzer. In: Proceeding of the International Conference on Software Engineering, ICSE00. Limerick, Ireland, June (2000)","DOI":"10.1145\/337180.337616"},{"key":"7030_CR16","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for many pattern\/many object pattern-match problem. Artif. Intell. 19, 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"7030_CR17","unstructured":"IBM WSTK Toolkit http:\/\/alphaworks.ibm.com\/tech\/webservicestoolkit"},{"key":"7030_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-540-74974-5_11","volume-title":"ICSOC","author":"L. Zeng","year":"2007","unstructured":"Zeng, L., Lei, H., Chang, H.: Monitoring the QoS for Web services. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC. Lecture Notes in Computer Science, vol. 4749, pp. 132\u2013144. Springer, Berlin (2007)"},{"key":"7030_CR19","unstructured":"IBM Optimization Solutions and Library (2002). http:\/\/www-3.ibm.com\/software\/data\/bi\/osl\/index.html"},{"key":"7030_CR20","unstructured":"Casati, F., Shan, M.-C., Georgakopoulos, D. (eds.): VLDB Journal. Special Issue on E-Services. Springer, Berlin (2001)"},{"key":"7030_CR21","volume-title":"ACM SIGMOD Record 31(1), Special Section on Data Management Issues in E-Commerce","year":"2002","unstructured":"Dogac, A. (ed.): ACM SIGMOD Record 31(1), Special Section on Data Management Issues in E-Commerce. ACM, New York (2002)"},{"key":"7030_CR22","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIIraith, S.: Simulation, verification and automated composition of Web services. In: Proceedings of the 11th International World Wide Web Conference. Honolulu, USA (2002)","DOI":"10.1145\/511455.511457"},{"key":"7030_CR23","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Proceedings of the 1st International Conference on Service Oriented Computing (ICSOC 2003). LNCS, vol. 2910. Trento, Italy, December. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"7030_CR24","unstructured":"Koehler, J., Srivastava, B.: Web service composition: current solutions and open problems. In: ICAPS \u201903 Workshop on Planning for Web Services. June (2003)"},{"key":"7030_CR25","unstructured":"Business Process Execution Language for Web Services, Version 1.0 (2004). http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"7030_CR26","unstructured":"Erol, K., Hendler, J., Nau, D.: UMCP: A sound and complete procedure for hierarchical task-network planning. In: Proc. Artificial Intelligence Planning Systems, pp. 249\u2013254 (1994)"},{"key":"7030_CR27","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Traverso, P.: Planning as model checking. In: ECP, pp. 1\u201320 (1999)","DOI":"10.1007\/10720246_1"},{"key":"7030_CR28","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated composition of Web services by planning in asynchronous domains. In: ICAPS \u201905 (2005)"},{"key":"7030_CR29","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"7030_CR30","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of an asynchronous reactive module. In: ICALP, pp. 652\u2013671 (1989)","DOI":"10.1007\/BFb0035790"},{"key":"7030_CR31","unstructured":"Beradi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic Web services with messaging. In: Proceedings of 31st International Conference on Very Large Data Bases. Trondheim, Norway (2005)"},{"issue":"4","key":"7030_CR32","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MIS.2004.24","volume":"19","author":"J. Blythe","year":"2004","unstructured":"Blythe, J., Deelman, E., Gil, Y.: Automatically composed workflows for grid environments. IEEE Intell. Syst. 19(4), 16\u201323 (2004)","journal-title":"IEEE Intell. Syst."},{"key":"7030_CR33","doi-asserted-by":"crossref","unstructured":"Elmagarmid, A., Medjahed, B., Bouguettaya, A.: Composing Web services on the semantic Web. VLDB J. 12(4) (2003)","DOI":"10.1007\/s00778-003-0101-5"},{"key":"7030_CR34","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D., Reuter, A.: Production Workflow: Concepts and Techniques. Prentice Hall, New York (1999)"},{"key":"7030_CR35","doi-asserted-by":"crossref","unstructured":"Hull, R., Kumar, B., Zhou, G., Llirbat, F., Dong, G., Su, J.: Optimization techniques for data-intensive decision flows. In: Proceeding of 16th International Conference on Data Engineering (2000)","DOI":"10.1109\/ICDE.2000.839420"},{"key":"7030_CR36","unstructured":"Debenham, J.: Experiments with two workflow architectures. In: Proceedings of the Fifth International Conference on the Software Process, ICSP5. ISPA Press (1998)"},{"key":"7030_CR37","doi-asserted-by":"crossref","unstructured":"Meng, J., Su, S.Y.W., Lam, H., Helal, A.: Achieving dynamic inter-organizational workflow management by integrating business processes, events, and rules. In: Proceedings of the Thirty-Fifth Hawaii International Conference on System Sciences (HICSS-35) (2002)","DOI":"10.1109\/HICSS.2002.993858"},{"key":"7030_CR38","unstructured":"Domingue, J., Roman, D., Stollberg, M.: Web service modeling ontology (WSMO)\u2014an ontology for semantic Web services (2005). http:\/\/www.w3c.org\/2005\/FSWS\/submission\/1\/wsmo_position_paper.htm"},{"key":"7030_CR39","unstructured":"Verma, K., Gomadam, K., Sheth, A., Miller, J., Wu, Z.: The METEOR-S approach for configuring and executing dynamic Web processes. Technical Report TR6-24-05, The University of Georgia, Computer Science Department (2005)"},{"key":"7030_CR40","doi-asserted-by":"crossref","unstructured":"Wang, X., Vitvar, T., Kerrigan, M., Toma, I.: A QoS-aware selection model for semantic Web services. In: 4th Int. Conf. on Service Oriented Computing (2006)","DOI":"10.1007\/11948148_32"},{"key":"7030_CR41","doi-asserted-by":"crossref","unstructured":"Liu, Y., Ngu, A.H., Zeng, L.: QoS computation and policing in dynamic Web service selection. In: Proceedings of the Alternate Tracks in the 13th International Conference on World Wide Web (WWW). ACM Press, New York (2004)","DOI":"10.1145\/1013367.1013379"},{"issue":"3","key":"7030_CR42","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J. Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and Web service processes. J. Web Semantics 1(3), 281\u2013308 (2004)","journal-title":"J. Web Semantics"},{"key":"7030_CR43","doi-asserted-by":"crossref","unstructured":"Ludwig, H.K., Dan, A., Kearney, R.: Cremona: an architecture and library for creation and monitoring of ws-agreements. In: Second International Conference on Service-Oriented Computing-ICSOC. November 2004. New York (2004)","DOI":"10.1145\/1035167.1035178"},{"key":"7030_CR44","unstructured":"Web Service Policy Framework (WS-Policy) (2006). http:\/\/specs.xmlsoap.org\/ws\/2004\/09\/policy\/ws-policy.pdf"},{"key":"7030_CR45","unstructured":"Srivastava, U., Munagala, K., Widom, J., Motwani, R.: Query optimization over Web services. In: Proceedings of the Very Large DataBase Conference (VLDB2006). Seoul (2006)"}],"container-title":["Distributed and Parallel Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-008-7030-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10619-008-7030-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-008-7030-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T10:52:31Z","timestamp":1684579951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10619-008-7030-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,11]]},"references-count":45,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["7030"],"URL":"https:\/\/doi.org\/10.1007\/s10619-008-7030-7","relation":{},"ISSN":["0926-8782","1573-7578"],"issn-type":[{"value":"0926-8782","type":"print"},{"value":"1573-7578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,11]]}}}