计算机支持的协同工作系统的时序逻辑模型  

Temporal Logic Based Description Model for Computer Supported Cooperative Work Systems

作　　者：王国意[1] 史元春[1] 徐光佑[1] 

机构地区：[1]清华大学计算机科学与技术系

出　　处：《软件学报》1998年第3期169-173,共5页Journal of Software

基　　金：国家自然科学基金;"211"学科建设项目资金

摘　　要：为了使群体能够协同完成任务，ＣＳＣＷ（ｃｏｍｐｕｔｅｒｓｕｐｐｏｒｔｅｄｃｏｏｐｅｒａｔｉｖｅｗｏｒｋ）系统不仅要解决各种分布性、处理应用领域的特殊性，而且要提供面向用户的协作支持，从而使其行为异常复杂．然而对系统行为进行形式化的描述是构造软件系统的必经阶段．为了清晰地描述ＣＳＣＷ系统的行为，使其特定性质的验证成为可能，本文在时序逻辑的基础上，建立了ＣＳＣＷ系统行为的抽象描述模型．在此模型中，ＣＳＣＷ系统由分布运行实体和信息对象组成，系统的主要行为表现为用时序逻辑语言ＸＹＺ／Ｅ描述的实体间的交互．此模型可较好地对系统的分析和构造进行指导．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.

关 键 词：CSCW 时序逻辑模型 人机系统 软件工程 

分 类 号：TP11[自动化与计算机技术—控制理论与控制工程] TP311.5[自动化与计算机技术—控制科学与工程]