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

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

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

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