| 基于颜色Petri网的服务组合建模与验证 |
| |
| 引用本文： | 余晓,吴剑章,王巍. 基于颜色Petri网的服务组合建模与验证[J]. 计算机系统应用, 2012, 21(9): 108-112,63 |
| |
| 作者姓名： | 余晓 吴剑章 王巍 |
| |
| 作者单位： | 1. 东南大学 继续教育学院, 南京 210096
2. 东南大学 计算机科学与工程学院, 南京 210096 |
| |
| 摘 要： | Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.
|
| 关 键 词： | Web服务组合 颜色Petri网(CPN) 建模 验证 |
| 收稿时间： | 2012-01-09 |
| 修稿时间： | 2012-02-23 |
Colored Petri Net-Based Service Composition Modeling and Verification |
| |
| YU Xiao,WU Jian-Zhang and WANG Wei. Colored Petri Net-Based Service Composition Modeling and Verification[J]. Computer Systems& Applications, 2012, 21(9): 108-112,63 |
| |
| Authors: | YU Xiao WU Jian-Zhang WANG Wei |
| |
| Affiliation: | 1(Sehool of Continuing Education, Southeast University, Nanjing 210096, China) 2(School of Computer Science ＆ Engineer, Southeast University, Nanjing 210096, China) |
| |
| Abstract: | |
| |
| Keywords: | web services colored petri net （CPN） model verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
