本文選題：業(yè)務(wù)流程建模 + 流程驗證　； 參考：《北京郵電大學(xué)》2016年碩士論文

【摘要】：現(xiàn)代企業(yè)信息化程度加深,業(yè)務(wù)流程管理逐步被引入企業(yè)的管理與運營,跨企業(yè)的業(yè)務(wù)流程管理系統(tǒng)間的業(yè)務(wù)流程協(xié)作有很高的實用價值。本文以事件驅(qū)動多流程協(xié)同交互為研究對象,針對BPMN流程形式化驗證、流程引擎的事件路由與消息過濾、流程集中設(shè)計與部署執(zhí)行等問題進行理論和技術(shù)上的研究。多流程交互的集中設(shè)計與切分部署是事件驅(qū)動多流程協(xié)同交互平臺最基本的需求。本文研究BPMN2Modeler開源工具,針對多流程交互集中設(shè)計的相關(guān)問題,通過拓展元模型和利用開源工具提供的拓展點等方式實現(xiàn)流程嵌套建模、事件建模等功能;建模工具以流程為單位進行遠程部署,針對流程切分部署的問題,本文研究建模工具的元模型,通過冗余拷貝的方式對集中設(shè)計的流程進行處理提取并生成可以部署執(zhí)行的業(yè)務(wù)流程。消息事件的路由與過濾是事件驅(qū)動多流程交互運行時需要解決的重要問題。本文以jBPM為業(yè)務(wù)流程的執(zhí)行引擎,在研究學(xué)習(xí)jBPM基礎(chǔ)上利用WorkItemHandler機制將現(xiàn)有的基于事件的消息中間件集成到j(luò)BPM流程引擎中實現(xiàn)消息事件跨流程引擎的路由轉(zhuǎn)發(fā)。本文研究BPMN業(yè)務(wù)流程與Petri網(wǎng)模型的映射轉(zhuǎn)化關(guān)系,并通過Petri網(wǎng)安全性、可達性和死鎖驗證等相關(guān)的理論算法對業(yè)務(wù)流程進行驗證,保證建模開發(fā)的業(yè)務(wù)流程的正確性。最后,基于理論分析和研究,對事件驅(qū)動多流程交互平臺進行了編碼實現(xiàn),并針對流程的建模與運行構(gòu)建具體的實例進行驗證與分析。實驗結(jié)果表明事件驅(qū)動多流程協(xié)同交互平臺實現(xiàn)了多流程交互集中建模、流程驗證及事件交互等相關(guān)功能,達到了預(yù)期的功能需求。
[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.
【學(xué)位授予單位】：北京郵電大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP311.52;TP301.1

【參考文獻】

相關(guān)期刊論文 前1條

1 蘇陽;朱明;;J2EE工作流的交互性研究與實現(xiàn)[J];計算機技術(shù)與發(fā)展;2008年06期

，

本文編號：1813203