Title :
Specify Properties in Synchronous CSCW Systems with Extended Temporal Logical Method
Author :
Chen, Zicong ; Tang, Yong ; Ji, Gaofeng
Author_Institution :
Dept. of Comput. Sci., Sun Yat-Sen Univ., Guangzhou
Abstract :
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
Keywords :
authoring systems; formal specification; groupware; temporal logic; CWTL; computer supported collaborative work; cooperative authoring system; formal description tool; formal specification; synchronous CSCW system; temporal logical method; Algebra; Authoring systems; Collaborative work; Computer science; Concrete; Continuous wavelet transforms; Control systems; Logic; Sun; Time factors; CSCW; Specify; Temporal Logic; Time;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2006. CSCWD '06. 10th International Conference on
Conference_Location :
Nanjing
Print_ISBN :
1-4244-0164-X
Electronic_ISBN :
1-4244-0165-8
DOI :
10.1109/CSCWD.2006.253144