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

基金项目:

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

详细信息

Modeling Approach for Workflow Testing Based on Petri Nets

Institute of Command Automation,PLA University of Science and Technology Nanjing 210007

摘要: 提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。
- Petri网 /
- 工作流 /
- 工作流建模 /
- 工作流测试
Abstract: 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 Nets /
- workflow /
- workflow modeling /
- workflow testing