智能網(wǎng)業(yè)務(wù)沖突層次化檢測(cè)技術(shù)的研究.pdf

1、智能網(wǎng)業(yè)務(wù)沖突檢測(cè)技術(shù)是智能網(wǎng)系統(tǒng)研究領(lǐng)域內(nèi)的一項(xiàng)關(guān)鍵技術(shù)，它對(duì)于確保各個(gè)智能業(yè)務(wù)在智能網(wǎng)系統(tǒng)中安全、穩(wěn)定和高效地運(yùn)行起著十分重要的作用。在各種各樣的智能業(yè)務(wù)不斷涌現(xiàn)出來的今天，怎樣能夠準(zhǔn)確、快速地檢測(cè)出各種業(yè)務(wù)之間已經(jīng)存在的沖突，已經(jīng)成為了一個(gè)非常突出的問題。 本文首先從智能網(wǎng)業(yè)務(wù)沖突檢測(cè)技術(shù)中的動(dòng)態(tài)技術(shù)和靜態(tài)技術(shù)入手，重點(diǎn)介紹分析了靜態(tài)技術(shù)中使用的軟件工程方法和形式化方法的研究現(xiàn)狀；其次研究了智能網(wǎng)技術(shù)的基本原理和智能網(wǎng)基本

2、呼叫狀態(tài)模型，認(rèn)識(shí)到智能業(yè)務(wù)實(shí)質(zhì)上是通過對(duì)傳統(tǒng)簡(jiǎn)單電話業(yè)務(wù)的執(zhí)行流程進(jìn)行修改來實(shí)現(xiàn)其功能，并總結(jié)出業(yè)務(wù)沖突是在連續(xù)的狀態(tài)轉(zhuǎn)換過程中出現(xiàn)異常狀態(tài)的形式化定義；第三，在業(yè)務(wù)生命周期模型的基礎(chǔ)上，結(jié)合軟件工程方法和形式化方法各自的特點(diǎn)，提出了一種業(yè)務(wù)沖突分層檢測(cè)模型。該模型將檢測(cè)過程分成了兩步：在業(yè)務(wù)的需求分析階段使用業(yè)務(wù)沖突過濾算法，在詳細(xì)設(shè)計(jì)階段使用業(yè)務(wù)沖突檢測(cè)算法。該模型同時(shí)能使兩種方法有機(jī)結(jié)合；第四，深入分析和研究了基于場(chǎng)景的可視化建

3、模工具用例圖，以及利用它建立的基本呼叫處理模型和智能業(yè)務(wù)模型。針對(duì)該模型，設(shè)計(jì)了一種業(yè)務(wù)的概要設(shè)計(jì)階段使用的業(yè)務(wù)沖突過濾算法：基于呼叫處理場(chǎng)景的業(yè)務(wù)沖突過濾改進(jìn)算法。該算法從增加排除合并前提條件和增強(qiáng)過濾檢測(cè)定理兩個(gè)方面進(jìn)行了改進(jìn)，理論分析和實(shí)驗(yàn)結(jié)果表明該改進(jìn)算法能夠更加精確的定位沖突，減少不確定結(jié)論，并且提高過濾的效率；第五，深入分析和研究了狀態(tài)轉(zhuǎn)換規(guī)則形式化語言和建模分析工具有色Petri網(wǎng)之間的關(guān)系，以及P不變量的可達(dá)性分析。針對(duì)