發(fā)布時間：2019-03-06 20:42

【摘要】：現(xiàn)代的業(yè)務(wù)流程越來越復(fù)雜,對業(yè)務(wù)流程建模與驗證技術(shù)提出了越來越高的要求。任務(wù)是業(yè)務(wù)流程的基本要素,面向任務(wù)思想以任務(wù)為核心,通過對任務(wù)的描述、分解和分配高效合理的完成業(yè)務(wù)需求。本文研究面向任務(wù)的業(yè)務(wù)流程建模和驗證方法,具體工作如下:首先提出了面向任務(wù)的業(yè)務(wù)流程建模方法。該方法以面向任務(wù)思想為基礎(chǔ),基于BPMN(Business Process Modeling Notation)提出了相應(yīng)的建模方法。為了滿足面向任務(wù)的建模需要,擴展了任務(wù)的時間、資源性質(zhì)等相關(guān)屬性,并擴展了時間約束等模型約束元素。提出了面向任務(wù)建模的具體步驟,包括將任務(wù)目標(biāo)分解為可執(zhí)行的具體任務(wù),根據(jù)任務(wù)的邏輯順序以及時間資源等要求將任務(wù)組合成完整的業(yè)務(wù)流圖等。最后以潛艇作戰(zhàn)為例,設(shè)計了任務(wù)的時間資源等要素,構(gòu)造了面向任務(wù)的潛艇作戰(zhàn)流程模型。其次,提出了基于模型檢測思想的模型一致性驗證方法。與傳統(tǒng)模型檢測方法不同,本文將業(yè)務(wù)流程的過程性質(zhì)和時間資源等定量性質(zhì)進行了統(tǒng)一描述與驗證。根據(jù)業(yè)務(wù)流的結(jié)構(gòu),設(shè)計了帶時間和資源的業(yè)務(wù)流圖到狀態(tài)遷移模型的轉(zhuǎn)換規(guī)則,基于時序邏輯給出了業(yè)務(wù)流模型可終止性、可達性、順序性等以及時間資源約束性質(zhì)的形式化描述方法。最后對潛艇作戰(zhàn)模型進行了驗證,并對其進行了修正。然后,提出了基于簡單時間網(wǎng)絡(luò)STN的業(yè)務(wù)流模型任務(wù)約束驗證與消解方法。傳統(tǒng)的約束驗證方法主要用于業(yè)務(wù)流圖的單路徑驗證,本文針對分支路徑驗證問題,提出了業(yè)務(wù)流模型到STN的轉(zhuǎn)換方法,證明了業(yè)務(wù)流模型一致性與STN的一致性的對應(yīng)。提出了業(yè)務(wù)流模型的路徑一致性以及強一致性概念,給出了上述一致性的滿足條件并進行了證明,設(shè)計了路徑一致性以及強一致性的驗證和消解算法,分析了其收斂性等性質(zhì),并結(jié)合實例進行了驗證和消解。最后,基于面向任務(wù)業(yè)務(wù)流程建模和驗證方法,設(shè)計了業(yè)務(wù)流程建模與驗證平臺。構(gòu)建了從任務(wù)分解到業(yè)務(wù)流圖的圖形化建模平臺,實現(xiàn)了面向任務(wù)業(yè)務(wù)流模型的一致性驗證和消解方法�；�于上述平臺上構(gòu)建了登島作戰(zhàn)流程模型,并進行了模型驗證和消解,結(jié)果表明本文建模驗證方法和平臺設(shè)計能夠滿足面向任務(wù)業(yè)務(wù)流程模型的建模需求以及針對業(yè)務(wù)流程的時間、資源、路徑約束等性質(zhì)的驗證消解需求。
[Abstract]:The modern business process is becoming more and more complex, which puts forward higher and higher requirements for business process modeling and verification technology. Task is the basic element of business process. The task-oriented idea takes task as the core. Through the description of task, the task is decomposed and assigned efficiently and reasonably to fulfill the business requirements. In this paper, task-oriented business process modeling and verification methods are studied. The specific work is as follows: firstly, a task-oriented business process modeling method is proposed. This method is based on the idea of task-oriented and proposes the corresponding modeling method based on BPMN (Business Process Modeling Notation). In order to meet the needs of task-oriented modeling, the time and resource properties of the task are extended, and the constraint elements of the model such as time constraints are extended. The specific steps of task-oriented modeling are proposed, including decomposing task objectives into executable tasks, combining tasks into complete business flow diagrams according to the logical order of tasks and time resources. Finally, taking submarine combat as an example, the task time resource and other elements are designed, and the task-oriented submarine operational flow model is constructed. Secondly, a model consistency verification method based on model checking is proposed. Different from traditional model checking methods, this paper describes and validates the quantitative properties of business process, such as process property and time resource. According to the structure of traffic flow, the transition rules from traffic flow graph to state transition model with time and resources are designed, and the termination and reachability of traffic flow model are given based on temporal logic. Formal description of sequence and time resource constraints. Finally, the submarine combat model is verified and modified. Then, the task constraint verification and resolution method of traffic flow model based on simple time network STN is proposed. The traditional constraint verification method is mainly used in single-path verification of traffic flow graph. Aiming at branch path verification, this paper proposes a method of transforming traffic flow model to STN, and proves that the consistency of traffic flow model corresponds to the consistency of STN. In this paper, the concepts of path consistency and strong consistency of traffic flow model are proposed, the satisfying conditions of the above consistency are given and proved, and the verification and resolution algorithm of path consistency and strong consistency are designed, and its convergence properties are analyzed. At the same time, it is verified and dispelled with an example. Finally, based on task-oriented business process modeling and verification method, a business process modeling and verification platform is designed. A graphical modeling platform from task decomposition to business flow graph is constructed, and the consistency verification and resolution method of task-oriented business flow model is implemented. Based on the above-mentioned platform, the operational process model of landing island is constructed, and the model verification and resolution are carried out. The results show that the modeling verification method and platform design can meet the modeling requirements of task-oriented business process model and the verification and resolution requirements for the time, resources and path constraints of the business process.
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP311.52

