%0 Journal Article
%T 计算机支持的协同工作系统的时序逻辑模型
%A 史元春？
%A 徐光佑？
%J 软件学报
%P 169-173
%D 1998
%X 为了使群体能够协同完成任务,cscw(computersupportedcooperativework)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述cscw系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了cscw系统行为的抽象描述模型.在此模型中,cscw系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言xyz/e描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导.
%K 计算机支持的协同工作
%K 时序逻辑
%K 描述模型.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19980302&flag=1