BPEL流程异常处理的可终止性验证研究

	载入中...

BPEL流程异常处理的可终止性验证研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

BPEL流程异常处理的可终止性验证研究

论文目录
摘要	第14-15页
Abstract	第15-17页
第1章绪论	第17-23页
· 研究背景	第17-18页
· 研究动机	第18-19页
· 研究内容	第19-20页
· 论文的组织	第20-23页
第2章国内外相关研究综述	第23-47页
· BPEL流程及其异常处理的形式化建模与验证	第23-28页
· 基于Petri网的形式化建模与验证	第23-25页
· 基于进程代数的形式化建模与验证	第25-27页
· 基于抽象状态机的形式化建模与验证	第27-28页
· 基于自动机的形式化建模与验证	第28页
· 软件可终止性验证	第28-36页
· 基于演绎证明的可终止性验证	第28-32页
· 基于模型检测的可终止性验证	第32-36页
· 软件模型检测	第36-46页
· 模型检测方法	第36-40页
· 模型检测技术	第40-43页
· 模型检测工具	第43-45页
· 模型检测应用	第45-46页
· 本章小结	第46-47页
第3章 BPEL流程异常处理的形式化建模	第47-65页
· BPEL活动的建模	第48-53页
· 基本活动的建模	第48-52页
· 结构化活动的建模	第52-53页
· 异常处理的建模	第53-58页
· 异常抛出的建模	第53-55页
· 异常处理逻辑片段的建模	第55-56页
· 异常捕获的建模	第56-57页
· 异常返回及异常传播的建模	第57-58页
· BPEL流程异常处理的形式化模型	第58-63页
· 正常业务模块的形式化模型	第59页
· 异常处理模块的形式化模型	第59-60页
· 异常处理模块与正常业务模块的组合模块的形式化模型	第60-62页
· 模块的层次CPN模型	第62-63页
· 本章小结	第63-65页
第4章基于抽象解释的服务间消息数据的约减	第65-83页
· 抽象解释基本理论	第66-70页
· 抽象解释基本概念	第66-68页
· 经典的区间抽象域	第68-70页
· BPEL流程中数据类型的区间抽象域扩展	第70-74页
· 字符串类型区间抽象域及域操作	第70-71页
· 布尔型区间抽象域及域操作	第71-72页
· 异常类型区间抽象域及域操作	第72-74页
· BPEL流程中变量值范围分析	第74-80页
· BPEL流程的异常控制流图的相关定义	第74-75页
· 基于抽象解释的值范围分析	第75-80页
· 输入消息变量的数据约减分析	第80-82页
· 本章小结	第82-83页
第5章基于模型检测的异常处理可终止性验证	第83-103页
· 状态空间的生成	第83-87页
· 计算状态空间的选项设置	第83-86页
· 状态空间的生成	第86-87页
· 异常处理可终止性规约的形式描述	第87-95页
· 可终止性的形式定义	第87-91页
· 可终止性的ASK-CTL规约	第91-95页
· 异常处理的可终止性验证	第95-101页
· 验证算法	第96-100页
· 验证过程	第100-101页
· 本章小结	第101-103页
第6章异常处理的可终止性验证系统	第103-123页
· 异常处理可终止性验证系统概述	第103-107页
· 验证系统的功能需求	第107-111页
· 异常控制流图构建工具的功能	第107-108页
· 异常处理形式化建模工具的功能	第108-109页
· 输入消息变量的数据约减工具的功能	第109-110页
· 可终止性模型检测工具的功能	第110-111页
· 验证系统的总体设计	第111-115页
· 异常控制流图构建工具的体系结构	第111-112页
· 异常处理形式化建模工具的体系结构	第112-113页
· 输入消息变量的数据约减工具的体系结构	第113-114页
· 可终止性模型检测工具的体系结构	第114-115页
· 关键实现算法	第115-122页
· BPEL流程异常控制流图的构建算法	第115-121页
· CPN模型自动生成算法	第121-122页
· 本章小结	第122-123页
第7章案例研究	第123-141页
· 场景描述	第123-125页
· 应用场景描述	第123页
· 异常场景描述	第123-125页
· 应用案例	第125-137页
· 异常处理形式化建模方法在案例中的应用	第126-131页
· 数据约减方法在案例中的应用	第131-134页
· 可终止性验证方法在案例中的应用	第134-137页
· 分析与评估	第137-139页
· 本章小结	第139-141页
第8章总结和未来研究工作	第141-143页
· 论文主要贡献	第141-142页
· 下一步的研究工作	第142-143页
参考文献	第143-153页
附录1 攻读博士学位期间发表的文章	第153-155页
附录2 攻读博士学位期间参与的研究项目	第155-157页
致谢	第157-158页
附件	第158-159页

本篇论文共159页，点击这进入下载页面。

