ISSN 1000-1239 CN 11-1777/TP

计算机研究与发展 ›› 2014, Vol. 51 ›› Issue (9): 2030-2045.doi: 10.7544/issn1000-1239.2014.20130595

• 软件技术 • 上一篇    下一篇

一种基于RGPS着色的C-net模型及其应用

黄贻望1,2,何克清1,冯在文1,黄颖1,3,谢芳1,4   

  1. 1(软件工程国家重点实验室(武汉大学计算机学院) 武汉 430072);2(铜仁学院数学与计算机科学系 贵州铜仁 554300);3(赣南师范学院数学与计算机学院 江西赣州 341000);4(湖北工业大学计算机学院 武汉 430068) (hywcxq-1@163.com)
  • 出版日期: 2014-09-01
  • 基金资助: 
    基金项目:国家“九七三”重点基础研究发展计划基金项目(2014CB340404);国家自然科学基金项目(61373037,61100017,61202031);国家科技支撑计划基金项目(2012BAH07B01);中央高校基本科研业务费专项资金项目(2012211020201);贵州省科学技术厅、铜仁市科学技术局、铜仁学院联合基金项目(黔科合J字LKT[2012]04号)

A Colored C-net Model Based on RGPS and Its Application

Huang Yiwang1,2, He Keqing1, Feng Zaiwen1, Huang Ying1,3, Xie Fang1,4   

  1. 1(State Key Laboratory of Software Engineering (School of Computer, Wuhan University), Wuhan 430072);2(Department of Mathematics and Computer Science, Tongren College, Tongren, Guizhou 554300);3(College of Mathematics and Computer Science, Gannan Normal University, Ganzhou, Jiangxi 341000);4(School of Computer, Hubei University of Technology, Wuhan 430068)
  • Online: 2014-09-01

摘要: 可配置业务流程模型描述面向领域的相似流程模型家簇,这种模型能够通过配置操作获取满足特定用户需求的个性化流程模型.提出一个在角色和目标约束下以流程为中心的可配置业务流程模型,首先对因果网模型(C-net)进行扩展,将该模型中的活动元素增加角色和目标两个约束关系,从而利用RGPS需求元模型框架中对角色(R)、目标(G)、流程(P)、服务(S)之间的约束规则和关联关系去约束业务流程活动之间的执行序列,使得模型有效反映了业务流程活动中的实际行为;然后将活动的输入绑定和输出绑定端口设置配置操作标记,通过对端口配置标记的操作形成个性化流程;最后,给出了模型的形式化定义并分析模型在业务流程配置中的应用,使得能够指导业务流程的配置等管理操作.

关键词: 可配置业务流程, 活动, 着色C-net, RGPS, 配置

Abstract: Configurable business process model describes the family of the similar process model for particular domain; it can derive the individual process model meeting the particular users' requirement by some configuration operations. This paper provides a configurable business process model with the constraints of role and goal, which is obtained by add role and goal to the core model element—the activity of the causal nets (C-net). Then it guides the execution sequence of the activities of business process through the constraint rules and relationship along the role-goal-process-service of the RGPS requirement meta-model framework, so that it enables the model to reflect the behavior of business process efficiently. Finally, it sets the label function of configuration operation label to the input/output binding ports of activity, thus the individual process is formed by assigning the concrete configuration operation label to the ports. In this paper, the formal definitions of the proposed model are given and its application in the configuration on the business process is analyzed, so that it can be utilized to guiding the configuration management of business process.

Key words: configurable business process, activity, colored C-net, RGPS, configuration

中图分类号: