Supporting distributed behaviours in shared workspace

Distributed behaviours provide users with the sensation of cooperation, which is desirable to collaborative and interactive computing. We present a formal model of a shared workspace and distributed behaviours to describe and analyse collaborative working. The workspace is implemented in a purely replicated architecture. Our approach to analyzing a disconnecting-tolerant system is by dividing collaborative working into an interleaving of normal periods and disconnection periods. The objects partitioning scheme in the disconnection period, which is the essential part of the work, is analyzed and designed. This work keeps the shared data potentially consistent, which provides a key support for distributed behaviours in shared workspaces