A Formal Perspective for Service Coordination Framework in Service Oriented Architecture

The service oriented architecture is a widely used concept to construct the Web applications. Among several implementations, the bus model is proposed to coordinate heterogeneous services. However, it is difficult to analyze the properties of the composition pattern using buses in practice. Therefore, it is extremely necessary to provide a theoretical foundation for it. In this paper, we focus on the specification of services in the bus system and the properties of their parallel executions. The service model is formalized on three levels and a composition approach is proposed to describe the composition pattern with the bus infrastructure. The idea of separating the communication from the computation gives the model more flexibility.