文献类型：期刊文章

作　　者：黄贻望[1,2] 何克清[1] 冯在文[1] 黄颖[1,3]

机构地区：[1]武汉大学软件工程国家重点实验室,武汉大学计算机学院,湖北武汉430072 [2]铜仁学院数学与计算机科学系,贵州铜仁554300 [3]赣南师范学院数学与计算机学院,江西赣州341000

出　　处：《电子学报》

基　　金：国家973重点基础研究发展计划(No.2014CB340404);国家自然科学基金(No.61373037;No.61100017;No.61202031);国家科技支撑计划(No.2012BAH07B01);中央高校基本科研业务费专项资金(No.2012211020201);贵州省科学技术厅;铜仁市科学技术局;铜仁学院联合基金(No.黔科合J字LKT[2012]04号)

年　　份：2014

卷　　号：42

期　　号：10

起止页码：2060-2068

语　　种：中文

收录情况：BDHX、BDHX2011、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI(收录号：20145300387579)、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊

摘　　要：可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法.

关 键 词：目标模型  目标工作流网  可配置业务流程模型  流程配置  

分 类 号：TP311.5]