基于Petri网的面向测试的工作流系统建模方法  

Modeling Approach for Workflow Testing Based on Petri Nets

作　　者：郑长友[1] 刘晓明[1] 姚奕[1] 任正平[1] 

机构地区：[1]解放军理工大学指挥自动化学院,南京210007

出　　处：《电子科技大学学报》2014年第1期119-124,共6页Journal of University of Electronic Science and Technology of China

基　　金：国家863项目(2009AA01Z402);中国博士后科学基金面上项目(20110491843);江苏省自然科学基金(BK2012059;BK2012060)

摘　　要：提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。An I/O_WF_Net model based on Petri nets is proposed in this paper. In the I/O_WF_Net model, the activities of a workflow are abstracted as transitions and the inputs and outputs of an activity are abstracted as places of a Petri net, so the model is convenient for test cases generating. The modeling method of the components and structures of a workflow are described, an algorithm that transforms a workflow net constrained by inputs and outputs into the I/O_WF_Net model and the corresponding simplifying method are given.

关 键 词：PETRI网 工作流 工作流建模 工作流测试 

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