User: Guest  Login
Title:

Formal Specification of CSCW Applications

Document type:
Technical Report
Author(s):
Marjeta Frey-Pucko
Abstract:
A formal method for specification of CSCW applications is suggested and its use for specification of the distributed multi-user editor Iris is shown in the report. We specify the interface layer of Iris, some elements of the access layer for its central part - structure editor - and some external components as an audio-video conferencing tool and an electronic mailer. We also show how a social protocol supported in a CSCW application can be considered in a formal specification and give methodolo...     »
Keywords:
CSCW; Distributed Systems; Distributed Multi-User Editor; Formal Specification; Concurrent Abstract Data Types; Temporal Logic
Year:
1997
Year / month:
1997-11-01 00:00:00
Pages:
72
 BibTeX