题目：一种基于BPEL的工作流建模系统研究与实现

Internet/Intranet技术与分布式对象技术在企业应用系统中的广泛应用，对企业业务系统间的互操作性和业务系统的敏捷性提出了新的需求。Web服务工作流技术针对新需求，将Web服务技术和工作流技术相融合, 为构建基于Internet的企业业务系统提供了一个新的思路。目前，Web服务技术在企业信息系统中逐步得到广泛应用，基于Web服务的工作流技术已经成为Web服务技术的研究热点和重要应用方向。基于Web服务的工作流建模研究是Web服务工作流技术研究的一个重要组成部分。目前国内外对Web服务工作流建模展开了大量研究工作，其中在流程描述语言方面，BPEL规范已成为业界Web服务工作流描述语言标准；但在建模系统方面，仍存在标准支持、建模效率和流程模型正确性保证方面的问题。本文研究了BPEL规范，定义了一种基于BPEL的、图形化的流程表示模型，设计了一种流程图形表示与BPEL文档转换的方法，并以此为基础，在分析了Web服务建模系统相关问题后，提出了系统的体系结构，设计并实现了一个具有调试功能的工作流建模系统；最后通过实际的应用案例对系统的功能进行了分析。论文工作的主要特点体现在如下三个方面：1. 通过对BPEL规范的深入分析，结合可视化建模的需求，设计了一种基于BPEL的、图形化流程表示模型BPELGPRM。BPELGPRM基于BPEL规范，具有良好的流程描述能力；BPELGPRM由基于BPEL的流程表示模型和图形化流程表示模型两个子模型构成，这种将BPEL信息和图形化信息分离的设计使模型具有良好的可扩展性；此外，图形化流程表示模型中结构图元的设计简化了建模的复杂度，提高了建模的效率。2. 本文还设计了一种流程模型图形表示与BPEL文件转换的方法和一种自动布局算法。前者一方面保证了工作流引擎可以理解的流程描述文件的生成，另一方面与后者结合，可以将任意一个符合BPEL规范的文件转换为流程模型图形表示，这就使得已有工作流模型描述可以被重用，无需每次都重新进行建模，提高了建模的效率。3. 我们引入了基于堆栈执行机制的工作流引擎，提供断点和调试命令两种方式实现引擎单步执行，并以可视化形式提供了引擎执行状态跟踪、变量查询更改和对流程的修改等功能，实现动态调试，确保了流程模型的正确性。