Web服务组合的层次颜色Petri网描述模型

摘要：

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行.建模实例验证了该模型的有效性和实用性.

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

所属期刊栏目：35

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

资助基金：国家"863"计划基金资助项目"可靠的服务组合方法及其验证技术研究"2007AA01Z136;上海市重点攻关基金资助项目08251203403

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

页数：共3页

页码：39-40,44