4篇
您的检索式：作者名="Dongming Xiang"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Detecting Data-flow Errors Based on Petri Nets With Data Operations显示文摘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. | Dongming Xiang Guanjun Liu Chungang Yan Changjun Jiang | 2018 | IEEE/CAA Journal of Automatica Sinica2018，5，1： | 2 |
| 2 | Alkaloids from Portulaca oleracea L显示文摘 | Lan Xiang Dongming Xing Wei Wang | 2005 | Phytochemistry2005，66，21： | 1 |
| 3 | Alkaloids from Portulaca oleracea L 显示文摘 | Lan Xiang Dongming Xing Wei Wang | 2005 | Phytochemistry2005，66，： | 1 |
| 4 | Detecting and Repairing Data-Flow Errors in WFD-net Systems显示文摘Workflow system has become a standard solution for managing a complex business process.How to guarantee its correctness is a key requirement.Many methods only focus on the control-flow verification,while they neglect the modeling and checking of data-flows.Although 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 results.What’s more,repairing some data-flow errors may bring in new errors.In order to solve these problems,we use workflow net with data(WFD-net)systems to model and analyze a workflow system.Based on weak behavioral relations and order relations in a WFD-net system,we formalize four kinds of data-flow errors.After then,we reveal the relations between these errors and organize them into a hierarchy.Furthermore,we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair strategies.Finally,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness. | Fang Zhao Dongming Xiang Guanjun Liu Changjun Jiang Honghao Zhu | 2022 | Computer Modeling in Engineering & Sciences2022，，6： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员