Multi-view specification of CSCW applications

Author

Frey-Pucko, M. ; Frey, Maximilian

Author_Institution

Jozef Stefan Inst., Ljubljana Univ., Slovenia

Volume

2

fYear

1998

fDate

25-27 Aug 1998

Firstpage

484

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Euromicro Conference, 1998. Proceedings. 24th

Conference_Location

Vasteras

ISSN

1089-6503

Print_ISBN

0-8186-8646-4

Type

conf

DOI

10.1109/EURMIC.1998.708061

Filename

708061