Abstract
The specification, design and implementation of a text-based multiway interactive conferencing program are presented. The system is described in three parts: the user interface, the distribution mechanism for users' contributions, and the floor control scheme. One specific system of floor control using the formal specification language Z is specified. The separation of the distributed operation of the exchange of speech in the conference from the floor control mechanism has led to the possibility of implementing an open floor conferencing system, and then adding floor control. The only operations necessary to add floor control are those required to allow or prevent use of a channel from each user to any other. The extra state incurred in the conference server processes is the 2-D matrix of user by user channels, with each entry showing allowed/disallowed.
| Original language | English |
|---|---|
| Title of host publication | IEEE INFCOM '91. The conference on Computer Communications. Tenth Annual Joint Comference of the IEEE Computer and Communications Societies Proceedings |
| Publisher | IEEE |
| Pages | 1114-1126 |
| Number of pages | 13 |
| ISBN (Print) | 0879426942 |
| DOIs | |
| Publication status | Published - 7 Apr 1991 |
| Event | 10th Annual Joint Conference of the IEEE and Communications Societies - IEEE INFOCOM 1991 - Bal Harbour, United States Duration: 7 Apr 1991 → 11 Apr 1991 https://ieeexplore.ieee.org/xpl/conhome/535/proceeding (Conference proceedings) |
Publication series
| Name | Proceedings - IEEE INFOCOM |
|---|---|
| Publisher | IEEE |
| ISSN (Print) | 0743-166X |
Conference
| Conference | 10th Annual Joint Conference of the IEEE and Communications Societies - IEEE INFOCOM 1991 |
|---|---|
| Country/Territory | United States |
| City | Bal Harbour |
| Period | 7/04/91 → 11/04/91 |
| Internet address |
|
User-Defined Keywords
- Distributed Systems
- Formal Specification
- Conferencing
- Floor Control
- Z