Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory

A mobile cloud is a cloud infrastructure connecting to mobile devices with a variety of applications (apps). This paper proposes utilizing bigraphical reaction systems (BRSs) to model and analyze a mobile cloud including its contexts such as mobile location, power consumption, network bandwidth, and latency. Simulations and evaluations are performed by matching the reaction rules of BRS with its current agent, on different usage scenarios of mobile cloud, to demonstrate the validity of the proposed methodology.