基于有色Petri网的Web服务合成建模.pdfVIP

第 l9卷 第4期 计 算 机 技 术 与发 展 V()1．19 NO．4 2009年 4月 (、()MPI丌 ER TECHNoIXjY AND DEVEIO|P fENT Apr． 2009 基于有色 Petri网的Web服务合成建模 应 宏 ，吴 愚，郭 皎 (重庆三峡学院数学与计算机科学学院，重庆 404000) 摘 要：分析了用一般Petri网进行Web服务合成建模的不足，提出用有色Petri网进行改进。利用有色Petri网原理给出 了web服务的形式化定义，描述了Web服务合成的五种基本结构的Petri网模型，通过一个行程规划实例 ，分析了行程中 的不同Web服务，描述了行程规划服务由不同web服务合成的有色Petfi网模型，展示了有色Petri网在web服务合成建 模中的优势。 关键词：Web服务 ；有色Petri网；Web服务网模型；合成建模 中图分类号：TP393．09 文献标识码 ：A 文章编号：1673—629X(2009)04—0128一O3 W ebServiceCompositionM odelingBasedonColoredPetriNet YING Hong，WU Yu，GUOJiao (CollegeofMathematicsandComputerScience，ChongqingThreeGorgesUniversity，Chongqing404000，China) Abstract：HaveanalyzedinadequateofusinggeneralPe netstotheW ebservicescompositionrrx~eling。having putforwardtheim— provementbycoloredPetrinet．HavegiventheformaldefinitionofWebservicesbasedoncolorde Pe nettheory．havedescribedthe PetrinetmodeloffivekindsofbasicstructureofW ebesrvicescoml~sition．Throughanexamples—schdeule．haveanalyzedthedifferent W ehservicesoftheschedule．havedescribedcolorde Petrinetmode1thatwerefmm acombinationofdifferentW ebservicesofrmeda cshdeuleserviceanddemonstratde advantageoftheo01orde PetrinetintheW ehservicescompositionnlodelmethods． Keywords：webservices；colorde petrinet；webservicenetmodel；ocmpositionmodeling O 引 言 及其合成进行建模。 web服务合成是指将多个服务按照一定业务规 则组合成新服务的技术。合成之后的新服务被称为合 1 W曲服务Petri网模型 成服务，用于组成合成服务的子服务称为基本服务。 1．1 有色 Petri网 目前 ，web服务合成的工具主要是 BPELAWSE1J。但 有色Petri网作为一种数学工具，被广泛应用于过 是，BPELAWS并没有为合成提供形式化的建模与分 程的描述、分析和验证。与基本的Petri网类似，有色 析手段，不利于对合成 web服务业务流程的性能评 Petri网有图形表示，也有描述语言表示，两者之间的 价。文献[2]提出了基于一般Petri网的web服务合 转换可 以运用工具来完成。在有色Petri网的图形中， 成方法，它可以确保合成服