基于赋时有色Petri网的Web组合服务建模.pdfVIP

第 37卷 第 1O期 计 算 机 科 学 Vo1．37No．10 2010年 1O月 Computer Science Oct2010 基于赋时有色 Petri网的Web组合服务建模 王玉英 陈 平 (西安电子科技大学软件工程研究所 西安 710071) (西安建筑科技大学理学院 西安710055)。 摘 要 面向 Web服务的业务流程执行语言BPEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的 任务。基于有色赋时Petri网，提出了从BPEL描述的Web组合服务流程到有色赋时Petri网模型的转换方法。在转 换过程中考虑了BPEL活动的执行方式和执行环境，如时间、环境属性等，给出了更为精确的模型，为更好地使用工具 和现有方法验证和测试 Web组合服务奠定了基础。并给 出了这种转换方法的应用实例。 关键词 组合服务 ，BPEL，模型，流程验证 中图法分类号 TP31l 文献标识码 A M odelsofWebServicesCompositionBasedollTimde ColorPetriNets W ANG Yu-ying’。 CHEN Ping (SoftwareEngineeringInstitute，XidianUniversity，Xi’an710071，China) (SchoolofScience，Xi’anTechnologyandArchitectureUniversity，Xi’an710055，China) Abstract BPEL iSoftenusedtodescribethecompositionofWebServices，butitiSlackofsoundformalsemantic．W eb serviceswereproneerrors．BasedonTimedColorPetriNet，transitionsfrom W ebServiceswhichwasdescribedusing BPEL toTimedColorPetriNetmodelswereproposed。whileBPELactivitiesexecutewaysandenvironmentswerecon— sidered．ThemodelswegetaremoreexacterandcanbeusedtoverifyandtestWebService．Aninstanceofthistransi— tlon weregiven． Keywords W ebService，BPEL，Model，Processverify 面向web服务的业务流程执行语言WSBPEL(也称为 局限在BPEL的结构上[2]。文献[5]中将基本活动看作原子 BPEL或 BPEL4WS，下面简称为 BPEL)是一种使用Web服 操作，模型中考虑了基本活动被跳过的情况。文献[1，4]中考 务定义和执行业务流程的语言。从 2002年 6月其首版发布 虑了原子活动的内部执行情况，所以建造的模型比较复杂。 以来，许多大公司加入 了BPEL技术委员会，包括 Adobe， 原有工作存在的问题： Hewlett—Packard，NEC，Oracle和 Sun公司，研究人员也对 (1)没有考虑在 (sequence)结构 中，前后相邻的两个活动 BPEL做了很多研究工作_】]。由于存在并发、补偿处理、死路 之间的关系和用(1ink)连接的两个活动之间关系的区别。 径删除等复杂特征[2]，BPEL流程容易出错。另外，BPEL流 (2)没有对 (flow结构内部做详细考虑，(flow)结构内部 程中可以通过调用的方式使用 Web服务的一些有价值的资 活动的执行受 (1