Distributed ambient graphs with business configurations

Abstract

In this paper we present distributed ambient graphs with business configurations to extend our original model of service oriented computing ($SOC$) with an ambient topology of locations. This ambient topology is based on the graph semantics of an adaptation of the ambient calculus. Thus, in this new service oriented model we can formalize all the external sites that take place in a service oriented application. Each site providing a service to a given service oriented application, will have its own business activity and it will have the possibility to transfer events with the service oriented application. Additionally, providing services can of course also require services to external sites. In this approach, we can also model several service oriented applications developed in different external sites. Thus, the resulting formalism allow us to perform choreographies.