What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access rights as an attribute of a graph node, and the use of the resource as a predicate on an edge of the graph. It also proposes to model cloud computation as a set of paths in a subgraph of the cloud such that every edge contains a predicate that is evaluated to be true. Finally, it presents a set of algorithms to compose cloud computations, and model-based testing criteria to test cloud applications.
W. K. Chan, Lijun Mei, Zhenyu Zhang