版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、I學(xué)校代碼:10255學(xué)號(hào):2121521碩士研究生學(xué)位論文碩士研究生學(xué)位論文以數(shù)據(jù)數(shù)據(jù)為中心的業(yè)務(wù)流程系統(tǒng)建模為中心的業(yè)務(wù)流程系統(tǒng)建模與驗(yàn)證問題研究驗(yàn)證問題研究學(xué)科專業(yè):學(xué)科專業(yè):軟件工程軟件工程姓名:萬小妹萬小妹指導(dǎo)教師:指導(dǎo)教師:劉國華劉國華答辯日期:答辯日期:2015年1月III以數(shù)據(jù)為中心的業(yè)務(wù)流程系統(tǒng)建模及驗(yàn)證問題研究摘要以數(shù)據(jù)為中心是業(yè)務(wù)流程管理技術(shù)發(fā)展的一個(gè)新趨勢(shì)。artifact是業(yè)務(wù)流程中的關(guān)鍵數(shù)據(jù)實(shí)體以artifa
2、ct為中心的業(yè)務(wù)流程管理是以數(shù)據(jù)為中心的業(yè)務(wù)流程管理的典型代表。業(yè)務(wù)流程系統(tǒng)模型是業(yè)務(wù)流程管理的基礎(chǔ)它必須滿足一些政府政策、法律法規(guī)以及商業(yè)規(guī)則等約束條件。本文把描述邏輯引入到系統(tǒng)建模中,提出了一個(gè)以artifact為中心的業(yè)務(wù)流程系統(tǒng)模型,并給出了兩個(gè)不同系統(tǒng)之間的互為相似性的充分條件。業(yè)務(wù)流程系統(tǒng)必須滿足法律法規(guī)、政府政策及商業(yè)規(guī)則等約束條件。對(duì)于以artifact為中心的業(yè)務(wù)流程系統(tǒng),本文首先采用FOCTL(Firstderext
3、ensionofcomputationlogic)表達(dá)這些約束條件。然后,證明判定系統(tǒng)是否滿足約束是不可判定問題。尋找與其互為相似的具有有限狀態(tài)且可計(jì)算的剪枝系統(tǒng)。證明如果與其互為相似的系統(tǒng)滿足約束,那么原系統(tǒng)也滿足。最后,采用已發(fā)展成熟的標(biāo)準(zhǔn)模型檢測(cè)算法判斷具有限狀態(tài)且可計(jì)算的剪枝系統(tǒng)是否滿足約束,從而達(dá)到驗(yàn)證原系統(tǒng)的目的。artifact由信息模型和生命周期兩部分組成。信息模型描述artifact的數(shù)據(jù)結(jié)構(gòu)。生命周期描述artifa
4、ct從創(chuàng)建、修改到完成并歸檔的處理軌跡,它是由業(yè)務(wù)部門根據(jù)業(yè)務(wù)規(guī)則和其他有關(guān)業(yè)務(wù)的約束條件來定義,主要用于業(yè)務(wù)的合規(guī)性檢查和流程實(shí)時(shí)監(jiān)控。因此,生命周期的驗(yàn)證和aritfact有效性驗(yàn)證是以artifact為中心的業(yè)務(wù)流程系統(tǒng)中關(guān)鍵的驗(yàn)證問題。針對(duì)這兩類問題,本文通過枚舉不同類型的生命周期實(shí)例,判斷生命周期的正確性,通過利用artifact生命周期研究artifact的有效性問題。以artifact為中心的業(yè)務(wù)流程是以數(shù)據(jù)為中心的典型代
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 面向服務(wù)的業(yè)務(wù)流程建模與驗(yàn)證研究.pdf
- 面向任務(wù)的業(yè)務(wù)流程建模與驗(yàn)證方法研究.pdf
- 業(yè)務(wù)流程的分層建模驗(yàn)證與挖掘方法研究.pdf
- 以數(shù)據(jù)為中心業(yè)務(wù)流程模型的訪問控制技術(shù)研究.pdf
- 以數(shù)據(jù)為中心的業(yè)務(wù)流程變更自適應(yīng)技術(shù)研究.pdf
- 以數(shù)據(jù)為中心的商業(yè)流程建模與管理.pdf
- 以artifact為中心的業(yè)務(wù)流程合規(guī)性研究.pdf
- 以Artifact為中心的多粒度復(fù)雜協(xié)作流程建模與驗(yàn)證.pdf
- 基于馬爾可夫鏈的移動(dòng)商務(wù)業(yè)務(wù)流程建模與驗(yàn)證方法研究.pdf
- 以Artifact為中心的業(yè)務(wù)流程時(shí)序協(xié)調(diào)和失敗恢復(fù)研究.pdf
- 數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)建模與優(yōu)化方法.pdf
- 企業(yè)知識(shí)與業(yè)務(wù)流程集成建模研究.pdf
- 以業(yè)務(wù)流程管理為中心的用例分析模型研究及應(yīng)用.pdf
- 基于業(yè)務(wù)流程建模的BPR研究.pdf
- 呼叫中心業(yè)務(wù)流程
- 復(fù)雜服務(wù)系統(tǒng)業(yè)務(wù)流程建模改進(jìn)方法研究.pdf
- ERP實(shí)施中的業(yè)務(wù)流程建模與優(yōu)化研究.pdf
- 移動(dòng)商務(wù)業(yè)務(wù)流程的分析與建模方法研究.pdf
- 基于知識(shí)的業(yè)務(wù)流程建模的研究與實(shí)現(xiàn).pdf
- 業(yè)務(wù)流程再造問題再探討——以柯達(dá)、宏基為例.pdf
評(píng)論
0/150
提交評(píng)論