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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

郑长友, 刘晓明, 姚奕, 任正平

文章导航 > 电子科技大学学报 > 2014 > 43(1): 119-124

郑长友, 刘晓明, 姚奕, 任正平. 基于Petri网的面向测试的工作流系统建模方法[J]. 电子科技大学学报, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

引用本文:

郑长友, 刘晓明, 姚奕, 任正平. 基于Petri网的面向测试的工作流系统建模方法[J]. 电子科技大学学报, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

ZHENG Chang-you, LIU Xiao-ming, YAO Yi, REN Zheng-ping. Modeling Approach for Workflow Testing Based on Petri Nets[J]. Journal of University of Electronic Science and Technology of China, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

Citation:

ZHENG Chang-you, LIU Xiao-ming, YAO Yi, REN Zheng-ping. Modeling Approach for Workflow Testing Based on Petri Nets[J]. Journal of University of Electronic Science and Technology of China, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

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

doi: 10.3969/j.issn.1001-0548.2014.01.020

1.
解放军理工大学指挥自动化学院南京 210007

基金项目:

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

作者简介:
郑长友(1986-),男,博士生,主要从事软件测试、可信软件方面的研究.

中图分类号: TP311

Modeling Approach for Workflow Testing Based on Petri Nets

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

[1]	李龚亮, 敬思远, 郭兵, 沈艳. 基于图形处理器的并行遗传过程挖掘 . 电子科技大学学报, 2019, 48(6): 918-924. doi: 10.3969/j.issn.1001-0548.2019.06.017
[2]	陈爱国, 王玲, 任金胜, 罗光春. 基于资源分组的多约束云工作流调度算法 . 电子科技大学学报, 2017, 46(3): 562-568. doi: 10.3969/j.issn.1001-0548.2017.03.014
[3]	陈超. 改进CS算法结合决策树的云工作流调度 . 电子科技大学学报, 2016, 45(6): 974-980. doi: 10.3969/j.issn.1001-0548.2016.06.017
[4]	雷朝军, 刘迎辉, 喻胜, 李宏福, 赵其祥. 高次模回旋管中的非工作模式抑制研究 . 电子科技大学学报, 2015, 44(5): 695-699. doi: 10.3969/j.issn.1001-0548.2015.05.010
[5]	赵勇, 李有福, 李小龙, 刘鹏, 田文洪. 科学工作流与高性能计算集成方案 . 电子科技大学学报, 2014, 43(3): 457-463. doi: 10.3969/j.issn.1001-0548.2014.03.024
[6]	左琳. 序列最小优化工作集选择算法的改进 . 电子科技大学学报, 2013, 42(3): 448-451. doi: 10.3969/j.issn.1001-0548.2013.03.025
[7]	汤志伟, 殷静. 基于扩展Petri网的仿真建模与分析 . 电子科技大学学报, 2012, 41(1): 131-135. doi: 10.3969/j.issn.1001-0548.2012.01.025
[8]	吴明和, 郑晓明, 孙云卿, 崔海娟, 曾刚. 储能电容与光导开关的工作模式 . 电子科技大学学报, 2011, 40(2): 227-230. doi: 10.3969/j.issn.1001-0548.2011.02.014
[9]	童恩栋, 牛温佳, 谭红艳, 赵志军, 唐晖. 面向传感网的服务构建与并发控制 . 电子科技大学学报, 2011, 40(3): 322-332. doi: 10.3969/j.issn.1001-0548.2011.03.001
[10]	杨家伟, 姚进, 李涛. 改进的UML活动图在建模中的研究与实现 . 电子科技大学学报, 2009, 38(1): 126-129.
[11]	张海涛, 艾云峰. 一种分布式实时嵌入式系统的调度分析算法 . 电子科技大学学报, 2007, 36(3): 489-492.
[12]	刘晓明, 饶翚. 基于OGSA的网格工作负载监测系统研究 . 电子科技大学学报, 2007, 36(5): 824-826,857.
[13]	黄诚武, 王晟, 李乐民. 主动网流调度模型A-Flow的研究 . 电子科技大学学报, 2005, 34(4): 501-504.
[14]	张李, 涂晓东, 何诚. 流分类技术的研究 . 电子科技大学学报, 2004, 33(6): 678-681.
[15]	石建, 宋文. 干燥装置工作参数自动调控系统的设计 . 电子科技大学学报, 2002, 31(3): 286-288.
[16]	周世杰, 秦志光, 刘锦德. 工作流管理系统互操作技术研究 . 电子科技大学学报, 2002, 31(2): 145-150.
[17]	范守文, 徐礼钜, 甘泉. 二重八面体变几何桁架机器人工作空间解析 . 电子科技大学学报, 2001, 30(2): 134-138.
[18]	詹柔莹. 网络传输层协议的随机Petri网模型及性能分析 . 电子科技大学学报, 2001, 30(1): 13-16.
[19]	曾成碧, 陈光. VLSI功能测试的最佳测试序列的选取 . 电子科技大学学报, 2000, 29(2): 178-181.
[20]	曾成碧, 陈光. 可达树分析法及其在测试中的应用 . 电子科技大学学报, 1999, 28(5): 524-526.

WeChat

点击查看大图

计量

文章访问数: 4282
HTML全文浏览量: 128
PDF下载量: 66
被引次数: 0

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

doi: 10.3969/j.issn.1001-0548.2014.01.020

1. 解放军理工大学指挥自动化学院南京 210007

基金项目:

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

作者简介:
郑长友(1986-),男,博士生,主要从事软件测试、可信软件方面的研究.

收稿日期: 2012-07-09
修回日期: 2012-10-25
刊出日期: 2014-02-15

中图分类号: TP311

关键词:

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

English Abstract

郑长友, 刘晓明, 姚奕, 任正平. 基于Petri网的面向测试的工作流系统建模方法[J]. 电子科技大学学报, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

引用本文:

郑长友, 刘晓明, 姚奕, 任正平. 基于Petri网的面向测试的工作流系统建模方法[J]. 电子科技大学学报, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

ZHENG Chang-you, LIU Xiao-ming, YAO Yi, REN Zheng-ping. Modeling Approach for Workflow Testing Based on Petri Nets[J]. Journal of University of Electronic Science and Technology of China, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

Citation:

ZHENG Chang-you, LIU Xiao-ming, YAO Yi, REN Zheng-ping. Modeling Approach for Workflow Testing Based on Petri Nets[J]. Journal of University of Electronic Science and Technology of China, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发