【相似文獻】

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

1 胡松筠,陳燕,李曄,王惠;基于隨機時間Petri網(wǎng)的第三方物流業(yè)務(wù)流程建模與分析[J];大連海事大學(xué)學(xué)報;2005年04期

2 李淑霞;;基于配置理論的業(yè)務(wù)流程建模方法與關(guān)鍵實現(xiàn)技術(shù)[J];統(tǒng)計與決策;2008年18期

3 李淑霞;朱海平;;基于配置理論的可復(fù)用業(yè)務(wù)流程建模[J];科技管理研究;2009年03期

4 劉明;姚青;;基于知識的可變業(yè)務(wù)流程建模模型[J];計算機工程與設(shè)計;2011年12期

5 馬新輝;吳炳方;周月敏;朱亮;閆禮;;三峽生態(tài)與環(huán)境信息系統(tǒng)業(yè)務(wù)流程建模研究[J];計算機工程與應(yīng)用;2007年35期

6 陳劍輝;夏永霖;魏峻;;基于模型的業(yè)務(wù)流程建模平臺研究與實現(xiàn)[J];計算機應(yīng)用研究;2008年04期

7 潘加宇;;BPMN2.0[J];程序員;2010年01期

8 孫麗麗;何豐;;基于語義的業(yè)務(wù)流程建模方法[J];信息與電腦(理論版);2011年10期

9 楊鵬玉;邱錦倫;;基于Pi演算的BPMN編排模式[J];計算機工程;2009年23期

10 王健;董廣智;柳軍飛;;支持復(fù)雜事件處理的業(yè)務(wù)流程建模研究[J];計算機工程與設(shè)計;2012年06期

相關(guān)會議論文 前1條

1 周媛莎;李瀟;徐瑋;成偉華;張亮;;基于物件依賴關(guān)系的業(yè)務(wù)流程可達性分析[A];第二十五屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（一）[C];2008年

相關(guān)重要報紙文章 前10條

1 李佳師;推倒IT與業(yè)務(wù)之間的高墻需從學(xué)校抓起[N];中國電子報;2008年

2 邢小萍;SOA的未來從哪里開始？[N];網(wǎng)絡(luò)世界;2008年

3 邢小萍;IBM傾力培養(yǎng)SOA人才[N];網(wǎng)絡(luò)世界;2008年

4 本報記者 羅提邋李坤;早春播種 金秋收獲[N];中國計算機報;2008年

5 記者 申明;國內(nèi)高校SOA比賽落幕[N];科技日報;2008年

6 陳棟棟;IBM看好中國SOA市場[N];中國工業(yè)報;2008年

7 記者 杜文;IBM杯大賽加速企業(yè)信息化[N];中國企業(yè)報;2008年

8 申明;培育創(chuàng)新型企管人才[N];科技日報;2008年

9 記者 陳璞邋實習(xí)記者 高慧;合力培養(yǎng)復(fù)合型軟件人才[N];大眾科技報;2008年

10 本報記者 霍娜;業(yè)務(wù)流程建模 實施ERP的必要條件？[N];中國計算機報;2008年

相關(guān)博士學(xué)位論文 前4條

1 張曼;面向服務(wù)的業(yè)務(wù)流程建模與驗證研究[D];西安電子科技大學(xué);2012年

2 王穎;以Artifact為中心的業(yè)務(wù)流程建模與分析[D];燕山大學(xué);2012年

3 夏登文;數(shù)字海洋基礎(chǔ)數(shù)據(jù)及業(yè)務(wù)流程建模方法及相關(guān)技術(shù)研究[D];東北大學(xué);2006年

4 張立群;支持業(yè)務(wù)流程建模的塊結(jié)構(gòu)流程挖掘技術(shù)的研究[D];山東大學(xué);2010年

相關(guān)碩士學(xué)位論文 前10條

1 郁文樞;面向任務(wù)的業(yè)務(wù)流程建模與驗證方法研究[D];南京航空航天大學(xué);2015年

2 劉明;基于知識的業(yè)務(wù)流程建模的研究與實現(xiàn)[D];山東大學(xué);2012年

3 歐陽幫;基于控制規(guī)則的業(yè)務(wù)流程建模方法的研究[D];浙江師范大學(xué);2011年

4 梅思楠;融合規(guī)則的業(yè)務(wù)流程建模及仿真研究[D];上海交通大學(xué);2011年

5 陳愛君;自適應(yīng)業(yè)務(wù)流程建模方法與技術(shù)研究[D];湖南師范大學(xué);2013年

6 楊利亮;面向煙草供應(yīng)鏈的業(yè)務(wù)流程建模與再造研究[D];山東大學(xué);2008年

7 朱傳鴻;面向服務(wù)的業(yè)務(wù)流程建模及運行方法研究[D];湖北工業(yè)大學(xué);2009年

8 倪珊珊;面向方面業(yè)務(wù)流程建模與方面追蹤[D];云南大學(xué);2015年

9 何欣;業(yè)務(wù)流程建模研究與設(shè)計[D];天津師范大學(xué);2006年

10 付舒婷;基于改進Petri網(wǎng)的第三方物流配送業(yè)務(wù)流程建模研究[D];哈爾濱工業(yè)大學(xué);2013年

，

本文編號：2435880