Service process design defect detection method, readable storage medium and terminal

Abstract

The invention provides a service process design defect detection method, which comprises the steps of capturing constraints of service logic and process data on service activities, and constructing aWFD network model of a service process in a system; considering the storage of process data, modeling persistent layer data of the system by utilizing a database, and constructing a WFT network modelof the service process in the system based on the database considering the data constraint on the execution of the service activities; assigning values to the process data by using a data refining technology; defining execution semantics of the WFT and generating a reachable configuration graph; describing data requirements to be met by the system based on a first-order linear sequential logic formula, and defining the rationality of the WFT network from two perspectives of service logic and data requirements; and verifying the rationality of the network model on a reachability graph of the WFT network, and judging whether the service process has design defects or not. According to the method, the design defect of unreasonable data layer caused by detection of the system under the condition that the logic of the service process control layer is correct in the prior art is overcome.

Description

technical field [0001] The invention relates to the technical field of data flow error detection in a work network system, in particular to a detection method for business process design defects, a readable storage medium and a terminal. Background technique [0002] In recent years, the continuous development of information technology has made the system's business process or workflow design an important application technology among various organizations and enterprises. A well-designed system not only needs to have complete business functions (no business dead ends, etc.) and smooth user experience (no crashes or freezes, etc.), but also avoid incorrect business data (inconsistent data, missing data, etc.) And the security problems caused by harming the interests of users. Therefore, the correctness of the system not only needs to consider business logic, but also needs to pay attention to the functional requirements of business data, which are often reflected in the chan...

AI Technical Summary

Problems solved by technology

However, in these network models, the data is highly abstracted as defined or undefined, and its specific assignment cannot be captured, and the changes in data values ​​and the constraints that they need to meet cannot be described. Therefore, the correctness verification based on these network models , Rationality analysis is st

Images