{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T16:55:31Z","timestamp":1726419331870},"reference-count":47,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1016\/j.future.2018.06.037","type":"journal-article","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T17:20:59Z","timestamp":1530984059000},"page":"387-401","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":12,"special_numbering":"C","title":["Constraint verification failure recovery in web service composition"],"prefix":"10.1016","volume":"89","author":[{"given":"Touraj","family":"Laleh","sequence":"first","affiliation":[]},{"given":"Joey","family":"Paquet","sequence":"additional","affiliation":[]},{"given":"Serguei","family":"Mokhov","sequence":"additional","affiliation":[]},{"given":"Yuhong","family":"Yan","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.future.2018.06.037_b1","series-title":"Semantic Web Services and Web Process Composition","first-page":"43","article-title":"A survey of automated web service composition methods","volume":"vol. 3387","author":"Rao","year":"2005"},{"key":"10.1016\/j.future.2018.06.037_b2","unstructured":"S.R. Ponnekanti, A. Fox, Sword: A developer toolkit for web service composition, in: Proc. of the Eleventh International World Wide Web Conference, vol. 45, Honolulu, HI, 2002."},{"key":"10.1016\/j.future.2018.06.037_b3","series-title":"The Semantic Web-ISWC 2006","first-page":"385","article-title":"A formal model for semantic web service composition","author":"L\u00e9cu\u00e9","year":"2006"},{"key":"10.1016\/j.future.2018.06.037_b4","series-title":"Service-Oriented Computing-ICSOC 2003","first-page":"43","article-title":"Automatic composition of e-services that export their behavior","author":"Berardi","year":"2003"},{"issue":"1","key":"10.1016\/j.future.2018.06.037_b5","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/TSC.2008.1","article-title":"Effective web service composition in diverse and large-scale service networks","volume":"1","author":"Oh","year":"2008","journal-title":"IEEE Trans. Serv. Comput."},{"key":"10.1016\/j.future.2018.06.037_b6","series-title":"Proceedings of the IEEE International Conference on Web Services, ICWS\u201908","first-page":"691","article-title":"An efficient syntactic web service composition algorithm based on the planning graph model","author":"Zheng","year":"2008"},{"key":"10.1016\/j.future.2018.06.037_b7","doi-asserted-by":"crossref","unstructured":"S.V. Hashemian, F. Mavaddat, A graph-based approach to web services composition, in: The 2005 Symposium on Applications and the Internet, 2005, pp. 183\u2013189. http:\/\/dx.doi.org\/10.1109\/SAINT.2005.4.","DOI":"10.1109\/SAINT.2005.4"},{"key":"10.1016\/j.future.2018.06.037_b8","doi-asserted-by":"crossref","unstructured":"T. Laleh, J. Paquet, S. Mokhov, Y. Yan, Predictive failure recovery in constraint-aware web service composition, in: Proceedings of the 7th International Conference on Cloud Computing and Services Science, 2017, pp. 241\u2013252. http:\/\/dx.doi.org\/10.5220\/0006313802410252.","DOI":"10.5220\/0006313802410252"},{"key":"10.1016\/j.future.2018.06.037_b9","series-title":"OTM Confederated International Conferences \u201cOn the Move to Meaningful Internet Systems\u201d","first-page":"445","article-title":"Efficient constraint verification in service composition design and execution (short paper)","author":"Laleh","year":"2016"},{"issue":"6","key":"10.1016\/j.future.2018.06.037_b10","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1109\/TSMC.2013.2280559","article-title":"Constraint-aware approach to web service composition","volume":"44","author":"Wang","year":"2014","journal-title":"IEEE Trans. Syst., Man, Cybern.: Syst."},{"issue":"4","key":"10.1016\/j.future.2018.06.037_b11","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/TSC.2015.2412943","article-title":"Automatic web service composition based on uncertainty execution effects","volume":"9","author":"Wang","year":"2016","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"4","key":"10.1016\/j.future.2018.06.037_b12","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1504\/IJWGS.2011.044709","article-title":"A survey of transactional issues for web service composition and recovery","volume":"7","author":"Gao","year":"2011","journal-title":"Int. J. Web Grid Serv."},{"key":"10.1016\/j.future.2018.06.037_b13","series-title":"Advanced Web Services","first-page":"3","article-title":"Design and management of web service transactions with forward recovery","author":"Dolog","year":"2014"},{"key":"10.1016\/j.future.2018.06.037_b14","series-title":"Web Services (ICWS), 2016 IEEE International Conference on","first-page":"690","article-title":"Optimized composite service transactions through execution results prediction","author":"Xu","year":"2016"},{"issue":"1","key":"10.1016\/j.future.2018.06.037_b15","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/TSC.2010.5","article-title":"TQoS: Transactional and QoS-aware selection algorithm for automatic web service composition","volume":"3","author":"El Hadad","year":"2010","journal-title":"IEEE Trans. Serv. Comput."},{"key":"10.1016\/j.future.2018.06.037_b16","unstructured":"M. Fox, A. Gerevini, D. Long, I. Serina, Plan stability: Replanning versus plan repair, in: ICAPS, vol. 6, 2006, pp. 212\u2013221."},{"issue":"3","key":"10.1016\/j.future.2018.06.037_b17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2007070101","article-title":"Behaviour-aware discovery of web service compositions","volume":"4","author":"Brogi","year":"2007","journal-title":"Int. J. Web Serv. Res."},{"issue":"4","key":"10.1016\/j.future.2018.06.037_b18","doi-asserted-by":"crossref","first-page":"48","DOI":"10.4018\/jwsr.2005100103","article-title":"AND\/OR graph and search algorithm for discovering composite web services","volume":"2","author":"Liang","year":"2005","journal-title":"Int. J. Web Serv. Res."},{"issue":"99","key":"10.1016\/j.future.2018.06.037_b19","article-title":"Full solution indexing for top-K web service composition","volume":"PP","author":"Li","year":"2016","journal-title":"IEEE Trans. Serv. Comput."},{"key":"10.1016\/j.future.2018.06.037_b20","first-page":"482","article-title":"Adapting Golog for composition of semantic web services","volume":"2","author":"McIlraith","year":"2002","journal-title":"Knowl. Represent."},{"issue":"1","key":"10.1016\/j.future.2018.06.037_b21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2007010101","article-title":"Web Service Planner, WSPR: An effective and scalable web service composition algorithm","volume":"4","author":"Oh","year":"2007","journal-title":"Int. J. Web Serv. Res."},{"key":"10.1016\/j.future.2018.06.037_b22","unstructured":"R. Aggarwal, K. Verma, J. Miller, W. Milnor, Constraint driven web service composition in METEOR-S, in: Services Computing, 2004 (SCC 2004) Proceedings 2004 IEEE International Conference on, 2004, pp. 23\u201330. http.\/\/dx.doi.org\/10.1109\/SCC.2004.1357986."},{"key":"10.1016\/j.future.2018.06.037_b23","series-title":"Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on","first-page":"658","article-title":"Constraint satisfaction in dynamic web service composition","author":"Channa","year":"2005"},{"key":"10.1016\/j.future.2018.06.037_b24","series-title":"Web Services Foundations","first-page":"321","article-title":"Service selection in web service composition: A comparative review of existing approaches","author":"Moghaddam","year":"2014"},{"key":"10.1016\/j.future.2018.06.037_b25","series-title":"The Semantic Web-ISWC 2006","first-page":"130","article-title":"A constraint-based approach to horizontal web service composition","author":"Hassine","year":"2006"},{"key":"10.1016\/j.future.2018.06.037_b26","series-title":"Formal Methods for Web Services","first-page":"89","article-title":"Synthesis and composition of web services","volume":"vol. 5569","author":"Marconi","year":"2009"},{"key":"10.1016\/j.future.2018.06.037_b27","series-title":"Service-Oriented Computing","first-page":"152","article-title":"Repair vs. Recomposition for broken service compositions","author":"Yan","year":"2010"},{"key":"10.1016\/j.future.2018.06.037_b28","doi-asserted-by":"crossref","unstructured":"T. Laleh, A. Khodadadi, S.A. Mokhov, J. Paquet, Y. Yan, Toward policy-based dynamic context-aware adaptation architecture for web service composition, in: Proceedings of C3S2E\u201914, 2014, pp. 158\u2013163. Short paper. http:\/\/dx.doi.org\/10.1145\/2641483.2641528.","DOI":"10.1145\/2641483.2641528"},{"issue":"02","key":"10.1016\/j.future.2018.06.037_b29","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1142\/S0218843008001816","article-title":"Service-oriented computing: A research roadmap","volume":"17","author":"Papazoglou","year":"2008","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"10.1016\/j.future.2018.06.037_b30","article-title":"Adaptive composition in dynamic service environments","author":"Barakat","year":"2016","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2018.06.037_b31","series-title":"2006 IEEE International Conference on Web Services, ICWS\u201906","first-page":"145","article-title":"Behavioral matchmaking for service retrieval","author":"Grigori","year":"2006"},{"key":"10.1016\/j.future.2018.06.037_b32","series-title":"Service-Oriented Computing","first-page":"159","article-title":"An automatic approach to enable replacement of conversational services","author":"Cavallaro","year":"2009"},{"key":"10.1016\/j.future.2018.06.037_b33","unstructured":"H. Meyer, D. Kuropka, P. Tr\u00f6ger, ASG-techniques of adaptivity, in: Autonomous and Adaptive Web Services, 2007."},{"key":"10.1016\/j.future.2018.06.037_b34","series-title":"Proceedings of SERA 2010 (Selected Papers)","first-page":"17","article-title":"Repairing service compositions in a changing world","volume":"vol. 296","author":"Yan","year":"2010"},{"year":"2008","series-title":"Web Services: Principles and Technology","author":"Papazoglou","key":"10.1016\/j.future.2018.06.037_b35"},{"key":"10.1016\/j.future.2018.06.037_b36","series-title":"Drawing Graphs","first-page":"87","article-title":"Layered drawings of digraphs","author":"Bastert","year":"2001"},{"year":"2013","series-title":"Multi-Criteria Decision Making Methods: A Comparative Study, vol. 44","author":"Triantaphyllou","key":"10.1016\/j.future.2018.06.037_b37"},{"issue":"99","key":"10.1016\/j.future.2018.06.037_b38","first-page":"1","article-title":"QoS-aware multigranularity service composition: Modeling and optimization","volume":"PP","author":"Wu","year":"2016","journal-title":"IEEE Trans. Syst., Man, Cybern.: Syst."},{"key":"10.1016\/j.future.2018.06.037_b39","series-title":"Proceedings of the 14th Australasian Database Conference, vol. 17","first-page":"191","article-title":"A Petri net-based model for web service composition","author":"Hamadi","year":"2003"},{"issue":"5","key":"10.1016\/j.future.2018.06.037_b40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1124566.1124568","article-title":"A comparative illustration of AI planning-based web services composition","volume":"5","author":"Oh","year":"2006","journal-title":"ACM SIGecom Exch."},{"key":"10.1016\/j.future.2018.06.037_b41","series-title":"e-Technology, e-Commerce and e-Service, 2005 EEE\u201905 Proceedings The 2005 IEEE International Conference on","first-page":"784","article-title":"BF*: Web services discovery and composition as graph search problem","author":"Oh","year":"2005"},{"issue":"04","key":"10.1016\/j.future.2018.06.037_b42","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1142\/S0218843005001201","article-title":"Automatic service composition based on behavioral descriptions","volume":"14","author":"Berardi","year":"2005","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"10.1016\/j.future.2018.06.037_b43","unstructured":"WS-Challenge, TestsetGenerator2009-1.3, [online], https:\/\/code.google.com\/p\/wsc-pku-tcs\/downloads\/list, (2009)."},{"key":"10.1016\/j.future.2018.06.037_b44","unstructured":"WS-Challenge, GIPSY R&D Group, WSC-Gen, [online], 2017\u20132018 https:\/\/github.com\/GIPSY-dev\/WSC-Gen."},{"key":"10.1016\/j.future.2018.06.037_b45","unstructured":"GIPSY R&D Group, GIPSY R&D Group\u2019s Simulation Datasets, [online], https:\/\/github.com\/GIPSY-dev\/datasets, (2018)."},{"issue":"2","key":"10.1016\/j.future.2018.06.037_b46","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1109\/TASE.2013.2253552","article-title":"Timed compatibility analysis of web service composition: A modular approach based on petri nets","volume":"11","author":"Du","year":"2014","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"2","key":"10.1016\/j.future.2018.06.037_b47","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/JAS.2017.7510523","article-title":"A parametric genetic algorithm approach to assess complementary options of large scale windsolar coupling","volume":"4","author":"Mareda","year":"2017","journal-title":"IEEE\/CAA J. Autom. Sin."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X17320629?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X17320629?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T12:38:16Z","timestamp":1633178296000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X17320629"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":47,"alternative-id":["S0167739X17320629"],"URL":"https:\/\/doi.org\/10.1016\/j.future.2018.06.037","relation":{},"ISSN":["0167-739X"],"issn-type":[{"type":"print","value":"0167-739X"}],"subject":[],"published":{"date-parts":[[2018,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Constraint verification failure recovery in web service composition","name":"articletitle","label":"Article Title"},{"value":"Future Generation Computer Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.future.2018.06.037","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2018 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}