BPMN2.0 execution engine based on formalized semantics

An execution engine and semantic technology, applied in the field of BPMN2.0 execution engine, can solve problems such as infinite loop, no execution engine, and problems in the self-approval link, and achieve the effect of avoiding infinite loop, avoiding workload and difficult modification

Pending Publication Date: 2022-03-04
SOUTH CENTRAL UNIVERSITY FOR NATIONALITIES +1
View PDF0 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

During actual use, the following problems occurred: Step 4 was skipped and personnel approval was carried out directly. Since there was no manager confirmation, the leave application was rejected, causing unsolvable problems; when the manager applied for leave, there was a problem in the self-approval link, and an endless loop continued Wait
Currently there is no execution engine on the market that can execute the native BPMN2.0 language

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
  • BPMN2.0 execution engine based on formalized semantics
  • BPMN2.0 execution engine based on formalized semantics
  • BPMN2.0 execution engine based on formalized semantics

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] In order to better understand the above technical solution, the above technical solution will be described in detail below in conjunction with the accompanying drawings and specific implementation methods.

[0034] The purpose of the present invention is to provide a BPMN2.0 execution engine based on formal semantics, first define the executable formal semantics BPMN2.0 [KS] of BPMN2.0 language, and adopt the method of test case to verify the defined BPMN2. 0 [KS] correctness, then apply the K framework, integrate the Z3 SMT parser, and realize the executable engine of the BPMN2.0 language, figure 1 It represents the overall framework of the executable engine.

[0035] Technical scheme of the present invention comprises:

[0036]First, according to the characteristics of BPMN2.0[BNF] and BPMN2.0 language, apply K framework, based on rewriting logic, describe the executable semantics of BPMN2.0 language BPMN2.0[KS], including grammar, configuration and rules. Secondly,...

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 formalized semantic based BPMN2.0 (Business Process Management Network 2.0) execution engine, which is a native BPMN2.0 execution engine and can be used for directly executing a BPMN2.0 language. The method comprises the steps that firstly, executable formal semantics of the BPMN2.0 language are defined, the correctness of the executable formal semantics is verified, then the executable formal semantics are applied to a K framework, a Z3SMT resolver is fused, and an executable engine of the BPMN2.0 language is achieved. The execution engine does not need to be converted into a third-party language, and manpower and material resource cost for checking correctness of the business process model is saved.

Description

technical field [0001] The invention relates to the field of computer science, in particular to a BPMN2.0 execution engine based on formal semantics. Background technique [0002] In any industry and enterprise, there are various processes, such as leave process, reimbursement process, onboarding process, business trip process, etc. Excellent process management is an important part of company organization management. BPMN2.0 language is a business contract-oriented process model and symbol modeling standard, using formal symbols to model the business process and contract logic relationship of the contract. Help different users design, manage and implement business processes by providing an intuitive way to express complex process semantics. At present, mainstream workflow vendors are all based on the BPMN2.0 development process, such as JEECG, Huawei Cloud, etc. [0003] BPMN2.0 language is a symbolic language developed by OMG, written in XML language, including basic mode...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F8/20G06F11/36
CPCG06F8/20G06F11/3644
Inventor 孟博赵璨王德军覃俊
Owner SOUTH CENTRAL UNIVERSITY FOR NATIONALITIES
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap