A Formal Model for the Interoperability of Service Clouds
A common slogan in cloud computing claims that "Everything becomes a service", which suggests to consider cloud computing as an umbrella for service orientation in the large with the world-wide web as the key medium. In fact, it would be possible to consider clouds as repositories of software services that are built on top of platforms and infrastructure services. Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a "Service cloud" the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them.