{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:27:51Z","timestamp":1687134471726},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T00:00:00Z","timestamp":1258416000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s11761-009-0052-9","type":"journal-article","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T09:42:35Z","timestamp":1258364555000},"page":"285-306","source":"Crossref","is-referenced-by-count":9,"title":["A hierarchical framework for logical composition of web services"],"prefix":"10.1007","volume":"3","author":[{"given":"Haibo","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Prashant","family":"Doshi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,11,17]]},"reference":[{"key":"52_CR1","volume-title":"Service-oriented computing: semantics, processes and agents","author":"M Singh","year":"2005","unstructured":"Singh M, Huynhs M (2005) Service-oriented computing: semantics, processes and agents. Wiley, New York"},{"key":"52_CR2","unstructured":"Gudgin M, Hadley M, Mendelsohn N, Moreau JJ, Nielsen HF, Karmarkar A, Lafon Y (2007) Simple object access protocol (soap), version 1.2. http:\/\/www.w3.org\/tr\/soap12-part1"},{"key":"52_CR3","unstructured":"Chinnici R, Moreau JJ, Ryman A, Weerawarana S (2007) Web services description language (wsdl), version 2.0. http:\/\/www.w3.org\/tr\/2007\/rec-wsdl20-20070626"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Wu D, Parsia B, Sirin E, Hendler JA, Nau DS (2003) Automating DAML-S web services composition using SHOP2. In: International aemantic web conference (ISWC), pp\u00a0195\u2013210","DOI":"10.1007\/978-3-540-39718-2_13"},{"key":"52_CR5","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.websem.2005.07.001","volume":"3","author":"U Kuter","year":"2005","unstructured":"Kuter U, Sirin E, Nau D, Parsia B, Hendler J (2005) Information gathering during planning for web serivce composition. J Web Semant 3: 183\u2013205","journal-title":"J Web Semant"},{"key":"52_CR6","unstructured":"Rao J, Su X (2004) A survey of automated web service composition methods. In: Workshop on semantic web services and web process composition (SWSWPS), pp\u00a043\u201354"},{"key":"52_CR7","unstructured":"McIlraith S, Son TC (2002) Adapting Golog for composition of semantic web services. In: International conference on principles and knowledge representation and reasoning (KR-02), Toulouse, France, pp 482\u2013496"},{"issue":"4","key":"52_CR8","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00778-003-0101-5","volume":"12","author":"B Medjahed","year":"2003","unstructured":"Medjahed B, Bouguettaya A, Elmagarmid AK (2003) Composing web services on the semantic web. VLDB J 12(4): 333\u2013351","journal-title":"VLDB J"},{"key":"52_CR9","doi-asserted-by":"crossref","unstructured":"Traverso P, Pistore M (2004) Automated composition of semantic web services into executable processes. In: International semantic web conference (ISWC), pp\u00a0380\u2013394","DOI":"10.1007\/978-3-540-30475-3_27"},{"key":"52_CR10","unstructured":"Pistore M, Marconi A, Bertoli P, Traverso P (2005) Automated composition of web services by planning at the knowledge level. In: International joint conferences on artificial intelligence (IJCAI), pp\u00a01252\u20131259"},{"key":"52_CR11","first-page":"1","volume":"4","author":"SC Oh","year":"2007","unstructured":"Oh SC, Lee D, Kumara SRT (2007) Web service planner (wspr): an effective and scalable web service composition algorithm. Int J Web Serv Res (JWSR) 4: 1\u201322","journal-title":"Int J Web Serv Res (JWSR)"},{"issue":"2","key":"52_CR12","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s11761-007-0010-3","volume":"1","author":"L Qiu","year":"2007","unstructured":"Qiu L, Chang L, Lin F, Shi Z (2007) Context optimization of ai planning for semantic web services composition. J Serv Oriented Comput Appl 1(2): 117\u2013128","journal-title":"J Serv Oriented Comput Appl"},{"key":"52_CR13","unstructured":"Bylander T (1991) Complexity results for planning. In: International joint conference of artificial intelligence (IJCAI), pp\u00a0274\u2013279"},{"issue":"2","key":"52_CR14","first-page":"37","volume":"20","author":"J Blythe","year":"1999","unstructured":"Blythe J (1999) Decision-theoretic planning. AI Mag 20(2): 37\u201354","journal-title":"AI Mag"},{"key":"52_CR15","volume-title":"Dynamic programming","author":"RE Bellman","year":"1957","unstructured":"Bellman RE (1957) Dynamic programming. Dover, New York"},{"issue":"1","key":"52_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2005010101","volume":"2","author":"P Doshi","year":"2005","unstructured":"Doshi P, Goodwin R, Akkiraju R, Verma K (2005) Dynamic workflow composition: using markov decision processes. J Web Serv Res (JWSR) 2(1): 1\u201317","journal-title":"J Web Serv Res (JWSR)"},{"key":"52_CR17","doi-asserted-by":"crossref","unstructured":"Zhao H, Doshi P (2006) A hierarchical framework for composing nested web processes. In: International conference on service oriented computing (ICSOC), pp\u00a0116\u2013128","DOI":"10.1007\/11948148_10"},{"key":"52_CR18","doi-asserted-by":"crossref","unstructured":"Martin DL, Burstein MH, McDermott DV, McIlraith SA, Paolucci M, Sycara KP, McGuinness DL, Sirin E, Srinivasan N (2007) Bringing semantics to web services with OWL-S. In: International world wide web conference (WWW), pp\u00a0243\u2013277","DOI":"10.1007\/s11280-007-0033-x"},{"key":"52_CR19","unstructured":"Farrell J, Lausen H (2006) SAWSDL: semantic annotations for wsdl. http:\/\/www.w3.org\/tr\/sawsdl\/"},{"key":"52_CR20","volume-title":"Workflow management: models, methods and systems","author":"WV der Aalst","year":"2004","unstructured":"der Aalst WV, Hee KV (2004) Workflow management: models, methods and systems. MIT Press, Cambridge"},{"key":"52_CR21","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes: discrete stochastic dynamic programming","author":"M Puterman","year":"1994","unstructured":"Puterman M (1994) Markov decision processes: discrete stochastic dynamic programming. Wiley-Interscience, London"},{"key":"52_CR22","unstructured":"Boutilier C, Reiter R, Price B (2001) Symbolic dynamic programming for first-order MDPs. In: International joint conferences on artificial intelligence (IJCAI), pp\u00a0690\u2013700"},{"key":"52_CR23","unstructured":"Holldobler S, Skvortsova O (2004) A logic-based approach to dynamic programming. In: Learning and planning in Markov processes-advances and challenges-AAAI 04 workshop, pp\u00a031\u201336"},{"key":"52_CR24","doi-asserted-by":"crossref","unstructured":"Kersting K, Otterlo MV, Raedt LD (2004) Bellman goes relational. In: Twenty-first international conference on machine learning (ICML), pp\u00a0465\u2013472","DOI":"10.1145\/1015330.1015401"},{"key":"52_CR25","unstructured":"Hirtle D, Boley H, Grosof B, Kifer M, Sintek M, Tabet S, Wagner G (2006) Schema specification of RuleML. http:\/\/www.ruleml.org\/0.91\/"},{"key":"52_CR26","doi-asserted-by":"crossref","unstructured":"McCarthy J (1963) Situations, actions and causal laws. Technical report, AI Laboratory, Stanford University","DOI":"10.21236\/AD0785031"},{"key":"52_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamic systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamic systems. MIT Press, Cambridge"},{"key":"52_CR28","unstructured":"Sanner S, Boutilier C (2005) Approximate linear programming for first-order MDPs. In: Twenty-first conference in uncertainty in artificial intelligence, pp\u00a0509\u2013517"},{"key":"52_CR29","unstructured":"Ludwig H, Keller A, Dan A, King R, Franck R (2003) Web service level agreement (wsla) language specification. http:\/\/www.research.ibm.com\/wsla"},{"key":"52_CR30","unstructured":"Martin D, Burstein M, Hobbs J, Lassila O, McDermott D, McIlraith S, Narayanan S, Paolucci M, Parsia B, Payne T, Sirin E, Srinivasan N, Sycara K (2006) OWL-S: semantic markup for web services. http:\/\/www.daml.org\/services\/owl-s\/1.1"},{"key":"52_CR31","unstructured":"Andrieux A, Czajkowski K, Dan A, Keahey K, Ludwig H, Nakata T, Pruyne J, Rofrano J, Tuecke S, Xu M (2007) Web services agreement specification (ws-agreement). http:\/\/forge.gridforum.org\/sf\/projects\/graap-wg"},{"key":"52_CR32","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004) Swrl: a semantic web rule language combining owl and ruleml. http:\/\/www.w3.org\/submission\/swrl"},{"key":"52_CR33","unstructured":"Boutilier C, Reiter R, Soutchanski M, Thrun S (2000) Decision-theoretic, high-level agent programming in the situation calculus. In: Seventeenth conference on artificial intelligence, pp\u00a0355\u2013362"},{"issue":"1\u20132","key":"52_CR34","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A Cimatti","year":"2003","unstructured":"Cimatti A, Pistore M, Roveri M, Traverso P (2003) Weak, strong, and strong cyclic planning via symbolic model checking. Artif Intell 147(1\u20132): 35\u201384","journal-title":"Artif Intell"},{"key":"52_CR35","unstructured":"Morell J, Swiecki B (2001) E-readiness of the automotive supply chain: just how wired is the supplier sector. Technical report, Center for Automotive Research, Center for Electronic Commerce, ERIM"},{"key":"52_CR36","first-page":"230","volume":"42","author":"A Turing","year":"1936","unstructured":"Turing A (1936) On computable numbers, with an application to the entscheidungs problem. Proc Lond Math Soc 42: 230\u2013265","journal-title":"Proc Lond Math Soc"},{"key":"52_CR37","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"DS Nau","year":"2003","unstructured":"Nau DS, Au TC, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F (2003) SHOP2: an HTN planning system. J Artif Intell Res (JAIR) 20: 379\u2013404","journal-title":"J Artif Intell Res (JAIR)"},{"issue":"4","key":"52_CR38","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E Sirin","year":"2004","unstructured":"Sirin E, Parsia B, Wu D, Hendler JA, Nau DS (2004) HTN planning for web service composition using SHOP2. J Web Semant 1(4): 377\u2013396","journal-title":"J Web Semant"},{"key":"52_CR39","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/5254.920599","volume":"16","author":"SA McIlraith","year":"2001","unstructured":"McIlraith SA, Son TC, Zeng H (2001) Semantic web services. IEEE Intell Syst 16: 45\u201353","journal-title":"IEEE Intell Syst"},{"issue":"1","key":"52_CR40","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B Benatallah","year":"2003","unstructured":"Benatallah B, Sheng QZ, Dumas M (2003) The Self-Serv environment for web services composition. IEEE Internet Comput 7(1): 40\u201348","journal-title":"IEEE Internet Comput"},{"key":"52_CR41","doi-asserted-by":"crossref","unstructured":"Aggarwal R, Verma K, Miller JA, Milnor W (2004) Constraint driven web service composition in METEOR-S. In: IEEE international conference on services computing (SCC), pp\u00a023\u201330","DOI":"10.1109\/SCC.2004.1357986"},{"key":"52_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, Miller J, Sheth A, Arnold J (2004) Quality of service for workflows and web service processes. J Web Semant 1: 281\u2013308","journal-title":"J Web Semant"},{"key":"52_CR43","doi-asserted-by":"crossref","unstructured":"Zeng L, Benatallah B, Dumas M, Kalagnanam J, Sheng QZ (2003) Quality driven web services composition. In: International world wide web conference (WWW), pp\u00a0411\u2013421","DOI":"10.1145\/775152.775211"},{"key":"52_CR44","unstructured":"Canfora G, Esposito R (2004) A lightweight approach for QoS-aware service composition. In: Second international conference on service oriented computing (ICSOC), pp\u00a036\u201347"},{"key":"52_CR45","doi-asserted-by":"crossref","unstructured":"Wiesemann W, Hochreiter R, Kuhn D (2008) A stochastic programming approach for QoS-aware service composition. In: IEEE international symposium on cluster computing and the grid (CCGrid), pp\u00a0226\u2013233","DOI":"10.1109\/CCGRID.2008.40"},{"issue":"4","key":"52_CR46","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.websem.2005.09.002","volume":"3","author":"V Agarwal","year":"2005","unstructured":"Agarwal V, Chafle G, Dasgupta K, Karnik NM, Kumar A, Mittal S, Srivastava B (2005) Synthy: a system for end to end composition of web services. J Web Semant 3(4): 311\u2013339","journal-title":"J Web Semant"},{"key":"52_CR47","doi-asserted-by":"crossref","unstructured":"Chafle G, Das G, Dasgupta K, Kumar A, Mittal S, Mukherjea S, Srivastava B (2007) An integrated development environment for web service composition. In: IEEE international conference on web services (ICWS), pp\u00a0839\u2013847","DOI":"10.1109\/ICWS.2007.38"},{"issue":"4","key":"52_CR48","doi-asserted-by":"crossref","first-page":"104","DOI":"10.4018\/jwsr.2007100105","volume":"4","author":"M Nagarajan","year":"2007","unstructured":"Nagarajan M, Verma K, Sheth AP, Miller JA (2007) Ontology driven data mediation in web services. Int J Web Serv Res (JWSR) 4(4): 104\u2013126","journal-title":"Int J Web Serv Res (JWSR)"},{"key":"52_CR49","unstructured":"Rohanimanesh K, Mahadevan S (2001) Decision-theoretic planning with concurrent temporally extended actions. In: Uncertainty in artificial intelligence (UAI), pp\u00a0472\u2013479"},{"key":"52_CR50","doi-asserted-by":"crossref","unstructured":"Kiepuszewski B, ter Hofstede AHM, Bussler C (2000) On structured workflow modelling. In: Conference on advanced information systems engineering (CAiSE), pp\u00a0431\u2013445","DOI":"10.1007\/3-540-45140-4_29"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-009-0052-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-009-0052-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-009-0052-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:46:04Z","timestamp":1559411164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-009-0052-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,17]]},"references-count":50,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["52"],"URL":"https:\/\/doi.org\/10.1007\/s11761-009-0052-9","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,17]]}}}