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

fYear

2006

fDate

3-5 May 2006

Firstpage

1

Lastpage

6

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CSCWD.2006.253144

Filename

4019180