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

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