科创中国

基于颜色Petri网的服务组合建模与验证

原文链接：万方

• 作者：

  余晓,吴剑章,王巍

• 摘要：

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

• 关键词：

  Web服务组合 颜色Petri网(CPN) 建模 验证

• 作者单位：

  东南大学继续教育学院%东南大学计算机科学与工程学院

• 来源期刊：

  计算机系统应用

• 年，卷(期)：

  2012009