更多论文
BPEL流程异常处理的可终止性验证研
Web服务组合及其异常处理的关键技术
基于区域的遥感影像多尺度表达方法
执政党公共形象传播研究
数字图书馆知识服务的情境影响因素
改革开放以来中国新闻记者的职业意
基于激光诱导击穿光谱技术的原油元
长湖浮游生物群落结构及水质生物学
氧化石墨烯对作物种子萌发及幼苗生
植物耐铝相关GmNramp5Like基因和Os
猪脑心肌炎HB10株的3C蛋白酶对Ⅰ型
基于多源遥感的江苏省油菜及其同物
参与式GIS在国土空间规划中的应用研
基于SVG的地图符号库扩展及可视化编
基于MODIS-TVDI方法的新疆干旱监测
苏里格气田东区下古生界马家沟组马
剩余油分布规律与评价方法研究——
焦石坝地区志留系龙马溪组含气页岩
裂缝性碳酸盐岩储层饱和度评价方法
大庆油田北二西区剩余油成因分析
一种电火花震源的控制监护系统设计
楚雄盆地构造演化及油气成藏条件研
基于prony变换的地震波吸收衰减特性
利用测井和三维地震资料综合进行沉
桂中坳陷泥盆系沉积相及岩相古地理
柴达木盆地昆北油田切12区下干柴沟
麻黄山西区块长6、长8油组油藏储层
松辽盆地南部让53致密区扶余油层储
鄂尔多斯盆地红河油田长8油层组储层
晋县凹陷古近系油气运移与富集规律
南方富有机质页岩复电阻率测试分析
高性能超声反射测井仪控制部分设计
苏里格气田苏14、桃7区块盒_8-
南海西部油田高温高压储层敏感性研
准噶尔盆地南缘霍玛吐背斜带中上组
大民屯凹陷变质岩潜山裂缝储层预测
准噶尔盆地南缘霍玛吐背斜带中上组
一种新型钻孔雷达天线仿真设计
页岩气地质建模分析——以四川盆地
地—井高精度电磁法探测煤田积水采
准噶尔盆地车排子凸起春光区块古近
英东地区产能评价研究
蠡县斜坡北段沙一下成藏过程研究
江汉盆地陈沱口地区新沟嘴组下段沉
江陵凹陷新沟嘴组新下1沉积体系研究
济阳坳陷页岩油测井评价方法研究
微地震数据去噪方法研究
薄储层识别与评价在伊拉克H油田的应
新沟地区新下Ⅱ油组储层特征研究
基于Bayes理论的遗传退火反演方法研
马厂北部复杂带地震资料处理解释
涠洲S1-S3油田地质建模研究
吉林油田致密油气藏储层敏感性评价
CSAMT 二维正反演
塔中奥陶系储层特征与流体流动特征
新立油田Ⅳ区块单砂体精细刻画与剩
多通道井间地震观测系统的设计
复杂地区高精度三维速度场的研究及
致密砂岩气藏裂缝测井评价方法研究
苏里格气田苏5、苏20区块盒_8<
基于OSG的地质模型Web可视化方法研
辽河坳陷雷家地区碳酸盐岩储层预测
白云凹陷北坡珠江组沉积体系分析
王集油田东区核三段沉积相研究
基于RPM测井剩余油饱和度解释方法研
不同环境成因腐殖煤生气潜力差异的
陈沱口地区盐间非砂岩地层地球物理
川南地区古生界构造特征及其对页岩
什邡—德阳—广金地区JP气藏储层评
伊通盆地大南洼陷储层预测及有利区
川东北普光地区须家河组—千佛崖组
大牛地气田大47-大70井区山西组储层
弹性波CT软件设计及其在模型分析中
召51、苏77区块下古生界马家沟组马
苏北盆地中新生代构造演化及其与油
辽河坳陷太古界变质岩潜山储层研究
塔里木油田哈的区块碎屑岩储层保护
新疆某地区音频大地电磁测深三维反
低信噪比微地震监测方法与技术研究
豫西地区中古生代构造特征与演化研
三维物探资料在镇巴区块地质研究中
成都凹陷沙溪庙组沉积特征研究
拉拉铜矿地质地球化学特征与成矿模
镇泾区块代家坪长8段构造精细解释与
基于V5-2000格式MT时间序列处理与功
页岩油“甜点”地球物理预测方法研
海相碳酸盐岩地层孔隙压力预测研究
基于多矿物模型的复杂火山碎屑岩储
高性能超声反射测井仪设计与实现
河间南地区精细构造解释与目标评价
稠油热采双管封隔器关键问题的研究
席状砂稠油油藏水驱开发井网优化
长距离输气管道的水合物生成预测
哈得区块保护储层的钻井液技术研究
水平井产能预测方法的研究
顺9井区水平井分段压裂技术研究
临盘油田边底水油藏人工水驱提髙采

BPEL流程论文异常处理论文可终止性验证论文模型检测论文
版权申明：目录由用户yyyy**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved