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

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

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

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

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