教育论文网

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