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

• 作者: 史元春 徐光佑 王国意
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 计算机支持的协同工作 时序逻辑 描述模型
• 年，卷（期）: 1998,（3）
• 页码范围: 0
• 分类号: TP311.1
• 语种: 中文

摘要

为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史元春	清华大学计算机科学与技术系	52	1212	15.0	34.0
2	王国意	清华大学计算机科学与技术系	1	23	1.0	1.0
3	徐光佑	清华大学计算机科学与技术系	9	659	5.0	9.0