一种目标感知的可配置业务流程分析方法

doi:10.3969/j.issn.0372-2112.2014.10.030

电子学报 ›› 2014, Vol. 42 ›› Issue (10): 2060-2068.DOI: 10.3969/j.issn.0372-2112.2014.10.030

一种目标感知的可配置业务流程分析方法

黄贻望^1,2, 何克清¹, 冯在文¹, 黄颖^1,3

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

收稿日期:2013-10-11 修回日期:2014-05-06 出版日期:2014-10-25
- 通讯作者:
- 冯在文
- 作者简介:
- 黄贻望 男,1978年生,湖南怀化人,副教授,博士研究生,CCF会员,主要研究方向:服务计算、业务流程管理、形式化方法等. E-mail:hywcxq-1@163.com; 何克清 男,1947年生,湖北武汉人,教授,博士生导师,CCF高级会员,主要研究方向:服务计算、软件工程、需求工程、ISO国际标准. E-mail:hekeqing@whu.edu.cn;黄颖 女,1981年生,江西赣州人,博士研究生,主要研究方向:软件工程,服务计算法等. E-mail:nhwshy@whu.edu.cn
- 基金资助:
- 国家973重点基础研究发展计划 (No.2014CB340404); 国家自然科学基金 (No.61373037,No.61100017,No.61202031); 国家科技支撑计划 (No.2012BAH07B01); 中央高校基本科研业务费专项资金 (No.2012211020201); 贵州省科学技术厅、铜仁市科学技术局、铜仁学院联合基金 (No.黔科合J字LKT[2012]04号)

A Goal-Aware Analytical Method of Configurable Business Process

HUANG Yi-wang^1,2, HE Ke-qing¹, FENG Zai-wen¹, HUANG Ying^1,3

1. State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Wuhan, Hubei 430072, China;
2. Department of Mathematics and Computer Science, Tongren College, Tongren, Guizhou 554300, China;
3. College of Mathematics and Computer Science, Gannan Normal University, Ganzhou, Jiangxi 341000, China

Received:2013-10-11 Revised:2014-05-06 Online:2014-10-25 Published:2014-10-25
- Supported by:
- National Program on Key Basic Research Project of China (973 Program) (No.2014CB340404); National Natural Science Foundation of China (No.61373037, No.61100017, No.61202031); National Key Technology Research and Development Program of the Ministry of Science and Technology (No.2012BAH07B01); Fundamental Research Funds for the Central Universities (No.2012211020201); Joint Fund of Science and Technology Department of Guizhou Province, Science and Technology Bureau of Tongren City and Tongren University (No.黔科合J字LKT[2012]04号)

摘要/Abstract

摘要：

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

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

Abstract:

Configurable business process model enable the sharing of common processes among different organizations in a controlled manner, this model is intended to be configured to meet the requirements of specific organizations, then leading to individualized process models, so it is important issue to formal modeling and verify for configurable business process model.Owing to the characteristic of goal model can express users' intentions, in this paper, we provide a novel analytical method of configurable business process model which based on the goal model, in this method, we add the goal model to WF-net (GWF-net) and incorporate users' intentions into business process model;following, we transform the ordinary business process model expressed by GWF-net into configurable business process model by adding the configuration operation;finally, presents its correctness analysis of configurable GWF-net and provide the consistency theorem between the users' requirements and configuration procedure of configurable business process model, so that we ensure the validation of business process model through the fulfill goal.

Key words: goal model, GWF-net (Goal WF-net), configurable business process model, process configuration

中图分类号:

TP311.5

黄贻望, 何克清, 冯在文, 等. 一种目标感知的可配置业务流程分析方法[J]. 电子学报, 2014, 42(10): 2060-2068.

HUANG Yi-wang, HE Ke-qing, FENG Zai-wen, et al. A Goal-Aware Analytical Method of Configurable Business Process[J]. Acta Electronica Sinica, 2014, 42(10): 2060-2068.

参考文献

