事件驱动多流程协同交互平台的研究与实现

发布时间：2018-04-28 01:34

本文选题：业务流程建模 + 流程验证　；参考：《北京邮电大学》2016年硕士论文

【摘要】：现代企业信息化程度加深,业务流程管理逐步被引入企业的管理与运营,跨企业的业务流程管理系统间的业务流程协作有很高的实用价值。本文以事件驱动多流程协同交互为研究对象,针对BPMN流程形式化验证、流程引擎的事件路由与消息过滤、流程集中设计与部署执行等问题进行理论和技术上的研究。多流程交互的集中设计与切分部署是事件驱动多流程协同交互平台最基本的需求。本文研究BPMN2Modeler开源工具,针对多流程交互集中设计的相关问题,通过拓展元模型和利用开源工具提供的拓展点等方式实现流程嵌套建模、事件建模等功能;建模工具以流程为单位进行远程部署,针对流程切分部署的问题,本文研究建模工具的元模型,通过冗余拷贝的方式对集中设计的流程进行处理提取并生成可以部署执行的业务流程。消息事件的路由与过滤是事件驱动多流程交互运行时需要解决的重要问题。本文以jBPM为业务流程的执行引擎,在研究学习jBPM基础上利用WorkItemHandler机制将现有的基于事件的消息中间件集成到jBPM流程引擎中实现消息事件跨流程引擎的路由转发。本文研究BPMN业务流程与Petri网模型的映射转化关系,并通过Petri网安全性、可达性和死锁验证等相关的理论算法对业务流程进行验证,保证建模开发的业务流程的正确性。最后,基于理论分析和研究,对事件驱动多流程交互平台进行了编码实现,并针对流程的建模与运行构建具体的实例进行验证与分析。实验结果表明事件驱动多流程协同交互平台实现了多流程交互集中建模、流程验证及事件交互等相关功能,达到了预期的功能需求。
[Abstract]:With the deepening of modern enterprise information, business process management is gradually introduced into the management and operation of enterprises. The collaboration of business processes among business process management systems across enterprises has a high practical value. In this paper, the event-driven multi-process collaborative interaction is taken as the research object. The formal verification of BPMN process, the event routing and message filtering of the process engine, the design and execution of process centralized deployment, and so on, are studied theoretically and technically. The centralized design and split deployment of multi-process interaction are the most basic requirements of event-driven multi-process collaborative interaction platform. This paper studies BPMN2Modeler open source tools, aiming at the related problems of multi-process interaction centralized design, implements the functions of process nesting modeling and event modeling by extending metamodel and using the extension points provided by open source tools. The modeling tool is based on the process unit for remote deployment. In view of the problem of process segmentation deployment, this paper studies the meta-model of modeling tool. The centrally designed processes are processed and extracted by redundant copies and the business processes that can be deployed and executed are generated. The routing and filtering of message events is an important problem to be solved when event driven multi-process interaction runs. In this paper, jBPM is used as the execution engine of business processes. Based on the study of learning jBPM, the existing event-based message middleware is integrated into the jBPM process engine to realize the routing and forwarding of message events across the process engine using WorkItemHandler mechanism. This paper studies the mapping and transforming relationship between BPMN business process and Petri net model, and verifies the business process by Petri net security, reachability and deadlock verification, so as to ensure the correctness of the business process. Finally, based on the theoretical analysis and research, the event-driven multi-process interaction platform is coded, and the concrete examples of process modeling and running are verified and analyzed. The experimental results show that the event-driven multi-process collaborative interaction platform achieves the functions of multi-process interaction centralized modeling, process verification and event interaction, and achieves the expected functional requirements.
【学位授予单位】：北京邮电大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP311.52;TP301.1

【参考文献】