Title :
Multi-view specification of CSCW applications
Author :
Frey-Pucko, M. ; Frey, Maximilian
Author_Institution :
Jozef Stefan Inst., Ljubljana Univ., Slovenia
Abstract :
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
Keywords :
abstract data types; formal specification; groupware; teleconferencing; temporal logic; user interfaces; CADT; CSCW; Concurrent Abstract Data Types; DistTL; Distributed Temporal Logic; architectural view; audio-video conferencing; computer supported cooperative work; data view; formal specification; multi-view specification; social protocol; system view; user behaviour; user interface; Application software; Automatic testing; Collaborative work; Computer applications; Formal specifications; Guidelines; Logic; Software engineering; Software testing; Usability;
Conference_Titel :
Euromicro Conference, 1998. Proceedings. 24th
Conference_Location :
Vasteras
Print_ISBN :
0-8186-8646-4
DOI :
10.1109/EURMIC.1998.708061
