读《CSCW的一种建模与实现方法》

这篇论文为我们描述了作者构建的一种基于交互、活动、协作三层结构的协同工作模型，并提出了一种采用“镜头焦点”和“自由交互”相结合的协作模型实现方法。

计算机支持的协同工作就是利用计算机技术将时间上分离、空间上分布而工作上又相互关联的多个协作成员及其活动有机的结合起来，共同完成一项任务的分布式计算机环境。

协作模型的主要功能是描述时间上分离、空间上分布而在工作上又相互依赖的多个成员间的交互方式、协作机制以及对协作过程的控制、管理和协调等。根据群体协作在时间和空间的分类协同工作模式有以下四种：

·同步模式——在同一时间和同一地点进行同一任务的合作方式，如共同决策、共同编辑(著)文件、CAD、室内会议等。

·分布式同步模式——在同一时间但不同地点进行同一任务的合作方式，如联合设计、联合编辑、群体决策、视频会议等。

·异步模式——在同一地点但不同时间进行同一任务的合作方式，如轮流作业等。

·分布式异步模式——在不同时间且不同地点进行同一任务的合作方式，如电子邮件、大规模项目的开发等。

其中，分布同步模式是CSCW的主要研究和实现对象，也是体现CSCW本质特征的工作模式。【1,2】

基于交互、活动、协作三层结构的协同工作模型的定义及其结构

交互是由人(成员)以及通信媒体(文字、语言、视频……)组成的，成员之间对通信媒体的使用形成交互；由若干个存在关联的交互所组成的集合则构成一个活动；而协作则是由一系列时间上连续的相互之间存在输入／输出依赖或因果依赖的活动所组成的集合．

定义：

设P={P1，P2，…，Pn}为协作成员的集合，M={M1， M2，…，Mm }为交互媒体的集合。用接收()和发送()表示成员对某一媒体的基本操作，设 ( i∈[1，n], (j∈[1，m])表示成员对媒体的访问权限。因此，∈(，{}，{}，{，})。这样，如果≠，则成员就可对媒体进行访问，表示为，并称之为参与关联(Participation relation)．表示如下：≠and ∈(，{}，{}，{，})。

定义1． 设=U ，表示成员对各种媒体的访问权限，当且仅当 i∈[1，n]，≠，且 j∈[1，m]，,，，且{，)U 时，成员集合P和媒体集合M才能构成交互C。

定义1表明，只有在每一个成员至少访问一种媒体，而每一种媒体至少被两个不同的成员访问(其中至少一个为发送，另一个为接收)的情况下才构成交互。

在协作过程中，成员和媒体之间、交互与交互之间可能存在一定的制约关系。这种制约可以通过存在关系(Existential relation)进行描述。令Z=P U A表示组成交互的全部实体，用‘’表示存在关系。设和，分别表示实体和，(∈Z)是否存在的布尔变量，则如果的存在依赖于，则表示为存在依赖的语义解释依赖于它所表示的实体。例如，表明媒体M的存在依赖于成员 (如成员的讲话)，又如表明交互C仅当成员参加时才能进行(如为主持人)，而。则表示在访问媒体之前应先访问媒体。

一般地，一个活动是由多个(次)交互组成的，而这些交互间又存在依赖关系．例如，在某正式会议之前先召开一个预备会议，即：我们称这样的一组存在关联的交互为一个活动(Activity)．

定义2.  设，，…，为若干存在依赖的交互，当且仅当 i∈[2，n]， j∈[1，n]，且i≠j，有时才构成活动A。表示为A={，，…，)。

由此可见，活动是由若干存在关联的交互组成的集合．一个活动仅在其所有的交互终止时才终止。在初始化一个活动时，要初始化其所有的相关交互。

协作是由围绕某一共同的任务而展开的多个时间上有序的活动组成的集合。活动间的时序关系表现为before、meets、overlap、during、starts、ends及其他们的逆序和equal等13种关系。这些活动可以由全体成员参加，也可能只是部分成员参加。活动间往往存在输入/输出依赖或因果依赖关系。

定义3． 协作e是由时间上有序的活动序列，，…，。组成的集合，即e=，，…，)。

一个协作仅在其所有的活动都终止时才结束。在协作初始化时，将以时间顺序初始化所有组成员协作的活动。

交互、活动、协作构成了协作模型的三个抽象层次。图1示意了协作模型的结构。