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

A business process and detection method technology, applied in the field of data flow error detection in the work network system, can solve the problems of unanalyzable business exceptions, unable to capture assignments, unable to fully outline the functional requirements of system business data, etc.

CN111260204APending Publication Date: 2020-06-09TONGJI UNIV
5 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Current Assignee / Owner
Publication Date
2020-06-09

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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

Examples

Embodiment Construction

[0023] Embodiments of the present invention are described below through specific examples, and those skilled in the art can easily understand other advantages and effects of the present invention from the content disclosed in this specification. The present invention can also be implemented or applied through other different specific implementation modes, and various modifications or changes can be made to the details in this specification based on different viewpoints and applications without departing from the spirit of the present invention. It should be noted that, in the case of no conflict, the following embodiments and features in the embodiments can be combined with each other.

[0024] It should be noted that the diagrams provided in the following embodiments are only schematically illustrating the basic ideas of the present invention, and only the components related to the present invention are shown in the diagrams rather than the number, shape and shape of the compo...