A Formal Model of Client-Cloud Interaction

• Published in: Correct Software in Web Applications and Web Services pp. 83 - 144
• Main Authors: Bósa, Károly, Holom, Roxana-Maria, Vleju, Mircea Boris
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2015; Springer International Publishing
• Series: Texts & Monographs in Symbolic Computation
• Subjects: Cloud Computing; Cloud Provider; Cloud Service; Infinite series; Mathematical modelling; Service Operation; Software Engineering; Unify Modeling Language
• ISBN: 3319171119; 9783319171111
• ISSN: 0943-853X; 2197-8409
• DOI: 10.1007/978-3-319-17112-8_4

In our former work, we have showed that cloud computing still requires lots of fundamental research. Among many other existing problems in cloud computing, we identified the lack of client orientation and lack of formal foundations as serious deficiencies. In this chapter, we give a summary on our research and discuss the architectures as well as the formal models of some software solutions with which we are going to address (a part of) these two problems in cloud computing.The solution we propose is a novel and uniform client-cloud interaction approach by which cloud service owners, who may be different from the cloud providers, are able to fully control the usage of their services in the case of each user subscription. In this context, any cloud service can be invoked by distinct devices; therefore, the content must be adapted to various channels and end devices, in particular with respect to needs arising from mobile clients. For a quick and seamless integration between the cloud provider’s identity management system and the system used by the client, we introduce the concept of a client-centric tool. An extension of the client-cloud interaction model enables client-to-client interaction (CTCI) in an almost direct way, so that the involvement of cloud services is transparent to the users.In this chapter, we propose a formalization of this solution that incorporates the major advantages of abstract state machines (ASMs) and ambient calculus by specifying the algorithms of executable components (agents) in terms of ASMs and by describing their communication topology, locality, and mobility in the terms of ambient calculus.