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

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

【參考文獻(xiàn)】

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

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

，

本文編號(hào)：1813203