A formal basis for structured multimedia collaborations
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 12, 194-201
- https://doi.org/10.1109/mmcs.1995.484924
Abstract
A formal basis for multimedia collaborations is proposed. The formal basis establishes a precise mathematical framework for supporting a wide spectrum of structured collaborative tasks, ranging from sample meetings and conferences to classrooms and examinations, and from corporate negotiations, work flow tasks, and team design endeavours to courtroom hearings. We mechanize three levels of abstraction: streams at the lowest level, for media communication, sessions at the next level, which represent collections of semantically related media streams, and conferences, which represent temporally related sequences of sessions. The mathematical framework has been mechanized in Prototype Verification System from SRI International. The mechanization allows us to experiment with different formal models, and reason about properties of multimedia collaborations efficiently.Keywords
This publication has 16 references indexed in Scilit:
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- System support for computer mediated multimedia collaborationsPublished by Association for Computing Machinery (ACM) ,1992
- Multimedia conferencing in the Etherphone environmentComputer, 1991
- Hierarchical conferencing architectures for inter-group multimedia collaborationPublished by Association for Computing Machinery (ACM) ,1991
- Personalizable groupware: Accommodating individual roles and group differencesPublished by Springer Nature ,1991
- A tour of suite user interface softwarePublished by Association for Computing Machinery (ACM) ,1990
- Coordinating concurrent developmentPublished by Association for Computing Machinery (ACM) ,1990
- Diplans: a new language for the study and implementation of coordinationACM Transactions on Information Systems, 1988
- An experiment in integrated multimedia conferencingPublished by Association for Computing Machinery (ACM) ,1986
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983