Speci cation Language Du Li and Richard

COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the policies are speci ed in a logic-based language. Over the past year, both the collaboration model and the speci cation language have been substantially re ned and evaluated through our experience in building real-life collaboration systems. This paper presents the design of the speci cation language and illustrates the main ideas with a few simple design examples. Semantics, implementation, runtime support, and applications are also covered but not as the focus of this paper.