基于扩展颜色Petri网的Web服务组合建模研究
Web服务组合论文 层次颜色Petri网论文 Web服务组合模型论文 Web服务组合模型正确性分析论
论文详情
Web服务技术日趋成熟,提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活的满足复杂多变的业务需求。当前Web服务组合的建模、分析验证、仿真运行等方面的研究还不完善,本文针对这些不足展开研究,具体研究成果如下: 1.提出了一个Web服务组合模型WSC_ECPN。该模型借鉴了模型驱动体系结构的思想,基于形式化模型—扩展颜色Petri网,能对Web服务组合进行描述、分析验证及仿真运行,且模型独立于具体Web服务组合描述语言;模型将Web服务组合的描述细化到Web服务操作,能同时描述控制流和数据流,支持层次化Web服务组合描述,并以图形方式表示Web服务组合,精确、全面、清晰、直观的刻画了Web服务组合。 2.首先给出了WSC_ECPN模型语法正确性检测算法,然后从四个层面对WSC_ECPN模型的正确性进行了分析检测:控制流正确性:给出了WSC_ECPN模型控制流正确性的形式化定义及检测算法;数据依赖正确性:分析了数据依赖错误产生的原因,并给出了检测数据依赖错误的算法;控制依赖与数据依赖冲突:分析了冲突产生的原因并给出了冲突检测算法;Web服务操作间数据映射正确性:给出了数据映射正确性定义并给出了相应检测算法。通过以上算法能有效检测出模型中存在的错误并给出错误提示信息,为模型的改正提供了参考,确保了模型的正确性。 3.给出了WSC_ECPN模型的动态运行规则,严格定义了模型的执行语义。通过初始化函数设定具体参数将模型实例化,应用模型的动态运行规则,能实现模型实例的仿真运行,根据仿真运行结果能进一步检测模型设计中选择条件设置的正确性。 4.给出了Web服务组合原型系统的实现,提供图形化的Web服务组合流程设计、Web服务组合正确性分析检测功能。
摘要 | 第3-5页 |
目录 | 第5-7页 |
图目录 | 第7-8页 |
表目录 | 第8-9页 |
第一章 绪论 | 第9-15页 |
1.1 研究背景 | 第9-12页 |
1.2 本文工作 | 第12-13页 |
1.3 论文组织 | 第13-15页 |
第二章 WEB服务及WEB服务组合技术 | 第15-33页 |
2.1 WEB服务介绍 | 第15-21页 |
2.1.1 Web服务体系结构 | 第15-16页 |
2.1.2 Web服务协议栈 | 第16-20页 |
2.1.3 Web服务特点 | 第20-21页 |
2.2 WEB服务组合技术 | 第21-30页 |
2.2.1 Web服务组合语言 | 第22-23页 |
2.2.2 Web服务组合建模 | 第23-28页 |
2.2.3 Web服务组合系统 | 第28-30页 |
2.3 WEB服务组合建模当前研究分析 | 第30-32页 |
2.4 本章小结 | 第32-33页 |
第三章 WEB服务组合模型WSC_ECPN | 第33-55页 |
3.1 PETRI网介绍 | 第33-36页 |
3.1.1 Petri网定义 | 第34-35页 |
3.1.2 Petri网动态运行规则 | 第35-36页 |
3.2 层次颜色PETRI网介绍 | 第36-40页 |
3.2.1 颜色Petri网定义 | 第37-38页 |
3.2.2 层次颜色Petri网定义 | 第38-40页 |
3.3 WEB服务组合模型WSC_ECPN | 第40-51页 |
3.3.1 WSC_ECPN模型定义 | 第40-44页 |
3.3.2 WSC_ECPN模型特点 | 第44页 |
3.3.3 WSC_ECPN模型描述能力分析 | 第44-51页 |
3.4 基于WSC_ECPN的层次化设计 | 第51页 |
3.5 基于WSC_ECPN的建模实例 | 第51-53页 |
3.6 本章小结 | 第53-55页 |
第四章 WSC_ECPN模型分析与检测 | 第55-85页 |
4.1 WSC_ECPN模型语法正确性检测 | 第55-59页 |
4.2 WSC_ECPN模型控制流正确性分析检测 | 第59-65页 |
4.2.1 WSC_C_(on)PN定义 | 第59页 |
4.2.2 WSC_C_(on)PN变迁引发规则 | 第59-60页 |
4.2.3 WSC_C_(on)PN正确性定义 | 第60-61页 |
4.2.4 WSC_C_(on)PN错误分析 | 第61页 |
4.2.5 WSC_C_(on)PN正确性检测 | 第61-65页 |
4.3 WSC_ECPN模型数据依赖正确性分析检测 | 第65-73页 |
4.3.1 WSC_ECPN模型数据依赖关系 | 第66-68页 |
4.3.2 WSC_ECPN模型数据依赖错误分析 | 第68-69页 |
4.3.3 选择分支间数据依赖检测 | 第69-72页 |
4.3.4 循环数据依赖检测 | 第72-73页 |
4.4 WSC_ECPN模型数据依赖与控制依赖冲突分析检测 | 第73-79页 |
4.4.1 WSC_ECPN模型控制依赖关系及依赖关系 | 第73-77页 |
4.4.2 WSC_ECPN模型数据依赖与控制依赖冲突分析 | 第77-78页 |
4.4.3 WSC_ECPN模型数据依赖与控制依赖冲突检测 | 第78-79页 |
4.5 WEB服务操作间数据映射正确性分析检测 | 第79-82页 |
4.5.1 数据映射正确性定义 | 第79页 |
4.5.2 数据映射正确性检测 | 第79-82页 |
4.6 本章小结 | 第82-85页 |
第五章 WSC_ECPN模型动态运行仿真 | 第85-91页 |
5.1 WSC_ECPN模型动态运行规则 | 第85-86页 |
5.2 WSC_ECPN模型实例设定与仿真运行 | 第86-89页 |
5.2.1 模型实例的设定 | 第86-87页 |
5.2.2 模型实例的仿真运行 | 第87-89页 |
5.3 流程实例的仿真运行过程 | 第89页 |
5.4 本章小结 | 第89-91页 |
第六章 WEB服务组合原型系统的实现 | 第91-95页 |
6.1 项目背景 | 第91页 |
6.2 系统总体架构 | 第91-92页 |
6.3 原型实现 | 第92-94页 |
6.3.1 数据类型及变量声明 | 第92页 |
6.3.2 流程设计 | 第92-93页 |
6.3.3 流程正确性分析检测 | 第93-94页 |
6.3.4 流程实例设定及仿真运行 | 第94页 |
6.4 本章小结 | 第94-95页 |
第七章 结束语 | 第95-97页 |
7.1 本文工作总结 | 第95-96页 |
7.2 进一步研究方向 | 第96-97页 |
参考文献 | 第97-104页 |
致谢 | 第104-105页 |
作者简介 | 第105页 |
论文购买
论文编号
ABS1812413,这篇论文共105页
会员购买按0.30元/页下载,共需支付
31.5。
不是会员,
注册会员!
会员更优惠
充值送钱!
直接购买按0.5元/页下载,共需要支付
52.5。
只需这篇论文,无需注册!
直接网上支付,方便快捷!
相关论文