基于ADV設(shè)計模型的同步系統(tǒng)設(shè)計框架.pdf

1、計算機(jī)日益廣泛的應(yīng)用,促使整個計算機(jī)科學(xué)技術(shù)領(lǐng)域發(fā)展的日新月異,并且對當(dāng)今整個社會的發(fā)展都起著重大的推動作用.作為計算機(jī)科學(xué)技術(shù)中的核心和重要內(nèi)容之一的軟件技術(shù)的發(fā)展則成為這一領(lǐng)域內(nèi)倍受關(guān)注的焦點(diǎn).計算機(jī)軟件已經(jīng)成為一種驅(qū)動力.在現(xiàn)代社會的方方面面,諸如交通、醫(yī)療、電信、軍事、工商業(yè)、娛樂、辦公等等幾乎所有的領(lǐng)域中都有軟件的存在,它已經(jīng)影響到我們生活的每一個方面.人們通過與計算機(jī)軟件的交互來獲取和處理各種相關(guān)信息.在這一交互過程中,計算

2、機(jī)軟件能否提供正確、實時和一致的數(shù)據(jù)信息給用戶使用,這是信息交互中至關(guān)重要的一個問題.對這一問題的研究具有相當(dāng)?shù)默F(xiàn)實意義.ADV設(shè)計模型是近年來軟件領(lǐng)域中提出的面向?qū)ο笙到y(tǒng)的一種通過接口以及它們相聯(lián)系的對象來清晰描述事務(wù)分離的設(shè)計模型.這種模型支持事務(wù)分離的特點(diǎn),使得應(yīng)用它可以在軟件系統(tǒng)的開發(fā)設(shè)計中增進(jìn)重用性、可修改性、適應(yīng)性以及演化等諸多特點(diǎn).基于這一模型來設(shè)計交互同步系統(tǒng),利用它本身所具有的特點(diǎn)尤其是一致性方面,將使系統(tǒng)設(shè)計開發(fā)變得

3、相對容易,并且開發(fā)出來的系統(tǒng)會具有較好的交互同步和數(shù)據(jù)一致性.該論文基于ADV設(shè)計模型這一理論基礎(chǔ)上,對其ADO與ADV的一致性進(jìn)行分析和設(shè)計.在得到其一致性機(jī)制后,將這一模型及其一致性機(jī)制應(yīng)用于獨(dú)立應(yīng)用中,從而獲得獨(dú)立應(yīng)用中通用的同步系統(tǒng)設(shè)計框架.在此基礎(chǔ)之上進(jìn)一步擴(kuò)展應(yīng)用這一模型到分布式環(huán)境中,通過分別對兩種典型的分布式體系結(jié)構(gòu)——C/S模式和B/S模式情況下的分析和設(shè)計,得到分布式應(yīng)用中交互同步系統(tǒng)的一個通用的設(shè)計框架.最后通過分