Skip to main content
SpringerLink
Log in

Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation

  • Conference paper
  • First Online:
Book cover Computer Aided Systems Theory – EUROCAST 2015 (EUROCAST 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9520))

Included in the following conference series:

  • 1511 Accesses

Abstract

In the context of Cloud services, a typical architecture of a Cloud system presumes the interaction with various end-devices. A well founded Cloud system should guarantee that its clients are able to access the same Cloud service from any kind of device (s)he is using, and that (s)he will receive the same output independently of the used device. Due to this problem and to the lack of formal modeling in Cloud Computing and Web development we decided to use ASMs for the specification and analysis of a client-Cloud interaction system to prove that the device information discovery is reliable and correct.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://asmeta.sourceforge.net/.

  2. 2.

    http://modernizr.com/.

References

  1. Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61–74. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Experience 41, 155–166 (2011). http://dx.doi.org/10.1002/spe.1019

    Article  Google Scholar 

  3. Arcaini, P., Holom, R.M., Riccobene, E.: Modeling and formal analysis of a client-server application for cloud services. In: 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (2014, to appear)

    Google Scholar 

  4. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  5. 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 Web Applications, pp. 1–61. Springer, Heidelberg (2014)

    Google Scholar 

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

    Chapter  Google Scholar 

  7. Chelemen, R.M.: Modeling a web application for cloud content adaptation with ASMs. In: 2013 International Conference on Cloud Computing and Big Data (CloudCom-Asia), pp. 44–51 (2013)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Christian-Doppler Laboratory for Client-Centric Cloud Computing Hagenberg, Johannes Kepler University Linz, Linz, Austria

    Roxana-Maria Holom

Authors
  1. Roxana-Maria Holom
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roxana-Maria Holom .

Editor information

Editors and Affiliations

  1. de Gran Canaria, Universidad de las Palmas de Gran Canari, Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz

  2. Johannes Kepler University Linz, Linz, Austria

    Franz Pichler

  3. de Gran Canaria, Universidad de las Palmas de Gran Canari, Las Palmas de Gran Canaria, Spain

    Alexis Quesada-Arencibia

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Holom, RM. (2015). Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2015. EUROCAST 2015. Lecture Notes in Computer Science(), vol 9520. Springer, Cham. https://doi.org/10.1007/978-3-319-27340-2_70

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27340-2_70

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27339-6

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation