Reactive component based service-oriented design - a case study

Service-oriented design (SOD) is a software development paradigm that utilizes services as fundamental elements for developing applications/solutions. Recently, service orientation is becoming a mainstream approach for building large scale software systems. However, current software models do not take services as fundamental elements and it is very difficult for people to model from services. We consider that contract equipped reactive component model is well suited for addressing various aspects of service oriented systems including service description, delegation, as well as composition. To demonstrate this idea, a case study: e-commerce application is presented in this paper. We start from analyzing the service that the customers need, then assign the service to the interface, which in turn, delegates the service to the component. A Java-like formal language rCOS is used to describe the models. In our model, interface is used to capture the syntax information and contract is applied to capture the semantics information of the service. Component is obtained by refining the contract to designs