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

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

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