● 摘要
近年来，基于业务流的应用系统使用越来越广泛，高效合理的业务流程往往能给企业节约大量的成本，因此如何利用计算机分析业务流程并对业务流程进行优化是很多研究人员都在研究的问题。论文针对此问题展开研究，首先，从体系结构的角度出发，利用基于DoDAF框架的体系结构来描述业务过程信息，生成业务过程的相关视图，该视图能准确的反映业务流系统中业务过程的详细细节，为系统开发人员提供一种全新的开发方式，为系统使用人员提供一种熟悉系统功能的手段。其次，利用DoDAF模型数据，建立基于DoDAF的对象Petri网模型，利用Petri网分析方法，对系统内目标可达性进行验证，并对系统性能进行分析，为系统开发人员及系统维护人员提供业务流程优化方面的指导。最后设计并实现了一个基于DoDAF的业务流系统视图生成原型系统，并对原型系统进行了实验验证。
论文的主要的工作如下：
给出了业务过程描述的一种解决方案。体系结构为解决大型、复杂信息系统建设提供有效机制，而DoDAF框架定义了体系结构相关视图，该框架能更加直观的反映业务流系统业务过程信息，通过对其精简及扩展，添加能反映业务过程动态特性的产品，使其成为适用于业务流系统的业务过程描述方法，并方便对业务流程进行分析。
研究了基于DoDAF业务流系统视图生成技术的关键算法：基于DoDAF业务流系统视图生成算法及业务流系统合理性检测算法。并详细介绍了算法的基本原理和实现机制，对算法进行了时间复杂度分析。
设计并完成了基于DoDAF业务流系统视图生成原型系统，该原型系统主要包括三个模块： 文件解析模块、视图生成模块和合理性分析模块。
针对已完成的原型系统，对关键功能模块进行了实验验证。实验结果表明：对现有的业务流系统进行分析，能生成基于DoDAF体系结构相关视图，并能对系统进行合理性检测，发现不合理因素，提供系统不合理性的原因及不合理所在位置等信息，为进一步的业务流程优化奠定基础。
关键词：业务流程，DoDAF，体系结构，Petri网