作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (24): 39-40. doi: 10.3969/j.issn.1000-3428.2009.24.013

• 博士论文 • 上一篇    下一篇

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

李景霞,程久军   

  1. (同济大学计算机科学与工程系,上海 201804)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-12-20 发布日期:2009-12-20

Hierarchical Colored Petri Net Description Model for Web Service Composition

LI Jing-xia, CHENG Jiu-jun   

  1. (Department of Computer Science & Engineering, Tongji University, Shanghai 201804)

  • Received:1900-01-01 Revised:1900-01-01 Online:2009-12-20 Published:2009-12-20

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

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

Abstract: Aiming at resource expression and correctness validation problem of Web service composition, this paper puts forward a formal description model for Web service composition process based on hierarchical colored Petri net. The model can describe control flow and data flow of Web service composition contemporarily, so it can describe composition process comprehensively. It supports correctness analysis and validation of composition process, and can simulate process instance run. Modeling instance demonstrates the effectiveness and practicality of the model.

Key words: hierarchical colored Petri net, model driven architecture, Web service composition

中图分类号: