Multi-view specification of CSCW applications

The paper deals with formal specification of the user interface layer for an audio-video conferencing tool. The used specification method is based on a combination of CADT (Concurrent Abstract Data Types) and DistTL (Distributed Temporal Logic). This combination allows to specify three views of an application: the architectural view, the view of the system and user behaviour and the view of data. We also show how a social protocol supported in a CSCW application can be considered in a formal specification and give methodological guidelines for the use of the method.