导　　师： 李新

授予学位： 硕士

作　　者： (）;

机构地区： 汕头大学

摘　　要： 工作流模式表达了工作流的基本结构特征，对工作流模式的支持是衡量工作流产品在过程表达能力和适用性方面的重要标准。目前的工作流产品对不少复杂的工作流模式尚不能很好的支持，尤其是缺乏对工作流模式进行形式化描述的方法。另一方面，工作流提倡业务逻辑与过程逻辑相分离的理念，但在实际的工作流系统中，与业务相关的过程逻辑却往往和程序代码混合在一起，难以分离，当业务发生变化时，工作流系统的重构工作就变得非常困难。　　本文提出了一种新的选择逻辑，和传统的数理逻辑相比，针对工作流建模进行了优化，具有更加简单、易于理解的形式;使用选择逻辑建模时，把工作流模式拆分成汇合逻辑和分支逻辑，可以更加简化的描述工作流模式;同时，在建模中，抽象出了业务元素的一般表达形式，将过程元素和业务元素的表示方法进行了统一，从而可以很好地支持业务逻辑和过程逻辑的分离，使工作流的重构得到简便。

关 键 词： 选择逻辑 工作流 形式化建模

领　　域： []