CP-net model and operation properties for web service composition.

摘要: A CP-net Model for Web service composition is proposed. To each service, a CP-net model is constructed to describe the logical relation of components graphically. Furthermore dynamic behaviors of services can be simulated, analyzed by executing of the CP-net model. Operators to construct new complex services from known ones as blocks are defined formally. Some algebra and dynamic properties of this model are studied and proved. Algorithms to construct and execute a composite service are delivered also.