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

摘要：

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移，将每个活动的输入输出抽象为Petri网中的库所，便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法，给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。

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

分类号：TP311(计算技术、计算机技术)

资助基金：国家863项目2009AA01Z402；中国博士后科学基金面上项目20110491843；江苏省自然科学基金BK2012059,BK2012060

在线出版日期：2014-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：119-124