一种基于扩展颜色Petri网的Web服务组合验证机制  

Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net

作　　者：李景霞[1] 闫春钢[2] 

机构地区：[1]同济大学计算机科学与工程系,上海201804 [2]同济大学嵌入式系统与服务计算教育部重点实验室,上海201804

出　　处：《计算机科学》2009年第10期146-149,共4页Computer Science

基　　金：国家"八六三"高技术研究发展计划项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);国家"九七三"重点基础研究发展规划项目"语义网格的过程语义及其验证理论与服务集成技术"(2003CB316902)资助

摘　　要：Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。The development of Web service technology provides us a kind of platform-independent, self-described, location-transparent software module. Utilizing Web service composition technology, business demand can be met quickly and flexibly. As Web service composition becomes more and more complexity, design of composition process became more and more error-prone. We put forward a model for Web service composition description based on extended colored Petri net. This model is independent of any process description languages, supports hierarchical process description and can describe a more comprehensive process. Moreover,we also presented methods to validate control flow correctness, data flow correctness and process instance correctness of the process, thus we can insure the process correctness from these three levels.

关 键 词：层次颜色PETRI网 模型驱动架构 WEB服务组合 正确性分析 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]