Abstract
Large-scale distributed systems have been widely adopted in various domains due to their ability to compose services and resources tailored to user requirements. Such systems are characterized by high complexity and heterogeneity. Maintaining a high-level availability and a normal execution of the components implies precise monitoring and robust adaptation. Monitors capture relevant metrics and transform them to meaningful knowledge, which is further used in justifying adaptation actions. The current paper proposes an Abstract State Machine model for defining monitoring processes addressing failures and unavailability of the system nodes. The specification is simulated and validated with the aid of the ASMETA toolset. The solution is complemented with a small ontology reflecting the structure of the system. We emphasize the role of formal models in achieving the proposed requirements.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 13–23, May 2015
Bergmayr, A., Rossini, A., Ferry, N., Horn, G., Orue-Echevarria, L., Solberg, A., Wimmer, M.: The evolution of CloudML and its manifestations. In: Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE), Ottawa, Canada, pp. 1–6, September 2015
Bianchi, A., Manelli, L., Pizzutilo, S.: An ASM-based model for grid job management. Informatica 37(3), 295–306 (2013). Slovenia
Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003). doi:10.1007/978-3-642-18216-7
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. Texts & Monographs in Symbolic Computation, pp. 83–144. Springer, Cham (2015). doi:10.1007/978-3-319-17112-8_4
Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71–84. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87603-8_7
Funika, W., Janczykowski, M., Jopek, K., Grzegorczyk, M.: An ontology-based approach to performance monitoring of MUSCLE-bound multi-scale applications. Procedia Comput. Sci. 18, 1126–1135 (2013)
Moscato, F., Aversa, R., Di Martino, B., Fortiş, T.F., Munteanu, V.: An analysis of mOSAIC ontology for cloud resources annotation. In: 2011 Federated Conference on Computer Science and Information Systems, pp. 973–980, September 2011
Németh, Z.N., Sunderam, V.: A formal framework for defining grid systems. In: 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, p. 202 (2002)
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
Buga, A., Nemeș, S.T. (2017). A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines. In: Benslimane, D., Damiani, E., Grosky, W., Hameurlain, A., Sheth, A., Wagner, R. (eds) Database and Expert Systems Applications. DEXA 2017. Lecture Notes in Computer Science(), vol 10438. Springer, Cham. https://doi.org/10.1007/978-3-319-64468-4_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-64468-4_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64467-7
Online ISBN: 978-3-319-64468-4
eBook Packages: Computer ScienceComputer Science (R0)