[1] W Aalst.Business process mangagement:A comprehensive survey[J].ISRN Software Engineering,2013,12(1):1-37.
[2] M L Rosa.Managing variability in process-aware information systems[D].Brisbane,Australia:Queensland University of Technology,2009.4.
[3] W Aalst.Business process configuration in the cloud:How to support and analyze multi-tenant processes?[A].Proc of the 9th IEEE European Conference on Web Services[C].New York:IEEE Computer Society,2011.3-10.
[4] W Derguech,S Bhiri.An automation support for creating configurable process models[A].Proc of The 12th International Conference on Web Information System Engineering[C].Berlin:Springer,2011.199-212.
[5] FGottschalk,W Aalst,M H Jansenvullers.Configurable process models-A foundational approach[A].Reference Modeling[M].Berlin:Springer,2007.59-78.
[6] M L Rosa,W Aalst.A configurable reference modeling language[J].Information Systems,2007,32(1):1-23.
[7] M L Rosa,M Dumas,A H M Hofstede ,et al.Configurable multi-perspective business process models[J].Information Systems,2011,36(2):313-340.
[8] F Gottschalk,W Aalst,M H Jansenvullers,et al.Configurable workflow models[J].International Journal of Cooperative Information Systems,2007,17(2):177-221.
[9] W Aalst,M Dumas,F Gottschalk,et al.Preserving correctness during business process model configuration[J].Formal Aspects of Computing,2010,22(3):459-482.
[10] W Aalst,N Lohmann,M L Rosa,et al.Correctness ensuring process configuration:An approach based on partner synthesis[A].Proc of the 8^th International Conference on Business Process Management (C).Berlin:Springer,2010.95-111.
[11] W Aalst,K M V Hee,A H M Hofstede.Soundness of workflow nets:Classification,decidability,and analysis[J].Formal Aspects of Computing,2011,23(3):333-363.
[12] A Classen,M Cordy,P Yves,et al.Featured transition systems:Foundations for verifying variability-intensive systems and their application to LTL model checking[J].IEEE Transactions on Software Engineering,2013,39(8):1069-1089.
[13] T Basten,W Aalst.Inheritance of behavior[J].Journal of Logic and Algebraic Programming,2001,47(2):47-145.
[14] 余阳,汤庸,潘茂林,等.时态工作流过程模型及其合理性验证[J].软件学报,2010,21(6):1233-1253. Yu Yang,Tang Yong,Pan Mao-lin,et al.Temporal workflow process model and its soundness verification[J].Journal of Software,2010,21(6):1233-1253.(in Chinese)
[15] 庞善臣,闫春钢,蒋昌俊,等.基于家态的多事务工作流完整性分析[J].电子学报,2006,34(6):1163-1168. Pang Shan-chen,Yan Chan-gang,Jiang Chang-jun,et al.Soundness analysis of the multi-cases workflow model based on home state[J].Acta Electronica Sinica,2006,34(6):1163-1168.(in Chinese)
[16] 庞善臣.一种基于资源约束的工作流建模及分析方法[J].电子学报,2012,40(8):1497-1502. Pang Shan-chen.Modeling and verification of workflow based on resource constraint[J].Acta Electronica Sinica,2012,40(8):1497-1502.(in Chinese)
[17] S Liaskos,M S Khan,M Litoiu,et al.Behavioral adaptation of information systems through goal models[J].Information systems,2012,37(3):767-783.
[18] G Groner,M Asadi,B Mohabbati,et al.Validation of user intentions in process models[A].Proc of the 24^th International Conference on Advanced Information Systems Engineering(C).Berlin:Springer,2012.366-381.
[19] 吴毅坚,赵文耘.特定领域软件框架的提取方法研究[J].电子学报,2011,34(8):1365-1377. Wu Yi-jian,Zhao Wen-yun.Research on distilling domain specific software frameworks[J].Acta Electronica Sinica,2011,34(8):1365-1377.(in Chinese)
[20] Wang Jian,He Ke-qing,Liang Peng.Rgps:A unified requirements meta-modeling frame for networked software[A].Proc of the 3^rd International Workshop on Advances and Applications of Problem Frames (C).New York:IEEE Computer Society,2008.29-35.
[21] 袁崇义.Petri网应用[M].北京:科学出版社,2013. Yuan Chong-yi.Application of Petri net[M].Beijing:Sciense Press,2013.(in Chinese)

一种目标感知的可配置业务流程分析方法

A Goal-Aware Analytical Method of Configurable Business Process

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics