Abstract
In cloud computing, the ability to run and manage multi-cloud systems allows exploiting the peculiarities of each cloud solution and hence optimising the performance, availability, and cost of the applications. In this paper, we investigate the use case of a robotic care system as an application of autonomous multi-clouds. We present requirements and properties of an Abstract State Machines-based conceptual model that coordinates the multi-cloud interaction through the specification of a middleware exploiting adaptive interfaces to multiple clouds and supporting various service formats. While the multi-cloud system is running in normal mode, data about the execution will be gathered and evaluated by the monitoring component, and in case any critical situation is discovered the adaptation component is alerted. We show that for the care system this can be fruitfully exploited for failure alerts, failure anticipation and prevention, and safety hazards detection.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
The research reported in this paper has been supported by the Christian-Doppler Society in the frame of the Christian-Doppler Laboratory for Client-Centric Cloud Computing.
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 subscriptionsNotes
- 1.
Our model is based on the commercially available GrowMu (see http://www.growmeup.eu/index.php/home/growmu-robot) robot, but extends it in various ways.
- 2.
This is merely a selection of services that can be extended.
- 3.
A more detailed specification and results of the verification can be found at http://cdcc.faw.jku.at/staff/abuga/esocc.zip.
References
Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7
Bósa, K.: Formal modeling of mobile computing systems based on ambient Abstract State Machines. SDKB 2011. LNCS, vol. 7693, pp. 18–49. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-36008-4_2
Bósa, K.: An ambient ASM model for client-to-client interaction via cloud computing. In: Proceedings of the 8th International Conference on Software and Data Technologies (ICSOFT), pp. 459–470. SciTePress (2013)
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, Cham (2014). https://doi.org/10.1007/978-3-319-17112-8_4
Buga, A., Nemeş, S.T.: A formal approach for failure detection in large-scale distributed systems using Abstract State Machines. In: Benslimane, D., Damiani, E., Grosky, W.I., Hameurlain, A., Sheth, A., Wagner, R.R. (eds.) DEXA 2017. LNCS, vol. 10438, pp. 505–513. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64468-4_38
Buga, A., Nemeş, S.T., Schewe, K.D.: Conceptual modelling of autonomous multi-cloud interaction with reflective semantics. In: Guizzardi, G., Ma, H., Mayr, H.C. (eds.) Conceptual Modeling - 36th International Conference (ER 2017). LNCS, Springer (2017, to appear)
Buga, A., Nemes, S.T.: Towards modeling monitoring of smart traffic services in a large-scale distributed system. In: Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, pp. 483–490. INSTICC, ScitePress (2017)
Calzarossa, M., Della Vedova, M.L., Massari, L., Petcu, D., Tabash, M.I.M., Tessera, D.: Workloads in the clouds. In: Fiondella, L., Puliafito, A. (eds.) Principles of Performance and Reliability Modeling and Evaluation. Reliability Engineering. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30599-8_20
Calzarossa, M., Massari, L., Tessera, D.: Workload characterization: a survey revisited. ACM Comput. Surv. 48(3), 48:1–48:43 (2016)
Cheng, B.H.C., de Lemor, R., Giese, H., Inverardi, P., Magee, J. (eds.): Software Engineering for Self-Adaptive Systems. Programming and Software Engineering, vol. 5525. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02161-9
Gross, H.M., Schroeter, C., Mueller, S., Volkhardt, M., Einhorn, E., Bley, A., Martin, C., Langner, T., Merten, M.: Progress in developing a socially assistive mobile home robot companion for the elderly with mild cognitive impairment. In: 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 2430–2437, September 2011
Lampesberger, H., Rady, M.: Monitoring of client-cloud interaction. In: Thalheim, B., Schewe, K.D., Prinz, A., Buchberger, B. (eds.) Correct Software in Web Applications and Web Services, pp. 177–228. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-17112-8_6
Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebr. Program. 78(5), 293–303 (2009)
Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: A theory of data-intensive software services. SOCA 3(4), 263–283 (2009)
Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: A formal model for the interoperability of service clouds. SOCA 6(3), 189–205 (2012)
Mirandola, R., Potena, P., Scandurra, P.: An optimization process for adaptation space exploration of service-oriented applications. In: Proceedings of the 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011), pp. 146–151. IEEE (2011)
Nemeş, S.T., Buga, A.: Towards a case-based reasoning approach to dynamic adaptation for large-scale distributed systems. In: Aha, D.W., Lieber, J. (eds.) ICCBR 2017. LNCS (LNAI), vol. 10339, pp. 257–271. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61030-6_18
Nemes, S.T., Buga, A.: Towards modeling adaptation services for large-scale distributed systems with abstract state machines. In: Shishkov, B. (ed.) Business Modeling and Software Design - 7th International Symposium, Proceedings, BMSD 2017, Barcelona, Spain, 3–5 July 2017, pp. 193–198. Springer (2017)
Shin, K.S., Jung, J.H., Cheon, J.Y., Choi, S.B.: Real-time network monitoring scheme based on SNMP for dynamic information. J. Netw. Comput. Appl. 30(1), 331–353 (2007)
Zeng, W., Wang, Y.: Design and implementation of server monitoring system based on SNMP. In: JCAI, pp. 680–682 (2009)
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., Schewe, KD. (2017). Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. In: de Cesare, S., Frank, U. (eds) Advances in Conceptual Modeling. ER 2017. Lecture Notes in Computer Science(), vol 10651. Springer, Cham. https://doi.org/10.1007/978-3-319-70625-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-70625-2_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70624-5
Online ISBN: 978-3-319-70625-2
eBook Packages: Computer ScienceComputer Science (R0)