基于着色Petri网的Web服务组合建模.pdfVIP

第30卷第6期 江西理工大学学报 v01．30，N。．6 2009年 12月 JOURNALOFJIANGXIUNIVERSITYOFSCIENCEANDTECHNOLOGY Dec．2009 文章编号：1007—1229(2009)06—0030—04 基于着色Petri网的Web服务组合建模 李淑芝a， 彭 洁 IIb， 杨书新 。 (江西理工大学 ，＆信息工程学院洳．应用科学学院，江西赣州 341000) 摘 要：用经典Petri网对Web服务组合建模，其令牌类型的单一性不利于对模型的理解．针对 这种不足，提出了一种基于着色Petri网的建模方法，给出了Web服务网系统结构的静态和动态 特性，而且还给出了一个用着色Petri网建模的实例．应用结果表明，利用着色Petri网建立的模 型具有较强的解释性和扩展性． 关键词：web服务组合；着色Petri网；服务网 中图分类号：TP311 文献标识码 ：A W ebServiceCompositionM odelingBasedonColoredPetriNet LIShu-z~。，PENG Jie。．v，YANG Shu-~n (a．FacultyofInformationEngineering；b．FacultyofAppliedScience，JiangxiUniversityofScienceandTechnology，Ganzhou341000，China) Abstract：ModelinginWeb servicecomposition bytheclassicalPetrinetisnotsuitableforunderstandingthe modelbecauseofthesinglekindofitstoken．Tosolvethedeficiency．amethodofmodelingbasedoncoloredPetri net(CPN1isdeveloped．Basedonthismethodthesystem’sstruetureofWebservicenetsinbothstaticanddynamic conditionsiSprovided．MoreoveranapplicationinstanceofthemodeliSpresentedbasedoncoloredPetrinet．The applicationresultsshowthatthemodelingmehtodinCPNCallenhancetheexplanatorypowerandscalba ility． Keywords：webservicecomposition；coloredPetrinet；servicenets 服务组合的分析，而基于形式化的组合方法恰恰克 0 前 言 服了这种缺陷． 近年来，随着 Internet的日益发展，web服务作 基于形式化的Web服务组合方法中的一个重 为一种部署在网络上新型的应用程序应运而生． 要方法：Petri网．它是一种基于状态的建模方法 ， web服务[1]是一种面向服务的分布式模型，它为基 具有直观的图形表示、形式化语义定义、丰富的分 于组件的系统开发提供了平台独立、自描述、自包 析技术等优点．文献[3】采用Petri网对Web服务组 含的组件．然而单一的Web服务功能毕竟有限，因 合进行建模，但模型中令牌类型的单一性和变迁发 此有必要将共享的Web服务组合起来产生一个新 生条件的简单性，不利于对模型的理解．为了克服上 的Web服务，以此来满足 日趋复杂的业务需求，所 述不足，本研究提出了一个基于着色Petri网t％Col— 以Web服务组合逐渐成为web服务研究的热点． oredPetriNet，CPN)的Web服务组合建模． 目前 ，诸多方法都应用于Web服务组合，从整体上 目前 ，已有一些基于CPN的web服务组合建 分为三大类：①基于工作流；②基于人工智能；③基 模的研究成果．文献[5】提出了一种基