{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:20:59Z","timestamp":1759134059368},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T00:00:00Z","timestamp":1380844800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10796-013-9464-3","type":"journal-article","created":{"date-parts":[[2013,10,3]],"date-time":"2013-10-03T02:34:59Z","timestamp":1380767699000},"page":"673-689","source":"Crossref","is-referenced-by-count":6,"title":["Failure recovery in distributed model composition with intelligent assistance"],"prefix":"10.1007","volume":"17","author":[{"given":"Hui","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xueguang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,4]]},"reference":[{"key":"9464_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, V., Chafle, G., Mittal, S., & Srivastava, B. (2008). Understanding approaches for web service composition and execution. Proceedings of the 1st Bangalore Annual Compute Conference.","DOI":"10.1145\/1341771.1341773"},{"issue":"7","key":"9464_CR2","doi-asserted-by":"crossref","first-page":"10595","DOI":"10.1016\/j.eswa.2009.02.056","volume":"36","author":"BB Anderson","year":"2009","unstructured":"Anderson, B. B., Hansen, J. V., & Lowry, P. B. (2009). Creating automated plans for semantic web applications through planning as model checking. Expert Systems with Applications, 36(7), 10595\u201310603. doi: 10.1016\/j.eswa.2009.02.056 .","journal-title":"Expert Systems with Applications"},{"key":"9464_CR3","unstructured":"Baresi, L., Ghezzi, C., & Guinea, S. (2004). Towards self-healing service compositions. Paper presented at the PriSE\u201904, First Conference on the Principles of Software Engineering."},{"key":"9464_CR4","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., & Traverso, P. MBP: a model based planner. In IJCAI-2001 Workshop on Planning under Uncertainty and Incomplete Information, 2001 (pp. 93\u201397)."},{"issue":"3\u20134","key":"9464_CR5","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P Bertoli","year":"2010","unstructured":"Bertoli, P., Pistore, M., & Traverso, P. (2010). Automated composition of web services via planning in asynchronous domains. Artificial Intelligence, 174(3\u20134), 316\u2013361. doi: 10.1016\/j.artint.2009.12.002 .","journal-title":"Artificial Intelligence"},{"issue":"8","key":"9464_CR6","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677\u2013691. doi: 10.1109\/tc.1986.1676819 .","journal-title":"IEEE Transactions on Computers"},{"key":"9464_CR7","doi-asserted-by":"crossref","unstructured":"Chan, K. S., Bishop, J., Steyn, J., Baresi, L., & Guinea, S. (2009). A fault taxonomy for web service composition. In N. Elisabetta, & R. Matei (Eds.), Service-oriented computing - ICSOC 2007 Workshops (pp. 363\u2013375): Springer-Verlag.","DOI":"10.1007\/978-3-540-93851-4_36"},{"issue":"3","key":"9464_CR8","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0167-9236(02)00116-1","volume":"35","author":"K Chari","year":"2003","unstructured":"Chari, K. (2003). Model composition in a distributed environment. Decision Support Systems, 35(3), 399\u2013413. doi: 10.1016\/s0167-9236(02)00116-1 .","journal-title":"Decision Support Systems"},{"key":"9464_CR9","doi-asserted-by":"crossref","unstructured":"Christos, K., Costas, V., & Panayiotis, G. Enhancing BPEL scenarios with dynamic relevance-based exception handling. In Web services, 2007. ICWS 2007. IEEE International Conference on, 9\u201313 July 2007 2007 (pp. 751\u2013758). doi: 10.1109\/icws.2007.86 .","DOI":"10.1109\/ICWS.2007.86"},{"key":"9464_CR10","doi-asserted-by":"crossref","unstructured":"Cimatti, A., & Roveri, M. (2000a). Conformant planning via model checking. In S. Biundo, & M. Fox (Eds.), (Vol. 1809, pp. 21\u201334, Lecture Notes in Computer Science): Springer Berlin\/Heidelberg.","DOI":"10.1007\/10720246_2"},{"issue":"1","key":"9464_CR11","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.774","volume":"13","author":"A Cimatti","year":"2000","unstructured":"Cimatti, A., & Roveri, M. (2000). Conformant planning via symbolic model checking. Journal of Artificial Intelligence Research, 13(1), 305\u2013338.","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1\u20132","key":"9464_CR12","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. Artificial Intelligence, 147(1\u20132), 35\u201384. doi: 10.1016\/s0004-3702(02)00374-0 .","journal-title":"Artificial Intelligence"},{"key":"9464_CR13","doi-asserted-by":"crossref","unstructured":"Clarke, E., McMillan, K., Campos, S., & Hartonas-Garmhausen, V. (1996). Symbolic model checking. In R. Alur, & T. Henzinger (Eds.), (Vol. 1102, pp. 419\u2013422, Lecture Notes in Computer Science): Springer Berlin\/Heidelberg.","DOI":"10.1007\/3-540-61474-5_93"},{"issue":"3","key":"9464_CR14","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1007\/s10796-011-9301-5","volume":"14","author":"H Demirkan","year":"2012","unstructured":"Demirkan, H., Sen, S., Goul, M., & Nichols, J. (2012). Ensuring reliability in B2B services: fault tolerant inter-organizational workflows. Information Systems Frontiers, 14(3), 765\u2013788. doi: 10.1007\/s10796-011-9301-5 .","journal-title":"Information Systems Frontiers"},{"key":"9464_CR15","doi-asserted-by":"crossref","unstructured":"Deokar, A. V., & El-Gayar, O. F. (2008). A semantic web services-based architecture for model management systems. In Hawaii International Conference on System Sciences, Proceedings of the 41st Annual, 7\u201310 Jan. 2008 (pp. 95\u201395)","DOI":"10.1109\/HICSS.2008.37"},{"key":"9464_CR16","unstructured":"Deokar, A. V., & El-Gayar, O. F. (2009). Enabling distributed model management using semantic web technologies. In System Sciences, 2009. HICSS \u201909. 42nd Hawaii International Conference on, 5\u20138 Jan. 2009 (pp. 1\u20139)"},{"issue":"5","key":"9464_CR17","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1007\/s10796-010-9243-3","volume":"13","author":"AV Deokar","year":"2010","unstructured":"Deokar, A. V., & El-Gayar, O. F. (2010). Decision-enabled dynamic process management for networked enterprises. Information Systems Frontiers, 13(5), 655\u2013668. doi: 10.1007\/s10796-010-9243-3 .","journal-title":"Information Systems Frontiers"},{"key":"9464_CR18","doi-asserted-by":"crossref","unstructured":"Deokar, A. V., El-Gayar, O. F., & Aljafari, R. Developing a semantic web-based distributed model management system: Experiences and lessons learned. In System Sciences (HICSS), 2010 43rd Hawaii International Conference on, 5\u20138 Jan. 2010 2010 (pp. 1\u201310)","DOI":"10.1109\/HICSS.2010.144"},{"issue":"3","key":"9464_CR19","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1016\/j.dss.2006.12.010","volume":"43","author":"O El-Gayar","year":"2007","unstructured":"El-Gayar, O., & Tandekar, K. (2007). An XML-based schema definition for model sharing and reuse in a distributed environment. Decision Support Systems, 43(3), 791\u2013808. doi: 10.1016\/j.dss.2006.12.010 .","journal-title":"Decision Support Systems"},{"issue":"2","key":"9464_CR20","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.soildyn.2010.03.009","volume":"31","author":"M Erdik","year":"2011","unstructured":"Erdik, M., \u015ee\u015fetyan, K., Demircio\u011flu, M. B., Hanc\u0131lar, U., & Z\u00fclfikar, C. (2011). Rapid earthquake loss assessment after damaging earthquakes. Soil Dynamics and Earthquake Engineering, 31(2), 247\u2013266. doi: 10.1016\/j.soildyn.2010.03.009 .","journal-title":"Soil Dynamics and Earthquake Engineering"},{"key":"9464_CR21","doi-asserted-by":"crossref","unstructured":"Feng, Z., Peng, R., Wong, R., He, K., Wang, J., Hu, S., et al. (2012). QoS-aware and multi-granularity service composition. Information Systems Frontiers, 1\u201315, doi: 10.1007\/s10796-012-9378-5 .","DOI":"10.1007\/s10796-012-9378-5"},{"issue":"3","key":"9464_CR22","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10796-008-9086-3","volume":"11","author":"M Fugini","year":"2009","unstructured":"Fugini, M., Pernici, B., & Ramoni, F. (2009). Quality analysis of composed services through fault injection. Information Systems Frontiers, 11(3), 227\u2013239. doi: 10.1007\/s10796-008-9086-3 .","journal-title":"Information Systems Frontiers"},{"key":"9464_CR23","volume-title":"The \u201cseismic drought\u201d connection in China","author":"Q Geng","year":"1985","unstructured":"Geng, Q. (1985). The \u201cseismic drought\u201d connection in China. Beijing: Ocean Press."},{"issue":"4","key":"9464_CR24","doi-asserted-by":"crossref","first-page":"2164","DOI":"10.1016\/j.dss.2006.06.011","volume":"42","author":"D Ghosh","year":"2007","unstructured":"Ghosh, D., Sharman, R., Raghav Rao, H., & Upadhyaya, S. (2007). Self-healing systems \u2014 survey and synthesis. Decision Support Systems, 42(4), 2164\u20132185. doi: 10.1016\/j.dss.2006.06.011 .","journal-title":"Decision Support Systems"},{"key":"9464_CR25","doi-asserted-by":"crossref","unstructured":"Issarny, V., Tartanoglu, F., Romanovsky, A., & Levy, N. Coordinated forward error recovery for composite web services. In Reliable distributed systems, 2003. Proceedings. 22nd International Symposium on, 6\u201318 Oct. 2003 2003 (pp. 167\u2013176). doi: 10.1109\/reldis.2003.1238066 .","DOI":"10.1109\/RELDIS.2003.1238066"},{"issue":"2","key":"9464_CR26","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.dss.2004.01.008","volume":"40","author":"B Iyer","year":"2005","unstructured":"Iyer, B., Shankaranarayanan, G., & Lenard, M. L. (2005). Model management decision environment: a web service prototype for spreadsheet models. Decision Support Systems, 40(2), 283\u2013304. doi: 10.1016\/j.dss.2004.01.008 .","journal-title":"Decision Support Systems"},{"key":"9464_CR27","unstructured":"Krishnan, R., & Chari, K. (2000). Model management: survey, future research directions and a bibliography. The Interactive Transactions of OR\/MS, 3(1)."},{"issue":"3","key":"9464_CR28","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/j.is.2010.06.003","volume":"36","author":"L Li","year":"2011","unstructured":"Li, L., Liu, D., & Bouguettaya, A. (2011). Semantic based aspect-oriented programming for context-aware web service composition. Information Systems, 36(3), 551\u2013564. doi: 10.1016\/j.is.2010.06.003 .","journal-title":"Information Systems"},{"issue":"2","key":"9464_CR29","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10796-013-9409-x","volume":"15","author":"S-H Li","year":"2013","unstructured":"Li, S.-H., Huang, S.-M., Yen, D., & Sun, J.-C. (2013). Semantic-based transaction model for web service. Information Systems Frontiers, 15(2), 249\u2013268. doi: 10.1007\/s10796-013-9409-x .","journal-title":"Information Systems Frontiers"},{"issue":"6","key":"9464_CR30","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1287\/opre.36.6.849","volume":"36","author":"T-P Liang","year":"1988","unstructured":"Liang, T.-P. (1988). Development of a knowledge-based model management system. Operations Research, 36(6), 849\u2013863. doi: 10.1287\/opre.36.6.849 .","journal-title":"Operations Research"},{"issue":"1","key":"9464_CR31","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10796-006-9015-2","volume":"9","author":"T Madhusudan","year":"2006","unstructured":"Madhusudan, T. (2006). A web services framework for distributed model management. Information Systems Frontiers, 9(1), 9\u201327. doi: 10.1007\/s10796-006-9015-2 .","journal-title":"Information Systems Frontiers"},{"issue":"2","key":"9464_CR32","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.dss.2004.07.003","volume":"41","author":"T Madhusudan","year":"2006","unstructured":"Madhusudan, T., & Uttamsingh, N. (2006). A declarative approach to composing web services in dynamic environments. Decision Support Systems, 41(2), 325\u2013357. doi: 10.1016\/j.dss.2004.07.003 .","journal-title":"Decision Support Systems"},{"key":"9464_CR33","unstructured":"Mikalsen, T., Tai, S., & Rouvellou, I. (2002). Transactional attitudes: Reliable composition of autonomous web services. Paper presented at the International Conference on Dependable Systems and Networks, Washington D.C., USA."},{"key":"9464_CR34","unstructured":"Noy, N. F., & McGuinness, D. L. (2001). Ontology development 101: A guide to creating your first ontology. Stanford knowledge systems laboratory: Technical Report KSL-01-05."},{"key":"9464_CR35","unstructured":"OASIS (2007). Web services business process execution language version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html ."},{"issue":"5","key":"9464_CR36","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1016\/j.knosys.2010.02.006","volume":"23","author":"C Okutan","year":"2010","unstructured":"Okutan, C., & Cicekli, N. K. (2010). A monolithic approach to automated composition of semantic web services with the event calculus. Knowledge-Based Systems, 23(5), 440\u2013454. doi: 10.1016\/j.knosys.2010.02.006 .","journal-title":"Knowledge-Based Systems"},{"key":"9464_CR37","unstructured":"OMG (2011). Business Process Model and Notation (BPMN) Version 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/ ."},{"key":"9464_CR38","unstructured":"Pistore, M., Marconi, A., Bertoli, P., & Traverso, P. (2005a). Automated composition of web services by planning at the knowledge level. Paper presented at the Proceedings of the 19th international joint conference on Artificial intelligence, Edinburgh, Scotland."},{"key":"9464_CR39","doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P., Bertoli, P., & Marconi, A. (2005b). Automated synthesis of composite BPEL4WS web services. Paper presented at the Proceedings of the IEEE International Conference on Web Services.","DOI":"10.1109\/ICWS.2005.27"},{"issue":"15","key":"9464_CR40","doi-asserted-by":"crossref","first-page":"1727","DOI":"10.1016\/S0140-3664(03)00042-2","volume":"26","author":"B Raman","year":"2003","unstructured":"Raman, B., & Katz, R. H. (2003). An architecture for highly available wide-area service composition. Computer Communications, 26(15), 1727\u20131740. doi: 10.1016\/s0140-3664(03)00042-2 .","journal-title":"Computer Communications"},{"issue":"4","key":"9464_CR41","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, J., & Nau, D. (2004). HTN planning for web service composition using SHOP2. Web Semantics: Science, Services and Agents on the World Wide Web, 1(4), 377\u2013396. doi: 10.1016\/j.websem.2004.06.005 .","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"9464_CR42","unstructured":"Steyn, P. J. (2006). Approaches to failure and recovery in service composition. Technical Report, Polelo Research Group, University of Pretoria."},{"key":"9464_CR43","doi-asserted-by":"crossref","unstructured":"Subramanian, S., Thiran, P., Narendra, N. C., Mostefaoui, G. K., & Maamar, Z. (2008). On the enhancement of BPEL engines for self-healing composite web services. Paper presented at the Proceedings of the 2008 International Symposium on Applications and the Internet.","DOI":"10.1109\/SAINT.2008.12"},{"issue":"3","key":"9464_CR44","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s10796-008-9144-x","volume":"12","author":"L Sun","year":"2010","unstructured":"Sun, L., Ousmanou, K., & Cross, M. (2010). An ontological modelling of user requirements for personalised information provision. Information Systems Frontiers, 12(3), 337\u2013356. doi: 10.1007\/s10796-008-9144-x .","journal-title":"Information Systems Frontiers"},{"key":"9464_CR45","unstructured":"Tanenbaum, A. S., & Steen, M. v. (2002). Distributed systems: Principles and paradigms (International ed.): Prentice Hall."},{"issue":"10","key":"9464_CR46","doi-asserted-by":"crossref","first-page":"13024","DOI":"10.1016\/j.eswa.2011.04.102","volume":"38","author":"X Tang","year":"2011","unstructured":"Tang, X., Jiang, C., & Zhou, M. (2011). Automatic web service composition based on Horn clauses and Petri nets. Expert Systems with Applications, 38(10), 13024\u201313031. doi: 10.1016\/j.eswa.2011.04.102 .","journal-title":"Expert Systems with Applications"},{"key":"9464_CR47","doi-asserted-by":"crossref","unstructured":"Vaculin, R., Wiesner, K., & Sycara, K. Exception handling and recovery of semantic web services. In Networking and services, 2008. ICNS 2008. Fourth International Conference on, 16\u201321 March 2008 2008 (pp. 217\u2013222). doi: 10.1109\/icns.2008.35 .","DOI":"10.1109\/ICNS.2008.35"},{"key":"9464_CR48","doi-asserted-by":"crossref","unstructured":"Wiesner, K., Vacul, R., Kollingbaum, M., & Sycara, K. (2008). Recovery mechanisms for semantic web services. Paper presented at the Proceedings of the 8th IFIP WG 6.1 International Conference On Distributed Applications and Interoperable Systems, Oslo, Norway.","DOI":"10.1007\/978-3-540-68642-2_8"},{"issue":"4","key":"9464_CR49","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1016\/j.eswa.2006.01.008","volume":"31","author":"M Younas","year":"2006","unstructured":"Younas, M., Awan, I., & Duce, D. (2006). An efficient composition of web services with active network support. Expert Systems with Applications, 31(4), 859\u2013869. doi: 10.1016\/j.eswa.2006.01.008 .","journal-title":"Expert Systems with Applications"},{"issue":"4","key":"9464_CR50","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1016\/j.dss.2005.06.001","volume":"43","author":"S Zhang","year":"2007","unstructured":"Zhang, S., & Goddard, S. (2007). A software architecture and framework for web-based distributed decision support systems. Decision Support Systems, 43(4), 1133\u20131150. doi: 10.1016\/j.dss.2005.06.001 .","journal-title":"Decision Support Systems"}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-013-9464-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-013-9464-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-013-9464-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T16:55:59Z","timestamp":1564332959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-013-9464-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,4]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9464"],"URL":"https:\/\/doi.org\/10.1007\/s10796-013-9464-3","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"value":"1387-3326","type":"print"},{"value":"1572-9419","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,4]]}}}