Unlock instant, AI-driven research and patent intelligence for your innovation.
Method and device for detecting deadlock in BPEL process graphical design
What is Al technical title?
Al technical title is built by PatSnap Al team. It summarizes the technical point description of the patent document.
A graphical and deadlock technology, applied in program control design, multi-program device, calculation, etc., can solve problems such as no effective deadlock detection method, and achieve the effect of eliminating deadlock
Inactive Publication Date: 2018-11-16
CHINA UNITED NETWORK COMM GRP CO LTD
View PDF5 Cites 0 Cited by
Summary
Abstract
Description
Claims
Application Information
AI Technical Summary
This helps you quickly interpret patents by identifying the three key elements:
Problems solved by technology
Method used
Benefits of technology
Problems solved by technology
[0005] The present invention at least partly solves the problem that there is no effective deadlock detection method in the existing BPEL process graphical design process, and provides a method and device for detecting deadlock in the BPEL process graphical design
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more
Image
Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
Click on the blue label to locate the original text in one second.
Reading with bidirectional positioning of images and text.
Smart Image
Examples
Experimental program
Comparison scheme
Effect test
Embodiment 1
[0023] This embodiment provides a method for detecting deadlock in the graphical design of a BPEL process. The method includes:
[0024] Establish a consent data set;
[0025] Establish a rejection list corresponding to the consent side data set, and each item in the rejection list is a set of all rejected sides corresponding to each agreed side in the consent side data set;
[0026] Get the newly introduced edge;
[0027] Determine whether the newly introduced edge belongs to the existing rejection list, and if so, determine whether to introduce a deadlock.
[0028] Based on this method, deadlock can be checked in real time during the process design stage.
Embodiment 2
[0030] This embodiment provides a method for detecting deadlock in the graphical design of BPEL process, such as figure 1 As shown, the method includes the following steps.
[0031] In step S1, a consent edge data set is established.
[0032] The agreed edge is an edge in the graphical tool, which has a source vertex and a destination vertex. The source vertex represents one task, the destination vertex represents another task, and an edge represents the task corresponding to the destination vertex after the task corresponding to the source vertex is executed. The agreed side will not introduce a deadlock, it is a "safe" side.
[0033] Deadlock means that there is a simple loop that starts from a source vertex, executes the next tasks in sequence, and finally returns to this source vertex.
[0034] For example, in Figure 2(a), vi and vj are the source and destination vertices that agree with edge ek, respectively.
[0035] The agreed edge data is stored centrally for edges that have b...
Embodiment 3
[0083] This embodiment provides a device for detecting deadlock in the graphical design of BPEL process, such as image 3 As shown, the apparatus includes a memory 100 and a processor 200, the memory 100 stores instructions, and the processor 200 executes the instructions to execute the method according to Embodiment 1 or Embodiment 2.
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More
PUM
Login to View More
Abstract
The invention provides a method and device for detecting a deadlock in a BPEL flowchart design, and belongs to the technical field of business process design, which can at least partially solve the problem that an effective deadlock detection method is not available in the existing business processdesign phase. The method for detecting a deadlock in a BPEL flowchart design comprises: establishinga consent edge data set; establishing a rejection list corresponding to the consent edge data set, wherein each item in the rejection list corresponds to the set of all rejected edges of each consentedge of the consent edge data set; obtaining a newly introduced edge; determining whether the newly introduced edge belongs to the existing rejection list, and if so, determining to introduce a deadlock.
Description
Technical field [0001] The invention belongs to the technical field of BPEL process graphical design, and specifically relates to a [0002] A method for detecting deadlock in BPEL process graphic design and a device for detecting deadlock in BPEL process graphic design. Background technique [0003] The current mainstream business process execution language (BPEL) process image design tools include open source ActiveBPEL, WebSphere, BPEL Process Manager, BizTalk Server, etc., none of them have the function of detecting deadlocks in the design phase. The deadlock problem can only be found during the actual operation of the process. At this time, modifying it will cause the consequences of "changing the whole body", that is, modifying one edge will affect many other edges. [0004] The existing deadlock detection methods are divided into three types of mechanisms: graph theory, petri nets, and state machines. They are all static detection methods, that is, they are detected after the...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More
Application Information
Patent Timeline
Application Date:The date an application was filed.
Publication Date:The date a patent or application was officially published.
First Publication Date:The earliest publication date of a patent with the same application number.
Issue Date:Publication date of the patent grant document.
PCT Entry Date:The Entry date of PCT National Phase.
Estimated Expiry Date:The statutory expiry date of a patent right according to the Patent Law, and it is the longest term of protection that the patent right can achieve without the termination of the patent right due to other reasons(Term extension factor has been taken into account ).
Invalid Date:Actual expiry date is based on effective date or publication date of legal transaction data of invalid patent.
Login to View More 
Login to View More