Specify Properties in Synchronous CSCW Systems with Extended Temporal Logical Method

This paper considers that CSCW theory is still in immature phase. Effective theory is badly required in order to overcome the chasm in the developmental process. Moreover, CSCW systems consist of many specifications different with most traditional systems. These requirements pose new challenges to the formal description tools. This paper argues that a series of specifications in CSCW systems can be sufficiently expressed based on temporal logic. Then an extended temporal logic CWTL is brought forward on this principle. At the end of the paper, an example is presented showing how to specify a simplified cooperative authoring system with CWTL