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 o...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.展开更多
完整的电力系统负荷构成特性数据是实现电力系统综合负荷之统计综合建模的基本前提。传统的负荷特性调查统计方法,时间和人力投入大且难以保证数据的完整性、准确性和时效性。以Intranet/Internet为应用环境,运用动态网页JSP(Java Serve...完整的电力系统负荷构成特性数据是实现电力系统综合负荷之统计综合建模的基本前提。传统的负荷特性调查统计方法,时间和人力投入大且难以保证数据的完整性、准确性和时效性。以Intranet/Internet为应用环境,运用动态网页JSP(Java Server Page)技术和可视化VC++编译环境并结合使用Office组件数据库Access,设计了一个集数据统计、数据动态交互和数据管理功能于一体的分散性负荷构成特性数据集总系统。该系统技术先进,设计和实现简便,适应性强,实用性好,为大型区域电网综合负荷建模建立了良好的技术支持平台。展开更多
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)
文摘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.
文摘完整的电力系统负荷构成特性数据是实现电力系统综合负荷之统计综合建模的基本前提。传统的负荷特性调查统计方法,时间和人力投入大且难以保证数据的完整性、准确性和时效性。以Intranet/Internet为应用环境,运用动态网页JSP(Java Server Page)技术和可视化VC++编译环境并结合使用Office组件数据库Access,设计了一个集数据统计、数据动态交互和数据管理功能于一体的分散性负荷构成特性数据集总系统。该系统技术先进,设计和实现简便,适应性强,实用性好,为大型区域电网综合负荷建模建立了良好的技术支持平台。
