Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. The authors model service interaction through a call-by-property invocation mechanism, by specifying the security constraints that make their composition safe. A static approach is then proposed to determine how to compose services and guarantee that their execution is always secure, without resorting to any dynamic check. The ability of selecting and assembling together heterogeneous services is an important step towards the full development of service-oriented computing. A service is a stand-alone component distributed over a network, and made available through standard interaction mechanisms.