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

• 作者: 刘宇 李新
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 工学
• 关键词: 过程逻辑 工作流模式 业务过程建模 逻辑规则
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 特约稿件
• 页码范围: 33-40,53
• 页数: 9页
• 分类号: TP311
• 字数: 3424字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4217.2020.01.004

摘要

工作流模式表达了工作流的基本结构特征,对工作流模式的支持是衡量工作流产品在过程表达能力和适用性方面的重要标准.目前的工作流产品对不少复杂的工作流模式尚不能很好的支持,尤其是缺乏对工作流模式进行形式化描述的方法.本文提出了一种新的选择逻辑,和传统的数理逻辑相比,针对工作流建模进行了优化,具有更加简单、易于理解的形式;使用选择逻辑建模时,将工作流模式拆分为汇合逻辑和分支逻辑,不仅能形式化地描述工作流模式,并且能够进一步表达工作流模型中与业务元素有关的要素,从而可以很好地支持业务过程建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李新	汕头大学工学院计算机系	6	8	2.0	2.0
2	刘宇	汕头大学工学院计算机系	1	0	0.0	0.0