一种工作流形式化建模方法  

A Formal Modeling Method for Workflow

作　　者：刘宇 李新[1] LIU Yu;LI Xin(College of Engineering,Shantou University,Shantou 515063,Guangdong,China)

机构地区：[1]汕头大学工学院计算机系

出　　处：《汕头大学学报（自然科学版）》2020年第1期33-40,53,共9页Journal of Shantou University：Natural Science Edition

摘　　要：工作流模式表达了工作流的基本结构特征,对工作流模式的支持是衡量工作流产品在过程表达能力和适用性方面的重要标准.目前的工作流产品对不少复杂的工作流模式尚不能很好的支持,尤其是缺乏对工作流模式进行形式化描述的方法.本文提出了一种新的选择逻辑,和传统的数理逻辑相比,针对工作流建模进行了优化,具有更加简单、易于理解的形式;使用选择逻辑建模时,将工作流模式拆分为汇合逻辑和分支逻辑,不仅能形式化地描述工作流模式,并且能够进一步表达工作流模型中与业务元素有关的要素,从而可以很好地支持业务过程建模.Workflow patterns define the basic structural characteristics of business process in workflow system.The support of workflow patterns is an import criterion to measure the expressive ability and applicability of workflow products in control flow.Many complex workflow patterns are not well supported by current workflow products,especially the lack of formal description of workflow patterns.A new selection logic is proposed,which is optimized for workflow modeling compared with traditional mathematical logic.When modeling with selection logic,the workflow pattern is divided into merge logic and branch logic,which not only can describe the workflow pattern formally,but also further express the elements related to nosiness elements in the workflow model.Thus,the creation of the process can be well supported.

关 键 词：过程逻辑 工作流模式 业务过程建模 逻辑规则 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]