| 摘要: |
| 为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导. |
| 关键词: 计算机支持的协同工作,时序逻辑,描述模型. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和“211”学科建设项目资金资助. |
|
| Temporal Logic Based Description Model for Computer Supported Cooperative Work Systems |
|
WANG Guo-yi,XU Guang-you
|
| Abstract: |
| To enable group members carry out work cooperatively, CSCW(computer supported cooperative work) systems may deal with distribution issues, solve the application-specific problems, and provide user-centered cooperation support as well. These result in the complexities of CSCW systems. However, describing the behavior of systems formally is a key step in the process of system development. In order to describe the behavior of CSCW systems clearly and make it possible to verify some specific properties of the system, this paper proposes a temporal logic based description model for CSCW systems. In this model, a CSCW system consists of running entities and information objects, and the system behavior is represented by the interactions between entities described using a temporal logic language——XYZ/E. This model can guide the analysis and design of CSCW systems. |
| Key words: CSCW(computer supported cooperative work), temporal logic, description mode. |
