Web服务事务处理研究与实现
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→工业技术论文→
自动化技术、计算机技术论文
→
计算技术、计算机技术论文
→
计算机软件论文
→
程序设计、软件工程论文
→
程序设计论文
Web服务事务处理研究与实现
论文目录
摘要
第1-5 页
ABSTRACT
第5-7 页
目录
第7-10 页
第一章 绪论
第10-24 页
· 引言
第10-11 页
· 研究现状
第11-20 页
· 事务分类
第11-13 页
· 事务的形式化研究现状
第13-20 页
· 事务的实现现状
第20 页
· 存在问题
第20-21 页
· 本文的主要工作
第21-22 页
· 本文的组织
第22-24 页
第二章 多元π演算
第24-30 页
· 引言
第24 页
· 语法
第24-25 页
· 迁移语义
第25-27 页
· 互模拟
第27 页
· 算子
第27-28 页
· MWB工具介绍
第28-30 页
第三章 WEB服务原子事务提交协议的形式化描述与模型检验
第30-40 页
· 引言
第30-32 页
· WS-AT协议
第32-35 页
· 状态转换图和状态转换表
第34-35 页
· WS-AT的2PC协议形式化描述
第35-36 页
· WS-AT的2PC协议的原子性证明
第36-38 页
· 本章小结
第38-40 页
第四章 WEB服务业务事务协调协议的形式化描述与模型检验
第40-54 页
· 引言
第40 页
· WS-BA协议
第40-44 页
· 状态转换图和状态转换表
第42-44 页
· 扩展的BAPC协议
第44-46 页
· BAPC的形式化描述
第46-47 页
· BAPC模型检验
第47-52 页
· 持久性
第47-49 页
· 可终止性
第49-50 页
· 局部原子性
第50-52 页
· 本章小结
第52-54 页
第五章 事务工作流的实现框架
第54-62 页
· 引言
第54-55 页
· 实现框架的原理及组成
第55-60 页
· 数据结构
第55-56 页
· 扩展的BPEL语言
第56-57 页
· 组合验证工具
第57-58 页
· 工作流引擎
第58-59 页
· 事务管理与监控器
第59 页
· 事务协调器
第59-60 页
· 两种事务管理体系
第60 页
· 基于实现框架的系统总体结构
第60-61 页
· 本章小结
第61-62 页
第六章 结束语
第62-64 页
· 论文的主要贡献
第62-63 页
· 未来进一步的工作
第63-64 页
参考文献
第64-70 页
附录1 WS-AT协议的2PC协议的状态转换表
第70-72 页
附录2 WS-BA的参与者主动提交协议的状态转换表
第72-76 页
附录3 WS-BA的协调者主动提交协议的状态转换表
第76-80 页
附录4 攻读硕士学位期间发表的学术论文
第80-82 页
附录5 致谢
第82-84 页
本篇论文共
84
页,
点击这进入下载页面
。
更多论文
Web服务事务处理研究与实现
地方国库现金管理体系构建研究
GnRHR和FSHβ基因多态性与奶山羊和
生物识别技术中的智能算法
人民银行交存款管理流程改进--以德
3个绵羊品种BMPR-IB、BMP15、GDF9和
基于遗传算法的试题库智能组卷研究
我国商业银行营销战略分析
Calsarcin-1、GHRH基因多态性与4个
基于词界字分词技术的机器评卷系统
农村信用社零售信用风险管理研究--
Inhibin和STAT5A基因多态性与奶山羊
中小学教师信息技术能力培训的研究
欠发达地区农村金融服务供需失衡分
三种维生素对牛冷冻精液品质的影响
开放型网络课程资源建设比较研究
临沂市银行业盈利能力比较分析
中国四个牛品种Hesx1、Pitx2和Weav
Snake模型在轮廓提取中的应用
国内商业银行柜面业务操作风险控制
中国家马mtDNA D-loop区遗传多样性
中学生信息素养培养策略研究
金融危机后我国商业银行中间业务发
微卫星遗传标记在绍兴鸭亲权鉴定、
基于混沌序列和细胞自动机的数字水
基于商业银行视角的政府增信与中小
基于混沌的数字图像水印算法及应用
中国9个地方山羊品种遗传多样性的微
我国银保合作发展策略选择
基于矩特征和BP神经网络的步态识别
中国13个家驴品种mtDNA Cyt b基因及
建设银行山东省分行操作风险管理研
中国家马mtDNA Cyt b基因遗传多样性
试题库系统智能组卷与试卷分析的研
枣庄A银行网点排队问题研究
现生野猪头骨解剖形态学与仰韶文化
基于集群系统的三维图像重构并行技
中国证券行业财富管理业务发展策略
卵母细胞来源和胚胎体外培养条件对
数字图像水印技术
郯城县农村信用社对农民收入增长影
嘉峪关市鸡新城疫血清流行病学调查
基于小波和神经网络的车牌识别系统
农村信用社发展研究
牛对盒基因6和同源盒基因4遗传特性
着眼于大学生信息素养培养的大学计
大学生信用卡顾客忠诚度影响因素的
Blog在中职学校信息技术教学中的应
奶山羊乳腺上皮细胞系的建立及脂肪
我国区域性中小银行贷款利率定价研
实现公平性的拥塞控制算法研究
氯氰碘柳胺缓释剂的研制及其药效学
现阶段商业银行再融资行为分析--以
互联网络容错性质分析
抗猪瘟病毒E2蛋白中和性单克隆抗体
基于决策树的邮件分类技术研究
银行视角下的中小企业融资担保问题
融合猪瘟病毒非编码区报告基因载体
信息家电安全的研究
人民币汇率升值对中国外贸的影响及
Web服务事务论文
π演算论文
形式化分析论文
事务工作流论文
版权申明
:目录由用户
zhangxiao20**
提供,
www.51papers.com
仅收录目录,作者需要删除这篇论文目录
请点击这里
。
|
设为首页
||
加入收藏
||
站内搜索引擎
||
站点地图
||
在线购卡
|
版权所有
教育论文网
Copyright(C) All Rights Reserved