-
题名一种目标感知的可配置业务流程分析方法
被引量:6
- 1
-
-
作者
黄贻望
何克清
冯在文
黄颖
-
机构
武汉大学软件工程国家重点实验室
铜仁学院数学与计算机科学系
赣南师范学院数学与计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2014年第10期2060-2068,共9页
-
基金
国家973重点基础研究发展计划(No.2014CB340404)
国家自然科学基金(No.61373037
+6 种基金
No.61100017
No.61202031)
国家科技支撑计划(No.2012BAH07B01)
中央高校基本科研业务费专项资金(No.2012211020201)
贵州省科学技术厅
铜仁市科学技术局
铜仁学院联合基金(No.黔科合J字LKT[2012]04号)
-
文摘
可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法.
-
关键词
目标模型
目标工作流网
可配置业务流程模型
流程配置
-
Keywords
goal model
GWF-net(Goal WF-net)
configurable business process model
process configuration
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-