Skip to main content
SpringerLink
Log in

Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics

  • Conference paper
  • First Online:
Conceptual Modeling (ER 2017)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10650))

Included in the following conference series:

Abstract

Distributed systems that exploit software services from multiple clouds provide opportunities for software systems that address problems associated with systems of systems. In this paper we present an approach for the conceptual modelling of such systems, which is grounded in a distributed middleware that coordinates the client access to multiple clouds through a concept of mediator. Furthermore, each component of the middleware constitutes an abstract machine that is realised by three layers: a layer for normal operation, a layer for monitoring and detection of critical situations, and an adaptation layer, which in case of an identified anomaly changes the normal behaviour. The semantics of this autonomous system can be captured by linguistic reflection, for which reflective Abstract State Machines will be exploited.

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2), 155–166 (2011)

    Article  Google Scholar 

  2. Börger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Informatica 53(5), 469–492 (2016)

    Article  MathSciNet  Google Scholar 

  3. Börger, E., Cisternino, A., Gervasi, V.: Ambient abstract state machines with applications. J. Comput. Syst. Sci. 78(3), 939–959 (2012)

    Article  MathSciNet  Google Scholar 

  4. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)

    Book  Google Scholar 

  5. Bósa, K.: Formal modeling of mobile computing systems based on ambient abstract state machines. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2011. LNCS, vol. 7693, pp. 18–49. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36008-4_2

    Chapter  Google Scholar 

  6. Bósa, K.: An ambient ASM model for client-to-client interaction via cloud computing. In: Proceedings of 8th International Conference on Software and Data Technologies (ICSOFT), pp. 459–470. SciTePress (2013)

    Google Scholar 

  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. A Series of the Research Institute for Symbolic Computation, pp. 1–61. Springer, Cham (2014). doi:10.1007/978-3-319-17112-8_4

    Chapter  Google Scholar 

  8. Buga, A., Nemeş, S.T.: Towards an ASM specification for monitoring and adaptation services of large-scale distributed systems. In: 41st Annual Computer Software and Applications Conference, COMPSAC Workshops 2017, Torino, Italy, 4–8 July 2017. IEEE (2017, to appear)

    Google Scholar 

  9. 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). doi:10.1007/978-3-319-30599-8_20

    Chapter  Google Scholar 

  10. Calzarossa, M., Massari, L., Tessera, D.: Workload characterization: a survey revisited. ACM Comput. Surv. 48(3), 48:1–48:43 (2016)

    Article  Google Scholar 

  11. Cheng, B.H.C., de Lemor, R., Giese, H., Inverardi, P., Magee, J. (eds.): Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02161-9

    Book  Google Scholar 

  12. Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theoret. Comput. Sci. 649, 25–53 (2016)

    Article  MathSciNet  Google Scholar 

  13. Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. Univ. Comput. Sci. 14(12), 1949–1983 (2008)

    Google Scholar 

  14. Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77–111 (2000)

    Article  MathSciNet  Google Scholar 

  15. Huebscher, M., McCann, J.: A survey of autonomic computing - degrees, models, and applications. ACM Comput. Surv. 40(3), 7 (2008). Article No. 7

    Article  Google Scholar 

  16. Lampesberger, H.: Technologies for web and cloud service interaction: a survey. SOCA 10(2), 71–110 (2016)

    Article  Google Scholar 

  17. 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. A Series of the Research Institute for Symbolic Computation, pp. 177–228. Springer, Cham (2015). doi:10.1007/978-3-319-17112-8_6

    Chapter  Google Scholar 

  18. Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293–303 (2009)

    Article  Google Scholar 

  19. Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: A theory of data-intensive software services. SOCA 3(4), 263–283 (2009)

    Article  Google Scholar 

  20. Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: A formal model for the interoperability of service clouds. SOCA 6(3), 189–205 (2012)

    Article  Google Scholar 

  21. Mirandola, R., Potena, P., Scandurra, P.: An optimization process for adaptation space exploration of service-oriented applications. In: Proceedings of 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011), pp. 146–151. IEEE (2011)

    Google Scholar 

  22. Nusayr, A., Cook, J.: Extending AOP to support broad runtime monitoring needs. In: Software Engineering and Knowledge Engineering, pp. 438–441 (2009)

    Google Scholar 

  23. Salchie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4(2), 14 (2009). Article No.14

    Google Scholar 

  24. Schewe, K.D., Ferrarotti, F., Tec, L., Wang, Q., An, W.: Evolving concurrent systems - behavioural theory and logic. In: Proceedings of Australasian Computer Science Week (ACSW 2017), pp. 77:1–77:10. ACM, Deakin University, Victoria, 31 January – 3 February 2017

    Google Scholar 

  25. 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)

    Article  Google Scholar 

  26. Zeng, W., Wang, Y.: Design and implementation of server monitoring system based on SNMP. In: JCAI, pp. 680–682 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Johannes Kepler University, Linz, Austria

    Andreea Buga, Sorana Tania Nemeş & Klaus-Dieter Schewe

Authors
  1. Andreea Buga
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sorana Tania Nemeş
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Klaus-Dieter Schewe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Klaus-Dieter Schewe .

Editor information

Editors and Affiliations

  1. University of Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr

  2. Free University of Bozen-Bolzano, Bozen-Bolzano, Italy

    Giancarlo Guizzardi

  3. Victoria University of Wellington, Wellington, New Zealand

    Hui Ma

  4. Valencia University of Technology, Valencia, Spain

    Oscar Pastor

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Buga, A., Nemeş, S.T., Schewe, KD. (2017). Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. In: Mayr, H., Guizzardi, G., Ma, H., Pastor, O. (eds) Conceptual Modeling. ER 2017. Lecture Notes in Computer Science(), vol 10650. Springer, Cham. https://doi.org/10.1007/978-3-319-69904-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-69904-2_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-69903-5

  • Online ISBN: 978-3-319-69904-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation