【摘要】：現(xiàn)代的業(yè)務流程越來越復雜,對業(yè)務流程建模與驗證技術提出了越來越高的要求。任務是業(yè)務流程的基本要素,面向任務思想以任務為核心,通過對任務的描述、分解和分配高效合理的完成業(yè)務需求。本文研究面向任務的業(yè)務流程建模和驗證方法,具體工作如下:首先提出了面向任務的業(yè)務流程建模方法。該方法以面向任務思想為基礎,基于BPMN(Business Process Modeling Notation)提出了相應的建模方法。為了滿足面向任務的建模需要,擴展了任務的時間、資源性質(zhì)等相關屬性,并擴展了時間約束等模型約束元素。提出了面向任務建模的具體步驟,包括將任務目標分解為可執(zhí)行的具體任務,根據(jù)任務的邏輯順序以及時間資源等要求將任務組合成完整的業(yè)務流圖等。最后以潛艇作戰(zhàn)為例,設計了任務的時間資源等要素,構造了面向任務的潛艇作戰(zhàn)流程模型。其次,提出了基于模型檢測思想的模型一致性驗證方法。與傳統(tǒng)模型檢測方法不同,本文將業(yè)務流程的過程性質(zhì)和時間資源等定量性質(zhì)進行了統(tǒng)一描述與驗證。根據(jù)業(yè)務流的結(jié)構,設計了帶時間和資源的業(yè)務流圖到狀態(tài)遷移模型的轉(zhuǎn)換規(guī)則,基于時序邏輯給出了業(yè)務流模型可終止性、可達性、順序性等以及時間資源約束性質(zhì)的形式化描述方法。最后對潛艇作戰(zhàn)模型進行了驗證,并對其進行了修正。然后,提出了基于簡單時間網(wǎng)絡STN的業(yè)務流模型任務約束驗證與消解方法。傳統(tǒng)的約束驗證方法主要用于業(yè)務流圖的單路徑驗證,本文針對分支路徑驗證問題,提出了業(yè)務流模型到STN的轉(zhuǎn)換方法,證明了業(yè)務流模型一致性與STN的一致性的對應。提出了業(yè)務流模型的路徑一致性以及強一致性概念,給出了上述一致性的滿足條件并進行了證明,設計了路徑一致性以及強一致性的驗證和消解算法,分析了其收斂性等性質(zhì),并結(jié)合實例進行了驗證和消解。最后,基于面向任務業(yè)務流程建模和驗證方法,設計了業(yè)務流程建模與驗證平臺。構建了從任務分解到業(yè)務流圖的圖形化建模平臺,實現(xiàn)了面向任務業(yè)務流模型的一致性驗證和消解方法�；谏鲜銎脚_上構建了登島作戰(zhàn)流程模型,并進行了模型驗證和消解,結(jié)果表明本文建模驗證方法和平臺設計能夠滿足面向任務業(yè)務流程模型的建模需求以及針對業(yè)務流程的時間、資源、路徑約束等性質(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.
【學位授予單位】：南京航空航天大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP311.52

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關會議論文 前1條

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

相關重要報紙文章 前10條

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

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

3 邢小萍;IBM傾力培養(yǎng)SOA人才[N];網(wǎng)絡世界;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 記者 陳璞邋實習記者 高慧;合力培養(yǎng)復合型軟件人才[N];大眾科技報;2008年

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

相關博士學位論文 前4條

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

，

本文編號：2435880