检索结果-南通市图书馆

Detecting data-flow errors Based on Petri Nets With data Operations

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 251-260页

作者： Dongming Xiang Guanjun Liu Chungang Yan Changjun Jiang Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China IEEE

In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.

关键词： Business process modeling data-flow errors Petri nets reachability graph

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Detecting and Repairing data-flow errors in WFD-net Systems

引用

Computer Modeling in Engineering & Sciences 2022年第6期131卷 1337-1363页

作者： Fang Zhao Dongming Xiang Guanjun Liu Changjun Jiang Honghao Zhu School of Electronics and Information Engineering Tongji UniversityShanghai201804China School of Information Science and Technology Zhejiang Sci-Tech UniversityHangzhou310018China School of Computer Engineering Bengbu UniversityBengbu233030China

Workflow system has become a standard solution for managing a complex business *** to guarantee its correctness is a key *** methods only focus on the control-flow verification,while they neglect the modeling and checking of *** some studies are presented to repair the data-flow errors,they do not consider the effect of delete operations or weak circulation relations on the repairing ***’s more,repairing some data-flow errors may bring in new *** order to solve these problems,we use workflow net with data(WFD-net)systems to model and analyze a workflow *** on weak behavioral relations and order relations in a WFD-net system,we formalize four kinds of data-flow *** then,we reveal the relations between these errors and organize them into a ***,we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair ***,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness.

关键词： data-flow errors WFD-net weak behavioral relations system requirements

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：