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

Specifying Workflow Process and Describing Workflow Pattern Using Extended Place Net

作　　者：黄雨[1] 胡文蕙[1] 张世琨[1] 

机构地区：[1]教育部高可信软件技术重点实验室北京大学软件工程国家工程研究中心,北京100871

出　　处：《北京大学学报（自然科学版）》2009年第4期572-578,共7页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：国家自然科学基金(60803014);教育部博士点新教师基金(200800011017)资助

摘　　要：通过扩展库所的属性,给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。The authors present a more novel Petri-net-based model featured by places with new properties to specify worldlow process and represent advanced workflow patterns, and propose a new pattern named parameterized pattern. In the model, through distinguishing transitions from routings, place and transition are able to represent actions of engine and task 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 ST firing rules is given to capture and simulate workflow behavior.

关 键 词：工作流过程建模 工作流模式 扩展库所网 PETRI网 

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