Specifying and Reasoning About CSCW

In this paper we introduce a pair of logics which, taken together, can be seen as a first step towards a formal specification language for CSCW systems. We show the development of the logics and give some simple examples of their use. We also make a distinction between the computational part of the system and the people, i.e. we do not follow a simple action and agent analysis. Since people bring knowledge to a system we treat them differently. We also propose the use of situation theory as a way of capturing requirements.