基于SOFL的业务流程分析技术研究

论文摘要

随着Web服务技术的兴起,为了在企业级构建合适的基于SOA的应用系统,如何正确的Web服务组合和验证成为业务流程建模的关键的步骤。在业务流程建模中,Web服务组合验证能够提前发现Web服务组合中存在的问题,以确保正确可用的服务组合投入使用,从而提高服务组合执行的成功率和用户满意度。因此,如何有效的对业务流程分析和设计成为当今研究的热点。由于SOFL的形式化方法可以为我们提供一种比较严谨却又不失工程性的方法,因此在本文中采用该方法来描述工作流,工作流的实现是由服务的组合来完成的,对于服务的功能性需求选择,重要的在于验证组合出的服务是否符合用户的需求,假如设计出的工作流是可验证的,那么就可判断出组合出的服务是否与需求相一致。本文在描述工作流方面摒弃了以往设计工作流采用一种特定的工作流描述语言的方式,而是先抽象出工作流的核心集合,工作流的描述基于该核心集合。同时为了适应不同领域的模型,在工作流核心集合的基础上增加了扩展方法。利用SOFL的相关理论知识形式化描述工作流,并提出了一个利用形式化方法严格复审和验证工作流的框架。该框架可以指导用户检查设计出的工作流的数据缺陷、内部不一致性、不完备性,并判定它是否满足用户需求。为了能够兼容现有的工作流,本文还提出了可以把SOFL设计的工作流转换为BPEL的方法,从而使用形式化方法描述的工作流可以在支持BPEL的应用服务器中使用。

论文目录

• 摘要
• ABSTRACT
• 1 绪论
• 1.1 研究背景
• 1.2 研究内容
• 1.3 论文的组织结构
• 2 相关介绍
• 2.1 工作流技术研究现状
• 2.1.1 工作流的发展现状
• 2.1.2 工作流描述规范
• 2.2 形式化方法描述工作流
• 2.2.1 形式化方法
• 2.2.2 形式化工程方法和SOFL 概述
• 2.2.3 形式化描述工作流
• 2.3 本章小结
• 3 基于SOFL 的可验证工作流框架
• 3.1 可扩展的工作流元模型
• 3.1.1 工作流核心集
• 3.1.2 工作流核心集的扩展机制
• 3.2 基于SOFL 的工作流分析框架
• 3.2.1 SOFL 规约分析
• 3.2.2 SOFL 复审范围
• 3.2.3 SOFL 验证的范围
• 3.3 本章小结
• 4 基于SOFL 的工作流复审和验证方法
• 4.1 复审任务树和最小割
• 4.1.1 RTT 任务树
• 4.1.2 最小割集（Minimal Cut Sets）
• 4.2 基于SOFL 的工作流复审和验证机制
• 4.2.1 形式化复审工作流
• 4.2.2 形式化验证工作流
• 4.3 本章小结
• 5 基于SOFL 的工作流分析编辑器的设计
• 5.1 引言
• 5.2 工具设计结构
• 5.2.1 工作流分析编辑器的架构
• 5.2.2 工作流语法和语义分析
• 5.2.3 工作流分析
• 5.3 基于SOFL 的可转换工作流机制
• 5.3.1 SOFL 转换BPEL 的机制
• 5.4 本章小结
• 6 工作流分析编辑器的实现
• 6.1 工具概述
• 6.2 工作流设计模块
• 6.2.1 工作流设计模块的功能
• 6.3 工作流规约编辑模块
• 6.4 工作流分析模块
• 6.5 工作流分析案例
• 6.6 本章小结
• 7 总结与展望
• 参考文献
• 致谢
• 攻读学位期间发表的学术论文
• 附录1