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

计 算 机 系 统 应 用 2012 年 第 2 1 卷 第 9 期 ① 基于颜色 Petri 网的服务组合建模与验证 1 2 2 余 晓 , 吴剑章 , 王 巍 1(东南大学 继续教育学院, 南京 210096) 2(东南大学 计算机科学与工程学院, 南京 210096) 摘 要: Web 服务组合技术能快速、灵活的满足复杂多变的业务需求, Web 服务组合及其形式化描述和验证已经 成为 Web 服务中一个非常重要的研究方向. 给出了一个基于颜色 Petri 网(CPN)的Web 服务和 Web 服务组合的形 式化定义和描述, 主要描述了 4 种组合结构: 顺序、选择、并发和循环. 给出了一个颜色 Petri 网建模Web 服务组 合的实例, 并且对模型进行了简单的正确性分析. 分析结果表明, 该建模方法满足正确性要求. 关键词: Web 服务组