基于Petri网的Web服务组合模型描述和验证.pdfVIP

第l9卷第12期 系 统 仿 真 学 报@ 、，01．19N0．12 2007年6月 Journal of System Simulation Jun一2(x】7 基于Petri网的Web服务组合模型描述和验证 张佩云，黄 波，孙亚民 (南京理工大学计算机科学与技术学院，南京 210094) 摘 要：Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于 Petri网l建模的优势，给出基于Petri网的Web服务的形式化定义和描述，对Web服务妇合进行建 模及元素映射，给出Petri网模型生成算法并对妇合服务模型的可达性、安全性、有界性与活性等 特性进行验证分析。最后是对一个具体的业务流程的建模和验证分析。由分析可知，该建模方法具 有一定的表达和验证Web服务组合模型的能力。 ， 关键词：Web服务；Pe 网；服务组合；服务组合验证 中图分类号：TP391 文献标识码：A 文章编号：1004—73IX(2007)l2-2872—05 Petri--Net--Based Description and Verification of Web Services Composition Model ZHANGPei—yun，HUANGBo，SUN Ya—min (School ofComputer Science＆Technology，Nanjing University ofScience＆Technology，Nanjing 210094，China) Abstract：Formal description and verification of web services and their composition are important research issues．The advantages were discussed for modeling web services composition using Petri net．Based on Petri net theory．the forma， definition and graphic description were proposedfor web services and their composition；the element mapping process was also llustrated．Then an algorithm was proposed to construct the Petr net model for web services composition．The reachability,safeness,boundness and liveness of the model were also validated．As an example，a concrete web services composition for a system was modeled and validated based on Petri net method．it showed that this modeling approach has enough capability in expressing and veritying web services composition． Key words：web services；Petri net；services composition；services composition verification