Formal Modeling Of A Client-Middleware Interaction System Regarding Content And Layout Adaptation

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.