基于颜色Petri网的服务组合建模与验证
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


Colored Petri Net-Based Service Composition Modeling and Verification
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

    Web服务组合技术能快速、灵活的满足复杂多变的业务需求, Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向. 给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述, 主要描述了4种组合结构: 顺序、选择、并发和循环. 给出了一个颜色Petri网建模Web服务组合的实例, 并且对模型进行了简单的正确性分析. 分析结果表明, 该建模方法满足正确性要求.

    Abstract:

    Using web service composition technology, business demand can be meet quickly and flexibly, formal description and verification of web services and their composition are very important research issues. A colored Petri net(CPN) based model is proposed to formally define and descript Web services and Web services composition, four structures of composition are mainly descript: sequence, choice, concurrent and loop, an example of web services composition modeled by Colored Petri net is proposed, the accuracy of the model is simply analyzed. The result shows that the demand of accuracy of the model is satisfied.

    参考文献
    相似文献
    引证文献
引用本文

余晓,吴剑章,王巍.基于颜色Petri网的服务组合建模与验证.计算机系统应用,2012,21(9):108-112,63

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2012-01-09
  • 最后修改日期:2012-02-23
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号