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

黄贻望; 何克清; 冯在文; 黄颖; 谢芳

doi:10.7544/issn1000-1239.2014.20130595

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

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

¹(软件工程国家重点实验室(武汉大学计算机学院) 武汉 430072)
²(铜仁学院数学与计算机科学系贵州铜仁 554300)
³(赣南师范学院数学与计算机学院江西赣州 341000)
⁴(湖北工业大学计算机学院武汉 430068) (hywcxq-1@163.com)

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

详细信息

中图分类号: TP311.5
计量
- 文章访问数: 1112
- HTML全文浏览量: 0
- PDF下载量: 771
出版历程
- 发布日期: 2014-08-31

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

¹(State Key Laboratory of Software Engineering (School of Computer, Wuhan University), Wuhan 430072)
²(Department of Mathematics and Computer Science, Tongren College, Tongren, Guizhou 554300)
³(College of Mathematics and Computer Science, Gannan Normal University, Ganzhou, Jiangxi 341000)
⁴(School of Computer, Hubei University of Technology, Wuhan 430068)

摘要

摘要: 可配置业务流程模型描述面向领域的相似流程模型家簇,这种模型能够通过配置操作获取满足特定用户需求的个性化流程模型.提出一个在角色和目标约束下以流程为中心的可配置业务流程模型,首先对因果网模型(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.
- configurable business process /
- activity /
- colored C-net /
- RGPS /
- configuration

HTML全文

参考文献(0)

施引文献(8)

期刊类型引用(5)

1.	李萍，王丽丽. 国内多模态技术的研究现状与发展趋势：基于CiteSpace的可视化分析. 智能计算机与应用. 2025(01): 194-202 . 百度学术
2.	马辉，王瑞琴，杨帅. 一种渐进式增长条件生成对抗网络模型. 电信科学. 2023(06): 105-113 . 百度学术
3.	涂荣成，毛先领，孔伟杰，蔡成飞，赵文哲，王红法，黄河燕. 基于CLIP生成多事件表示的视频文本检索方法. 计算机研究与发展. 2023(09): 2169-2179 . 本站查看
4.	孔珊珊. 基于深度学习的机器人舞蹈自动生成研究. 自动化与仪器仪表. 2022(04): 237-240 . 百度学术
5.	李媛，陈昭炯，叶东毅. 基于参考图语义匹配的花卉线稿工笔效果上色算法. 计算机研究与发展. 2022(06): 1271-1285 . 本站查看