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

摘要：

web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块.利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求.随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错.给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程.还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性.

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

所属期刊栏目：36

分类号：TP393(计算技术、计算机技术)

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

在线出版日期：2009-12-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：146-149