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 methodological guidelines for the use of the method. Except the disadvantage that interfaces cannot be created dynamically, the proposed formal method based on the combination of CADT (Concurrent Abstract Data Types) and DistTL (Distributed Temporal Logic) is proved to be appropriate for specification of Iris.     «

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...     »