Web服务组合的有色网模型及运算性质.pdfVIP

第29卷 第7期 计 算 机 学 报 VO1．29 No．7 2006年7月 CHINESE JOURNAL OF COMPUTERS July 2006 Web服务组合的有色网模型及运算性质 郭玉彬” 杜玉越 奚建清” 1 (华南理工大学计算机科学与工程学院 广州 510640) 2 (山东科技大学信息科学与工程学院 青岛 266510) 摘 要 定义了一种基于有色Petri网的Web服务组合模型，这一模型能清晰表达服务组合中各组成部分之间的 逻辑关系，并可模拟组合服务的执行，分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立 与执行算法． 关键词 Web服务；服务组合；运算性质；CP—net 中图法分类号 TP311 A CP-Net Model and Operation Properties for Web Service Composition GUO Yu—Bin” DU Yu—Yue XI Jian—Qing l (College of Computer Science and Engineering，South China University of Technology，Guangzhou 510640) 。 (College of Information Science and Engineering·Shandong University of Science and Technology，Qingdao 266510) 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 dy— namic behaviors of services can be simulated，analyzed by executing of the CP—net mode1． 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 con— struct and execute a composite service are delivered also． Keywords Web service；service composition；operation property；CP—net 足用户的复杂需求，并提高软件生产率的过程． l 引 目 当前，web服务组合方法主要有三种：基于工 作流的动态组合[3 ]、基于语义网络的方法[5 ]及基 目前，web服务技术正从基础设施构建与概念 于PI一演算ET]或Petri网E8,93等工具的形式化方法． 推广阶段向大规模商业应用阶段快速发展．通过 基于代数进程或Petri网等工具的形式化方法是 Web服务组合来动态生成新的应用系统，以满足企 Web服务组合的一种常用方法．如文献E83提出了 业的动态需求，已成为Web服务技术不断向前发展