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

第l9卷第4期计算机技术与发展V()1．19NO．4
2009年4月(、()MPI丌ERTECHNoIXjYANDDEVEI|OPfENTApr．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

WebServiceCompositionModelingBasedonColoredPetriNet

YINGHong，WUYu，GUOJiao
(CollegeofMathematicsandComputerScience，ChongqingThreeGorgesUniversity，Chongqing404000，China)

Abstract：HaveanalyzedinadequateofusinggeneralPenetstotheWebservicescompositionrrx~eling。havingputforwardtheim—

provementbycoloredPetrinet．HavegiventheformaldefinitionofWebservicesbasedoncoloredPenettheory．havedescribedthe

PetrinetmodeloffivekindsofbasicstructureofWebservicescoml~sition．Throughanexamples—schedule．haveanalyzedthedifferent

Wehservicesoftheschedule．havedescribedcoloredPetrinetmode1thatwerefmmacombinationofdifferentWebservicesformeda

scheduleserviceanddemonstratedadvantageoftheo01oredPetrinetintheWehservicescompositionnlodelmethods．

Keywords：webservices；coloredpetrinet；webservicenetmodel；compositionmodeling

O引言及其合成进行建模。
web服务合成是指将多个服务按照一定业务规
则组合成新服务的技术。合成之后的新服务被称为合1W曲服务Petri网模型
成服务，用于组成合成服务的子服务称为基本服务。1．1有色Petri网
目前，web服务合成的工具主要是BPELAWSE1J。但有色Petri网作为一种数学工具，被广泛应用于过
是，BPELAWS并没有为合成提供形式化的建模与分程的描述、分析和验证。与基本的Petri网类似，有色
析手段，不利于对合成web服务业务流程的性能评Petri网有图形表示，也有描述语言表示，两者之间的
价。文献[2]提出了基于一般Petri网的web服务合转换可以运用工具来完成。在有色Petri网的图形中，
成方法，它可以确保合成服务的控制流的可靠性。然有以下几个基本概念[J：
而，一般Petri网因无数据概念，不能精确表达web服(1)库所(place)，圆表示，描述系统状态。
务的语义，例如消息概念、服务操作集合等。由丹麦(2)变迁(transition)，矩形表示，描述系统活动。
KurtJensen提出的有色Petri网扩展了Petri网的token
(3)弧(arc)，箭头表示，描述变迁发生时系统状态
机制L3J，支持在网模型中token颜色的定义，以描述复
的变化。
杂的数据对象，从而使得有色Petri网在描述业务流程(4)令牌(token)，每个库所都有一个令牌集合，每
控制流的同时能描述流程中的数据流，更全面地刻画
个令牌包含一个给定类型的数据元素。
业务流程。因而文中利用有色Petri网来对web服务
定义J一个有色Petri网是一个九元组CPN

=(K，P，T，F，c，G，E，i，O)，其中：
收稿日期：2008—08—08
基金项目：重庆市科技计划项目(KJ081109)K是一个非空有限颜色集，K={k