电子商务环境中业务流程的形式化分析与验证

发布时间：2017-07-19 12:00

  本文关键词：电子商务环境中业务流程的形式化分析与验证

  更多相关文章： 电子商务 业务流程 行为时序逻辑 形式化分析与验证 Petri网 业务流程执行语言

【摘要】：飞速发展的计算机网络被广泛应用于各领域，正在引领社会和经济的深刻变革。计算机网络已经成为人们生活和工作中的一个不可或缺的组成部分，基于计算机网络的“电子商务”正在迅猛发展。随着信息技术的快速发展和电子商务的广泛应用，传统业务流程已不能适应企业新的发展需要。业务流程的设计、建模、优化、重组及耦合等逐渐成为研究热点，为保证业务流程安全可靠和高效，必须借助形式化方法严格描述和验证业务流程。当代的企业要适应电子商务环境，必须使其业务流程符合电子商务环境中业务流程的特征，电子商务环境下的业务流程形式化分析是非常必要的。 目前国内外还缺乏针对电子商务环境下的业务流程进行准确形式化分析方法体系和自动验证，选题比较系统地研究分析电子商务环境下企业业务流程日益动态化、并发、柔性和跨组织等特性，研究如何把这些新特性引入行为时序逻辑，对TLA进行扩展，可以丰富业务流程形式化方法理论体系。对Petri网进行概述，分析Petri网如何转换到TLA，并提出进一步扩展的方法。介绍了业务流程执行语言BPEL，分析BPEL如何扩展到TLA，分析进一步扩展的可行性。本文使用行为时序逻辑TLA建模与仿真方法及其自动模型检测工具，对电子商务环境下的业务流程进行形式化分析与验证，可为企业实施业务流程再造提供理论基础和技术保障，丰富和发展业务流程形式化分析及自动验证方法理论体系，为日益复杂与动态化的业务流程分析验证提供新思路和新方法，，可以辅助企业研究设计高效可靠的业务流程，为企业创造更大的经济效益。
【关键词】：电子商务 业务流程 行为时序逻辑 形式化分析与验证 Petri网 业务流程执行语言
【学位授予单位】：贵州财经大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09;TP301.1
【目录】：

• 摘要4-5
• Abstract5-8
• 1 绪论8-15
• 1.1 业务流程形式化研究8-11
• 1.1.1 业务流程研究的发展8
• 1.1.2 业务流程形式化分析的方法和国内外研究现状8-10
• 1.1.3 业务流程形式化分析和验证的国内外研究现状10-11
• 1.2 选题的背景及意义11-13
• 1.3 本文的主要研究工作13
• 1.4 论文内容的结构安排13-15
• 2 行为时序逻辑 TLA15-23
• 2.1 形式化方法15-17
• 2.2 TLA 概述17-18
• 2.3 TLA 的语法与语义18-19
• 2.3.1 符号与语法18-19
• 2.3.2 基本定义与语义19
• 2.4 TLA 的应用19-21
• 2.5 TLA~+与 TLC21-22
• 2.6 本章小结22-23
• 3 Petri 网及其扩展23-35
• 3.1 Petri 网的定义24-25
• 3.2 Petri 网特性25-27
• 3.3 Petri 网的类型27-28
• 3.4 Petri 网的应用28-31
• 3.5 Petri 网的扩展31-32
• 3.6 Petri 网到 TLA 的转化32-34
• 3.7 本章小结34-35
• 4 BPEL 业务流程执行语言及其转化35-46
• 4.1 BPEL 业务流程执行语言35-39
• 4.1.1 BPEL 的发展过程35-36
• 4.1.2 BPEL 的结构36-39
• 4.1.3 BPEL 的语法39
• 4.2 BPEL 的应用39-40
• 4.3 BPEL 到 TLA 的转化40-45
• 4.4 本章小结45-46
• 5 行为时序逻辑 TLA 的扩展46-59
• 5.1 电子商务环境中业务流程的新特性46-48
• 5.1.1 柔性47
• 5.1.2 成本最小化47
• 5.1.3 时效性47-48
• 5.1.4 跨组织性48
• 5.2 对行为时序逻辑 TLA 进行理论扩充与改进48-49
• 5.2.1 增加新的谓词48
• 5.2.2 增加新的推演规则48-49
• 5.3 网上订票业务流程描述49-57
• 5.4 本章小结57-59
• 6 总结与展望59-61
• 6.1 总结59
• 6.2 展望59-61
• 参考文献61-64
• 附录A64-65
• 致谢65

【参考文献】

中国期刊全文数据库 前1条

1 刘晴晴;文静华;;基于TLA的业务流程形式化分析[J];计算机光盘软件与应用;2013年07期

本文编号：562728