【摘要】 定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．更多还原

【Abstract】 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.更多还原