摘要
随着Internet的高速发展 ,计算机支持的协同工作的研究近来备受关注 .同步机制是计算机支持的协同工作中的一个核心问题 ,但目前这方面还缺少有效的描述手段 .同步问题在文中称为自动更新问题 .该文提出了带子元素群组自动机和带子元素组件自动机的概念 ,并利用这两个概念给出了同步问题的形式化描述 ,明确提出并解决了计算机支持的协同编著系统中的自动更新问题原型 .
With the rapid development of internet, the research of Computer Supported Cooperative Work (CSCW) has recently gained more and more interests. Synchronization plays an important role in CSCW, but there is no effective way to describe synchronization until recently. Synchronization is referred as auto update in this paper. This paper defines two concepts, Component Automaton Containing Subelement and Team Automaton Containing Subelement, in a mathematically precise way at first, then gives a formalized description of the auto update problem utilizing the above concepts. At last, it introduces and solves the auto update problem in the Computer Supported Cooperative Authoring System.
出处
《计算机学报》
EI
CSCD
北大核心
2004年第10期1408-1414,共7页
Chinese Journal of Computers
