Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method and system for verifying business process

A technology of business process and verification method, which is applied in the field of business process verification method and system, and can solve problems such as failure to verify BPMN model errors

Inactive Publication Date: 2012-07-18
BEIHANG UNIV
View PDF2 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The present invention provides a business process verification method and system to solve the defect that it is impossible to verify whether the BPMN model is wrong in the prior art

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
  • Method and system for verifying business process
  • Method and system for verifying business process
  • Method and system for verifying business process

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0068] Embodiment 1 provides a business process verification method. like Figure 1A As shown, it is a flow chart of the business process verification method in the first embodiment. This embodiment can be implemented by a business process verification system, which can be implemented by hardware or software. The method includes:

[0069] Step 101: Map the original business process under the BPMN model to the Petri net model according to the mapping strategy to form a mapped business process.

[0070] Step 102, verifying the mapped business process to determine whether the original business process is wrong.

[0071] Step 102 is specifically: verifying the mapped business process. When the verification result of the mapped business process is wrong, the original business process is wrong; otherwise, the original business process is correct.

[0072] According to the first embodiment, by converting the original business process into the Petri net model for verification, it is...

Embodiment 2

[0076] The second embodiment further describes the business process verification method in the first embodiment.

[0077] Specifically, step 101 includes:

[0078] Step a: Obtain the graphic elements to be converted from the original business process under the BPMN model, and turn to step b;

[0079] Step b: identify the type of the graphic element to be converted, and turn to step c;

[0080]Step c: When it is judged that the primitive is the initial event primitive, map the initial event primitive to the first circular primitive in the mapping business process under the Petri net model, connect with the first circular primitive, and point to a first sequential flow of the first rectangular primitive, and a first rectangular primitive connected to the first sequential flow;

[0081] When it is judged that the primitive is an intermediate event primitive, the intermediate event primitive is mapped to the second circular primitive in the mapping business process under the Pet...

Embodiment 3

[0101] The third embodiment further defines the business process verification method in the foregoing embodiments.

[0102] For step 102, verifying the mapped business process to determine whether the original business process has errors may specifically include: performing at least one of structure verification or time constraint verification on the mapped business process to determine whether the original business process has errors.

[0103] Among them, structural verification includes:

[0104] Step 201, construct the reachability graph of the mapping business process, the reachability graph includes a vertex set and a directed arc, the vertex set is a set of all states of the Petri net model, and the directed arc is the The effective transition in the mapping business process and the state transition caused by the effective transition are described. The effective transition is the transition that can be executed in the mapping business process.

[0105] Specifically, th...

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

No PUM Login to View More

Abstract

The invention discloses a method and a system for verifying a business flow. The method includes mapping an original business process in a BPMN (business process modeling notation) model to a Petri network model according to mapping strategy and forming a mapped business process; and verifying the mapped business process to judge whether the original business process is erroneous or not. The method and the system for verifying the business process have the advantages that the business process is mapped to the Petri network model to be verified, the problem that whether the original business process in the BPMN model can be deadly locked or be in infinite loop or not can be verified, accordingly, staff can find out the problem in time to adjust the original business process, and actual needs are met.

Description

technical field [0001] The invention relates to model verification technology, in particular to a business process verification method and system. Background technique [0002] Service Oriented Computing (SOC for short) and Service Oriented Architecture (SOA for short) have become the mainstream of today's networked software construction and application models. Composite service technology system is based on component service reference reuse, and design service modeling, orchestration, verification and other technologies have become a current research hotspot. [0003] Business Process Modeling Notation (BPMN for short), as a business process modeling language, provides a set of notation that meets the intuitive needs of business personnel and can express complex process semantics, so that modelers do not need to care about the underlying It is widely used in the field of composite service modeling. It provides a method of service composition based on business processes, a...

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
no application Login to View More
IPC IPC(8): G06F9/44
Inventor 刘旭东怀文佳陈锴锋怀进鹏
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com