協(xié)同編輯系統(tǒng)中語義保持的研究與實(shí)現(xiàn).pdf

1、計(jì)算機(jī)支持協(xié)同編輯系統(tǒng)是CSCW領(lǐng)域的一個(gè)重要研究方向，它允許多個(gè)用戶通過計(jì)算機(jī)和通信網(wǎng)絡(luò)對(duì)同一個(gè)共享文檔同時(shí)進(jìn)行編輯設(shè)計(jì)。與單用戶編輯系統(tǒng)相比，協(xié)同編輯系統(tǒng)能夠提高工作效率、節(jié)約時(shí)間、降低成本。目前對(duì)協(xié)同編輯系統(tǒng)的研究主要集中在語法層面上的一致性維護(hù)問題上，包括結(jié)果一致、因果一致和操作意圖一致等，而對(duì)于語義層面上的一致性維護(hù)問題，即語義保持問題，則少有研究。但是，語義保持對(duì)于協(xié)同編輯系統(tǒng)來說有著極其重要的意義，因?yàn)橛脩舻拿恳粋€(gè)操作都包

2、含其特定的用戶語義，對(duì)這些用戶語義的任何誤解都有可能會(huì)造成沖突問題的產(chǎn)生，從而降低協(xié)同工作的效率。而且，語義保持還無法僅僅通過已有的文檔一致性維護(hù)算法來實(shí)現(xiàn)，因此，我們有必要對(duì)協(xié)同編輯系統(tǒng)中的語義保持問題進(jìn)行研究。 本文在國內(nèi)外最新研究成果的基礎(chǔ)上，對(duì)協(xié)同編輯系統(tǒng)中語義保持問題進(jìn)行了深入的研究，具體內(nèi)容包括：1、根據(jù)不同的標(biāo)準(zhǔn)對(duì)協(xié)同編輯系統(tǒng)中的各種語義進(jìn)行分類、分析，并提出了新的語義分類方法，即按照語義所表達(dá)的信息內(nèi)容不同，將語

3、義分為描述性語義、數(shù)值約束語義、關(guān)系約束語義和個(gè)性化語義四種；2、對(duì)現(xiàn)有的幾種語義保持模型的優(yōu)缺點(diǎn)進(jìn)行了比較，提出了一個(gè)新的基于語義知識(shí)庫的語義保持模型。在該模型中，通過語義規(guī)則表達(dá)式來形式化地描述用戶語義規(guī)則，并通過語義描述語言SDL將所有用戶語義以文本方式存放在語義知識(shí)庫文件中，以便下次編輯同一個(gè)文檔時(shí)能夠重新加載先前定義的所有用戶語義；3、提出了語義知識(shí)庫的三種不同維護(hù)方式，包括集中式維護(hù)、分布式維護(hù)和復(fù)制式維護(hù)，并簡單介紹了各種

4、維護(hù)方式下語義知識(shí)庫的維護(hù)機(jī)制及其優(yōu)缺點(diǎn)；4、在以復(fù)制式維護(hù)方式維護(hù)語義知識(shí)庫的基礎(chǔ)上，提出了語義沖突檢測(cè)的四個(gè)時(shí)機(jī)，即在發(fā)起一個(gè)本地普通操作之后、在準(zhǔn)備執(zhí)行一個(gè)遠(yuǎn)程普通操作之時(shí)、在發(fā)起一個(gè)本地語義操作之后、在準(zhǔn)備執(zhí)行一個(gè)遠(yuǎn)程語義操作之時(shí)進(jìn)行語義沖突檢測(cè)，并以此為基礎(chǔ)改進(jìn)了原有的語義沖突解決算法。 最后，本文在課題組的CoDesign原型系統(tǒng)基礎(chǔ)上，對(duì)本文提出的幾個(gè)關(guān)鍵技術(shù)進(jìn)行了驗(yàn)證，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于復(fù)制式語義知識(shí)庫的語義保