北京大学学报(自然科学版)

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

黄雨 胡文蕙 张世琨   

  1. 教育部高可信软件技术重点实验室,北京大学软件工程国家工程研究中心,北京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   

  1. 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

摘要: 通过扩展库所的属性, 给出了一种新的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

中图分类号: