作　　者： ; ; ;

机构地区： 华南理工大学计算机科学与工程学院

出　　处： 《计算机学报》 2006年第7期1067-1075,共9页

摘　　要： 定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法． 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.

关 键 词： 服务 服务组合 运算性质

领　　域： [自动化与计算机技术] [自动化与计算机技术]