Abstract
The ever growing demands from the software area have led to the development of large-scale distributed systems which bring together a wide pool of services and resources. Their composition and deployment come in different solutions tailored to users requests based on business models, functionality, quality of service, cost, and value. Bridging different parts into one software solution is brittle due to issues like heterogeneity, complexity, lack of transparency, network and communication failures, and misbehavior. The current paper proposes a decision-based solution for the dynamic adaptation part of a middleware which addresses the aforementioned problems for large-scale distributed systems. The envisioned architecture is built on case-based reasoning principles and stands at the base of the adaptation processes that are imperative for ensuring the delivery of high-quality software. The solution is further extended through ground models with a focus on reliability, availability of components, and failure tolerance in terms of abstract state machines. The novelty of the approach resides in making use of formal modeling for one of the emerging problems and introducing an adequate prototype, on top of which one can apply reasoning and verification methods.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Iso 9126:2001 software engineering - product quality (2001)
OASIS Committee Specification 01: Advancing open standards for the information society (oasis), 22 September July 2011
Aamodt, A., Plaza, E.: Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun. 7(1), 39–59 (1994)
Adrion, W.R., Branstad, M.A., Cherniavsky, J.C.: Validation, verification, and testing of computer software. ACM Comput. Surv. 14(2), 159–192 (1982)
Althoff, K.-D.: Case-based reasoning. Handb. Softw. Eng. Knowl. Eng. 1, 549–587 (2001)
Becha, H., Amyot, D.: Non-functional properties in service oriented architecture - a consumer’s perspective. JSW 7(3), 575–587 (2012)
Bianchi, A., Manelli, L., Pizzutilo, S.: A distributed abstract state machine for grid systems: a preliminary study. In: Topping, B.H.V., Iványi, P. (eds.) Proceedings of the 2nd International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Civil-Comp Press, April 2011
Bianchi, A., Manelli, L., Pizzutilo, S.: An ASM-based model for grid job management. Informatica (Slovenia) 37(3), 295–306 (2013)
Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York Inc., Secaucus (2003)
Bósa, K., Holom, R.-M., Vleju, M.B.: A formal model of client-cloud interaction. In: Thalheim, B., Schewe, K.-D., Prinz, A., Buchberger, B. (eds.) Correct Software in Web Applications and Web Services, pp. 83–144. Springer, Heidelberg (2015). doi:10.1007/978-3-319-17112-8_4
Brugali, D., Gherardi, L., Riccobene, E., Scandurra, P.: Coordinated execution of heterogeneous service-oriented components by abstract state machines. In: Arbab, F., Ölveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 331–349. Springer, Heidelberg (2012). doi:10.1007/978-3-642-35743-5_20
Chan, C.W., Chen, L.-L., Geng, L.: Knowledge engineering for an intelligent case-based system for help desk operations. Expert Syst. Appl. 18(2), 125–132 (2000)
Chen, Y., Iyer, S., Liu, X., Milojicic, D., Sahai, A.: Translating service level objectives to lower level policies for multi-tier services. Clust. Comput. 11(3), 299–311 (2008)
Fakhfakh, K., Chaari, T., Tazi, S., Drira, K., Jmaiel, M.: A comprehensive ontology-based approach for SLA obligations monitoring. In: 2008 the 2nd International Conference on Advanced Engineering Computing and Applications in Sciences, pp. 217–222, September 2008
Grozev, N., Buyya, R.: Inter-cloud architectures and application brokering: taxonomy and survey. Softw. Pract. Exper. 44(3), 369–390 (2014)
Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press Inc., New York (1995)
Hasselmeyer, P., Koller, B., Schubert, L., Wieder, P.: Towards SLA-supported resource management. In: Gerndt, M., Kranzlmüller, D. (eds.) HPCC 2006. LNCS, vol. 4208, pp. 743–752. Springer, Heidelberg (2006). doi:10.1007/11847366_77
Henninger, S., Baumgarten, K.: A case-based approach to tailoring software processes. In: Aha, D.W., Watson, I. (eds.) ICCBR 2001. LNCS, vol. 2080, pp. 249–262. Springer, Heidelberg (2001). doi:10.1007/3-540-44593-5_18
Leake, D.B.: Case-Based Reasoning: Experiences Lessons and Future Directions, 1st edn. MIT Press, Cambridge (1996)
Leake, D.B., Wilson, D.C.: Remembering why to remember: performance-guided case-base maintenance. In: Blanzieri, E., Portinale, L. (eds.) EWCBR 2000. LNCS, vol. 1898, pp. 161–172. Springer, Heidelberg (2000). doi:10.1007/3-540-44527-7_15
Ma, H., Schewe, K.D., Wang, Q.: An abstract model for service provision, search and composition. In: 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 95–102, December 2009
Madhusudan, T., Zhao, J.L., Marshall, B.: A case-based reasoning framework for workflow model management. Data Knowl. Eng. 50(1), 87–115 (2004)
Maher, M.L., de Silva Garza, A.G.: Case-based reasoning in design. IEEE Expert 12(2), 34–41 (1997)
Mukkamalla, S., Muñoz-Avila, H.: Case acquisition in a project planning environment. In: Craw, S., Preece, A. (eds.) ECCBR 2002. LNCS, vol. 2416, pp. 264–277. Springer, Heidelberg (2002). doi:10.1007/3-540-46119-1_20
Müller, G., Bergmann, R.: Workflow streams: a means for compositional adaptation in process-oriented CBR. In: Lamontagne, L., Plaza, E. (eds.) ICCBR 2014. LNCS, vol. 8765, pp. 315–329. Springer, Cham (2014). doi:10.1007/978-3-319-11209-1_23
Munoz-Avila, H., Weberskirch, F.: Planning for manufacturing workpieces by storing, indexing and replaying planning decisions (1996)
O’Brien, L., Merson, P., Bass, L.: Quality attributes for service-oriented architectures. In: Proceedings of the International Workshop on Systems Development in SOA Environments, SDSOA 2007, p. 3. IEEE Computer Society, Washington, DC (2007)
Paschke, A., Bichler, M.: Knowledge representation concepts for automated SLA management. Decis. Support Syst. 46(1), 187–205 (2008)
Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, I.M., Montero, R., Wolfsthal, Y., Elmroth, E., Caceres, J., Ben-Yehuda, M., Emmerich, W., Galan, F.: The reservoir model and architecture for open federated cloud computing. IBM J. Res. Dev. 53(4), 4:1–4:11 (2009)
Smyth, B.: Case-base maintenance. In: Pasqual del Pobil, A., Mira, J., Ali, M. (eds.) IEA/AIE 1998. LNCS, vol. 1416, pp. 507–516. Springer, Heidelberg (1998). doi:10.1007/3-540-64574-8_436
Smyth, B., Keane, M.T.: Remembering to forget: a competence-preserving case deletion policy for case-based reasoning systems. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence. IJCAI 1995, vol. 1, pp. 377–382. Morgan Kaufmann Publishers Inc., San Francisco (1995)
Soltani, S.: Case-based reasoning for diagnosis and planning. Technical report, Queens University, Kingston (2013)
Toosi, A.N., Calheiros, R.N., Buyya, R.: Interconnected cloud computing environments: challenges, taxonomy, and survey. ACM Comput. Surv. 47(1), 7:1–7:47 (2014)
Villegas, D., Bobroff, N., Rodero, I., Delgado, J., Liu, Y., Devarakonda, A., Fong, L., Sadjadi, S.M., Parashar, M.: Cloud federation in a layered service model. J. Comput. Syst. Sci. 78(5), 1330–1344 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Nemeş, S.T., Buga, A. (2017). Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems. In: Aha, D., Lieber, J. (eds) Case-Based Reasoning Research and Development. ICCBR 2017. Lecture Notes in Computer Science(), vol 10339. Springer, Cham. https://doi.org/10.1007/978-3-319-61030-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-61030-6_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61029-0
Online ISBN: 978-3-319-61030-6
eBook Packages: Computer ScienceComputer Science (R0)