The Input And Structure Detection Of BPMN Processes Based On The Eclipse Platform

With the rapid development of computer technology and distributed technology,BPM as an effective management system,has the characteristic of efficient scheduling,which can achieve business collaboration between cross-department and cross-enterprise and is favored by entrepreneurs,businessmen and scholars.BPM implements the definition,modeling,analysis,improvement,execution and management of business processes.But the concepts proposed by BPM are often abstract.To realize the control of process needs a lot of technologies.Scholars at home and aboard have carried on the further research to BPM in recent years.The main research directions include: process modeling theory and method,process model transformation,formal description of process,process verification,and process simulation and so on.Most studies are about formal description and model checking of business process,and a complete scheme to achieve "process modeling ? model conversion ? process execution path display ? model checking ? structural problem positioning" has not yet been reported.In this paper,a method is put forward to realize the simulation and structure detection of the process at the same time.The main work of this paper is as follows:(1)Several different process modeling symbols and model detection tools are listed.Their advantages and disadvantages are pointed out.BPMN is selected as a process modeling symbol by comparison.(2)The conversion process from BPMN graphical symbols to the corresponding Java classes is analyzed and several code frameworks of BPMN processes are given.(3)It uses the tree structure to store each element with the index of the BPMN process,combines with the stack mechanism to explore all the path of the process,namely,the full coverage path.(4)The model detection algorithm adding the status reduction is used to detect the structure of the business process,and locate the deadlock and live-lock.The "cutoff point" is set where the live-lock appears.Once the element detected as a live-lock the current path is no longer executed to reduce the exploration of the state space,in order to avoid state explosion.(5)A simple visual interface is designed to show a complete BPMN process from model transition to model detection,which realized the full-path display and structural problem positioning.Based on the unified platform of Eclipse,a series of processes is implemented including process creation,Java code generation,model detection,execution path display,and deadlock and live-lock positioning.