| Web服务的颜色Petri网模型及验证 |
| |
| 引用本文： | 李景霞,赵慧娟.Web服务的颜色Petri网模型及验证[J].计算机应用与软件,2011,28(3). |
| |
| 作者姓名： | 李景霞 赵慧娟 |
| |
| 作者单位： | 1. 同济大学计算机科学与工程系,上海,201804
2. 上海海洋大学信息学院,上海,201306 |
| |
| 基金项目： | 国家高技术研究发展计划项目，国家重点基础研究发展规划项目 |
| |
| 摘 要： | 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求.针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程.该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性.
|
| 关 键 词： | 颜色Petri网 模型驱动体系结构 形式化描述模型 Web服务组合验证 |
DESCRIPTION AND VALIDATION OF WEB SERVICE COMPOSITION BASED ON COLOURED PETRI NET |
| |
| Li Jingxia,Zhao Huijuan.DESCRIPTION AND VALIDATION OF WEB SERVICE COMPOSITION BASED ON COLOURED PETRI NET[J].Computer Applications and Software,2011,28(3). |
| |
| Authors: | Li Jingxia Zhao Huijuan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
