動作推導(dǎo)引擎及其在語音通信軟件設(shè)計中的應(yīng)用.pdf

1、針對目前語音通信軟件設(shè)計中的困難,該文對通信流程形式化邏輯描述方法進行了研究.根據(jù)語音通信軟件中呼叫控制過程的特點,該文使用狀態(tài)推導(dǎo)圖對通信流程進行建模,并結(jié)合人工智能理論中的邏輯知識表示和推理方法,實現(xiàn)了通信流程的形式化描述,提出在分析和設(shè)計階段利用計算機幫助程序員對通信流程的正確性進行部分驗證的方法.該文設(shè)計的動作推導(dǎo)引擎模型(ADEM)是一個可復(fù)用系統(tǒng)框架,整合了該文的主要研究成果.ADEM模型采用流程輸入的方法,將系統(tǒng)的邏輯推導(dǎo)

2、信息顯式表現(xiàn)出來,能直接體現(xiàn)系統(tǒng)的設(shè)計思想,實現(xiàn)程序自動生成程序;在分析和設(shè)計階段能輔助程序員進行部分驗證和檢驗工作,在一定程度上保證系統(tǒng)分析和設(shè)計的正確性;在系統(tǒng)運行過程中,能實時反映系統(tǒng)內(nèi)部狀態(tài),幫助程序員監(jiān)控和排除系統(tǒng)的異常.采用ADEM模型作為系統(tǒng)框架,提高了代碼的重用,減少軟件出錯的幾率,并且程序可讀性、可擴充性和易維護性也都得到提高,有利于進行錯誤定位.該文的研究成果已經(jīng)在中山大學(xué)軟件研究所的CTM(計算機電話管理)系列產(chǎn)品