Abstract
Composite models in Decision Support Systems (DSS) are combinations of model functions to solve complex decision problems. They must be executed successfully to obtain the desired results. Unfortunately, faults may happen during its execution due to the dynamic networks or the information asymmetry between developers and users. Therefore, designing effective failure recovery mechanism to ensure the reliability of the composite model execution is essential. Progress has been made in the web service composition field to obtain limited failure recovery capabilities, but not fully applicable to composite models since model services are informational services in essence which do not change the world conditions. This paper proposes a unified framework, integrated with a process ontology and multiple recovery strategies that can provide valuable failure recovery recommendations intelligently. The recovery strategies have been greatly enhanced in providing greater failure recovery capability. Feasibility and efficiency of this framework have been illustrated and tested.
Similar content being viewed by others
Notes
NuPDDL: nondeterminism and more in PDDL: http://mbp.fbk.eu/NuPDDL.html
References
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.
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–10603. doi:10.1016/j.eswa.2009.02.056.
Baresi, L., Ghezzi, C., & Guinea, S. (2004). Towards self-healing service compositions. Paper presented at the PriSE’04, First Conference on the Principles of Software Engineering.
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–97).
Bertoli, P., Pistore, M., & Traverso, P. (2010). Automated composition of web services via planning in asynchronous domains. Artificial Intelligence, 174(3–4), 316–361. doi:10.1016/j.artint.2009.12.002.
Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. doi:10.1109/tc.1986.1676819.
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–375): Springer-Verlag.
Chari, K. (2003). Model composition in a distributed environment. Decision Support Systems, 35(3), 399–413. doi:10.1016/s0167-9236(02)00116-1.
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–13 July 2007 2007 (pp. 751–758). doi:10.1109/icws.2007.86.
Cimatti, A., & Roveri, M. (2000a). Conformant planning via model checking. In S. Biundo, & M. Fox (Eds.), (Vol. 1809, pp. 21–34, Lecture Notes in Computer Science): Springer Berlin/Heidelberg.
Cimatti, A., & Roveri, M. (2000). Conformant planning via symbolic model checking. Journal of Artificial Intelligence Research, 13(1), 305–338.
Cimatti, A., Pistore, M., Roveri, M., & Traverso, P. (2003). Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence, 147(1–2), 35–84. doi:10.1016/s0004-3702(02)00374-0.
Clarke, E., McMillan, K., Campos, S., & Hartonas-Garmhausen, V. (1996). Symbolic model checking. In R. Alur, & T. Henzinger (Eds.), (Vol. 1102, pp. 419–422, Lecture Notes in Computer Science): Springer Berlin/Heidelberg.
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–788. doi:10.1007/s10796-011-9301-5.
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–10 Jan. 2008 (pp. 95–95)
Deokar, A. V., & El-Gayar, O. F. (2009). Enabling distributed model management using semantic web technologies. In System Sciences, 2009. HICSS ’09. 42nd Hawaii International Conference on, 5–8 Jan. 2009 (pp. 1–9)
Deokar, A. V., & El-Gayar, O. F. (2010). Decision-enabled dynamic process management for networked enterprises. Information Systems Frontiers, 13(5), 655–668. doi:10.1007/s10796-010-9243-3.
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–8 Jan. 2010 2010 (pp. 1–10)
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–808. doi:10.1016/j.dss.2006.12.010.
Erdik, M., Şeşetyan, K., Demircioğlu, M. B., Hancılar, U., & Zülfikar, C. (2011). Rapid earthquake loss assessment after damaging earthquakes. Soil Dynamics and Earthquake Engineering, 31(2), 247–266. doi:10.1016/j.soildyn.2010.03.009.
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–15, doi:10.1007/s10796-012-9378-5.
Fugini, M., Pernici, B., & Ramoni, F. (2009). Quality analysis of composed services through fault injection. Information Systems Frontiers, 11(3), 227–239. doi:10.1007/s10796-008-9086-3.
Geng, Q. (1985). The “seismic drought” connection in China. Beijing: Ocean Press.
Ghosh, D., Sharman, R., Raghav Rao, H., & Upadhyaya, S. (2007). Self-healing systems — survey and synthesis. Decision Support Systems, 42(4), 2164–2185. doi:10.1016/j.dss.2006.06.011.
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–18 Oct. 2003 2003 (pp. 167–176). doi:10.1109/reldis.2003.1238066.
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–304. doi:10.1016/j.dss.2004.01.008.
Krishnan, R., & Chari, K. (2000). Model management: survey, future research directions and a bibliography. The Interactive Transactions of OR/MS, 3(1).
Li, L., Liu, D., & Bouguettaya, A. (2011). Semantic based aspect-oriented programming for context-aware web service composition. Information Systems, 36(3), 551–564. doi:10.1016/j.is.2010.06.003.
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–268. doi:10.1007/s10796-013-9409-x.
Liang, T.-P. (1988). Development of a knowledge-based model management system. Operations Research, 36(6), 849–863. doi:10.1287/opre.36.6.849.
Madhusudan, T. (2006). A web services framework for distributed model management. Information Systems Frontiers, 9(1), 9–27. doi:10.1007/s10796-006-9015-2.
Madhusudan, T., & Uttamsingh, N. (2006). A declarative approach to composing web services in dynamic environments. Decision Support Systems, 41(2), 325–357. doi:10.1016/j.dss.2004.07.003.
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.
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.
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.
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–454. doi:10.1016/j.knosys.2010.02.006.
OMG (2011). Business Process Model and Notation (BPMN) Version 2.0. http://www.omg.org/spec/BPMN/2.0/.
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.
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.
Raman, B., & Katz, R. H. (2003). An architecture for highly available wide-area service composition. Computer Communications, 26(15), 1727–1740. doi:10.1016/s0140-3664(03)00042-2.
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–396. doi:10.1016/j.websem.2004.06.005.
Steyn, P. J. (2006). Approaches to failure and recovery in service composition. Technical Report, Polelo Research Group, University of Pretoria.
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.
Sun, L., Ousmanou, K., & Cross, M. (2010). An ontological modelling of user requirements for personalised information provision. Information Systems Frontiers, 12(3), 337–356. doi:10.1007/s10796-008-9144-x.
Tanenbaum, A. S., & Steen, M. v. (2002). Distributed systems: Principles and paradigms (International ed.): Prentice Hall.
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–13031. doi:10.1016/j.eswa.2011.04.102.
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–21 March 2008 2008 (pp. 217–222). doi:10.1109/icns.2008.35.
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.
Younas, M., Awan, I., & Duce, D. (2006). An efficient composition of web services with active network support. Expert Systems with Applications, 31(4), 859–869. doi:10.1016/j.eswa.2006.01.008.
Zhang, S., & Goddard, S. (2007). A software architecture and framework for web-based distributed decision support systems. Decision Support Systems, 43(4), 1133–1150. doi:10.1016/j.dss.2005.06.001.
Acknowledgments
This work is jointly supported by National Natural Science Foundations of China (No.60903174, 61142010), the Fundamental Research Funds for the Central Universities, HUST: 2012QN087, 2012QN088 and the Fund of Key Lab for Image Processing and Intelligent Control (20093).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Huang, H., Chen, X. & Wang, Z. Failure recovery in distributed model composition with intelligent assistance. Inf Syst Front 17, 673–689 (2015). https://doi.org/10.1007/s10796-013-9464-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10796-013-9464-3