Temporal Logic Based Description Model For Cscw System

Gy Wang,Yc Shi,Gy Xu
1997-01-01
Abstract:To enable a group of users carry out work cooperatively, CSCW system should deal with distribution issues, solve the application-specific problems, and provide user-centered cooperation support. This results in the complexities of CSCW system. In order to clearly describe the behavior of CSCW system and make it possible to verify some properties of the system in advance, this paper proposes a temporal logic based description model far CSCW system. In this model, st CSCW system consists of program entities and information objects, the system's dynamic behavior is represented by entity interactions described with a temporal logic language, XYZ/E. With this formal model, the analysis and design of CSCW system can be guided.
What problem does this paper attempt to address?