基于扩展库所网的工作流过程规约和模式描述

北京大学学报（自然科学版）

基于扩展库所网的工作流过程规约和模式描述

黄雨胡文蕙张世琨

教育部高可信软件技术重点实验室，北京大学软件工程国家工程研究中心，北京100871；

收稿日期:2008-05-16 出版日期:2009-07-20 发布日期:2009-07-20

Specifying Workflow Process and Describing Workflow Pattern Using Extended Place Net

HUANG Yu, HU Wenhui, ZHANG Shikun

Key Laboratory of High Confidence Software Technologies, Ministry of Education, National Engineering Research Center for Software Engineering, Peking University, Beijing 100871;

Received:2008-05-16 Online:2009-07-20 Published:2009-07-20

摘要/Abstract

摘要： 通过扩展库所的属性, 给出了一种新的Petri网模型，用来规约工作流过程和表示工作流模式，并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由，使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为，因此提出了ST触发规则表达网模型的语义。

关键词: 工作流过程建模, 工作流模式, 扩展库所网, Petri网

Abstract: The authors present a more novel Petri-net-based model featured by places with new properties to specify workflow process and represent advanced workflow patterns, and propose a newpattern named parameterized pattern. In the model, through distinguishing transitions fromroutings, place and transition are ableto represent actions of engine andtask respectively. Since the classical token-game semantic behavior of a Petri net-based workflow model is not suitable for describing the behavior of workflow process, the semantics of extended-place-net-based model with STfiring rules is given to capture and simulate workflow behavior.

Key words: workflowprocess modeling, workflowpattern, extended place nets, Petri nets

中图分类号:

TP311

黄雨胡文蕙张世琨. 基于扩展库所网的工作流过程规约和模式描述[J]. 北京大学学报（自然科学版）.

HUANG Yu,HU Wenhui,ZHANG Shikun. Specifying Workflow Process and Describing Workflow Pattern Using Extended Place Net[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y2009/V45/I4/572

[1]	沈劲鹏, 王新安. 适用于床垫式生理信号监测系统的信号处理方法[J]. 北京大学学报自然科学版, 2018, 54(5): 921-926.
[2]	孙基男, 潘克峰, 陈雪峰, 张君福. 基于符号执行的注入类安全漏洞的分析技术[J]. 北京大学学报自然科学版, 2018, 54(1): 1-13.
[3]	王星光, 张瑞洁, 张毅. 基于地理关联度和证据理论的地名消歧方法研究[J]. 北京大学学报自然科学版, 2017, 53(2): 344-352.
[4]	高勇, 姜丹, 刘磊, 林星, 邬伦. 一种地理信息检索的定性模型[J]. 北京大学学报（自然科学版）, 2016, 52(2): 265-273.
[5]	刘磊,高勇,林星,邬伦. 定性地理信息检索方法及其实现[J]. 北京大学学报（自然科学版）, 2013, 49(6): 1017-1024.
[6]	黄健斌,钟翔,孙鹤立,茆婉婷. 基于相似性模块度最大约束标记传播的网络社团发现算法[J]. 北京大学学报（自然科学版）, 2013, 49(3): 389-396.
[7]	仲兆满,刘宗田,李存华. 事件本体模型及事件类排序[J]. 北京大学学报（自然科学版）, 2013, 49(2): 234-240.
[8]	王铁磊,韦韬,邹维. 基于roBDD的细颗粒度动态污点分析[J]. 北京大学学报（自然科学版）, 2011, 47(6): 1003-1008.
[9]	刘钊,黄罡,张颖,梅宏. 一种自动化的资源按需管理方法[J]. 北京大学学报（自然科学版）, 2009, 45(5): 783-790.
[10]	付艳,杨冬青,唐世渭,伍伟,王腾蛟,高军. 基于实体识别的在线主题检测方法[J]. 北京大学学报（自然科学版）, 2009, 45(2): 227-232.
[11]	屈红刚,潘懋,明镜,吴自兴,孙志东. 基于交叉折剖面的高精度三维地质模型快速构建方法研究[J]. 北京大学学报（自然科学版）, 2008, 44(6): 915-920.
[12]	陶有东,童云海,谭少华,唐世渭,杨冬青. 一种实现OLAP数据隐私保护的方法[J]. 北京大学学报（自然科学版）, 2008, 44(5): 705-710.
[13]	屈红刚,潘懋,吕晓俭,刘学清,张永波,于春林. 城市三维地质信息管理与服务系统设计与开发[J]. 北京大学学报（自然科学版）, 2008, 44(5): 781-786.
[14]	韦韬,毛剑,邹维. 反编译中的复合条件分支识别算法[J]. 北京大学学报（自然科学版）, 2008, 44(1): 37-43.
[15]	冯耀东,黄罡,梅宏. 一种自适应软件体系结构建模及其实施方法[J]. 北京大学学报（自然科学版）, 2008, 44(1): 67-76.