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

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

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

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

出　　处：《计算机研究与发展》2014年第9期2030-2045,共16页Journal of Computer Research and Development

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

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]