Interpreted collaboration protocols and their use in groupware prototyping

The correct and timely creation of systems for coordination of group work depends on the ability to express, analyze, and experiment with protocols for managing multiple work threads. We present an evolution of the Trellis model that provides a formal basis for prototyping the coordination structure of a collaboration system. In Trellis, group interaction protocols are represented separately from the interface processes that use them for coordination. Protocols are interpreted (rather than compiled into applications) so group interactions can be changed as a collaborative task progresses. Changes can be made either by a person editing the protocol specification “on the fly” or by a silent “observation” process that participates in an application solely to perform behavioral adaptations. Trellis uniquely mixes hypermedia browsing with collaboration support. We term this combination a hyperprogram, and we say that a hyperprogram integrates the description of a collaborative task with the information required for that task. As illustration, we describe a protocol for a moderated meeting and show a Trellis prototype conference tool controlled by this protocol.

[1]  P. David Stotts,et al.  Temporal hyperprogramming , 1990, J. Vis. Lang. Comput..

[2]  Willem R. van Biljon Extending Petri Nets for Specifying Man-Machine Dialogues , 1988, Int. J. Man Mach. Stud..

[3]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[4]  DewanPrasun,et al.  A high-level and flexible framework for implementing multiuser user interfaces , 1992 .

[5]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[6]  P. David Stotts,et al.  Hyperdocuments as automata: trace-based browsing property verification , 1992, ECHT '92.

[7]  P. David Stotts,et al.  Hypertextual concurrent control of a Lisp Kernel , 1992, J. Vis. Lang. Comput..

[8]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[9]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[10]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[11]  Gul A. Agha,et al.  Visualizing actor programs using predicate transition nets , 1992, J. Vis. Lang. Comput..

[12]  Joseph M. Goodman,et al.  HAM: a general-purpose hypertext abstract machine , 1987, Hypertext.

[13]  P. David Stotts,et al.  Dynamic adaptation of hypertext structure , 1991, HYPERTEXT '91.

[14]  Ephraim P. Glinert,et al.  Novis: a visual laboratory for exploring the design of processor arrays , 1992, J. Vis. Lang. Comput..

[15]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[16]  P. David Stotts,et al.  Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.

[17]  Prasun Dewan,et al.  A high-level and flexible framework for implementing multiuser user interfaces , 1992, TOIS.

[18]  Richard Furuta,et al.  Modelling and Prototyping Collaborative Software Processes , 1993 .

[19]  Anatol W. Holt,et al.  Diplans: a new language for the study and implementation of coordination , 1988, TOIS.

[20]  Wolfgang Reisig,et al.  Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..