智能網(wǎng)業(yè)務的形式化描述技術和業(yè)務驗證的理論與方法是目前智能網(wǎng)（IN）業(yè)務實現(xiàn)過程中的關鍵技術。它對于確保業(yè)務軟件的正確性，從而能夠高效、優(yōu)質地提供智能網(wǎng)業(yè)務起著重要的作用。 本文依據(jù)國際電信聯(lián)合委員會（ITU-T）的智能網(wǎng)能力集建議，對智能網(wǎng)業(yè)務的形式化描述技術（FDT）、智能網(wǎng)業(yè)務邏輯驗證的理論與方法等進行了研究。通信有限狀態(tài)機模型（CFSM）模型是由表示進程的有限狀態(tài)機和表示進程之間通道的先進先出隊列組成。本文給出了智能網(wǎng)各個功能實體的有限狀態(tài)機模型圖，利用CFSM模型描述了智能網(wǎng)業(yè)務邏輯，并給出了通過業(yè)務邏輯的CFSM模型驗證業(yè)務邏輯正確性的一種方法。 本文還以終端呼叫篩選業(yè)務（TCS）為例，對智能網(wǎng)業(yè)務進行了設計和仿真實現(xiàn)。 

【文章來源】：西安電子科技大學陜西省211工程院校教育部直屬院校

【文章頁數(shù)】：52 頁

【學位級別】：碩士

【文章目錄】：
第一章 緒論
    1.1 智能網(wǎng)概述
    1.2 智能網(wǎng)業(yè)務的形式化描述與驗證技術的研究現(xiàn)狀
    1.3 本文的主要工作及貢獻
第二章 智能網(wǎng)原理
    2.1 智能網(wǎng)概念模型
    2.2 智能網(wǎng)與現(xiàn)有通信網(wǎng)的關系
    小結
第三章 形式化描述技術及CFSM模型
    3.1 形式化描述技術
    3.2 用于描述和驗證復雜系統(tǒng)的通信有限狀態(tài)機模型
    小結
第四章 智能網(wǎng)業(yè)務邏輯的CFSM模型及驗證
    4.1 智能網(wǎng)業(yè)務邏輯
    4.2 智能網(wǎng)呼叫狀態(tài)模型
    4.3 各功能實體邏輯轉移的狀態(tài)機模型
    4.4 智能網(wǎng)業(yè)務邏輯的CFSM模型表示及其分析
    小結
第五章 智能網(wǎng)業(yè)務的仿真實現(xiàn)
    5.1 業(yè)務邏輯的系統(tǒng)設計
    5.2 有限狀態(tài)機的設計
    5.3 TCS業(yè)務在各平面中的表示
    5.4 TCS業(yè)務的實現(xiàn)
    小結
結束語
致謝
作者在讀期間的研究成果
參考文獻


【參考文獻】：
期刊論文
[1]用HOARE邏輯證明C++程序的正確性[J]. 王彩芬.  蘭州大學學報. 2000(01)
[2]智能網(wǎng)業(yè)務驗證技術[J]. 馬玉祥,周險峰,顧偉平,劉振宇,李高和.  西安電子科技大學學報. 1999(06)
[3]并發(fā)系統(tǒng)基本模型及其分析[J]. 張廣泉,戎玫,沈一棟.  重慶大學學報(自然科學版). 1998(03)
[4]CIN智能網(wǎng)系統(tǒng)[J]. 陳俊亮.  電信科學. 1997(01)
[5]智能網(wǎng)中業(yè)務邏輯的一種驗證方法[J]. 鄭彤,劉玉璋,楊放春.  北京郵電大學學報. 1996(01)
[6]智能網(wǎng)技術及其展望[J]. 陳俊亮.  電信科學. 1996(01)



本文編號：3612097