Richard Furuta
ABSTRACT
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.CAMPBELL, B., AND GOODMAN, J. M. HAM: A general purpose hypertext abstract machine. Commun. ACM 31, 7 (July 1988), 856-861. Google Scholar
Digital Library
- 2.DEWAN, P., AND CHOUDHARY, R. A high-level and flexible framework for implementing multi-user user interfaces. A CM Transactions on Information Systems 10, 4 (Oct. 1992), 345-380. Google ScholarDigital Library
- 3.FiSCr~R, M. Decision making based on practical knowledge, in Proc. of the 1991 Coordination Theory and Collaboration Technology Workshop (June 1991), National Science Foundation, pp. 89-97.Google Scholar
- 4.GENRICH, H. J., AND LAUTENBACH, K. System modeling with high-level Petri nets. Theoretical Computer Science 13 (1981), 109-136.Google ScholarCross Ref
- 5.GLINERT, E. P., AND NORTON, C. D. Novis: A visual laboratory for exploring the design of processor arrays. Journal of Visual Languages and Computing 3, 2 (June 1992), 135-159.Google ScholarCross Ref
- 6.HOLT, A. W. Diplans: A new language for the study and implementation of coordination. A CM Transactions on Office Information Systems 6, 2 (Jan. 1988), 109-125. Google ScholarDigital Library
- 7.JENSEN, K. Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981), 317-336.Google ScholarCross Ref
- 8.MERLIN, P. M. A Study of the Recoverability of Computing Systems. PhD. dissertation, Universivy of California at Irvine, Department of Information and Computer Science, Irvine, CA, 1974. Google ScholarDigital Library
- 9.MERLIN, P. M., AND FARBER, D.J. Recoverability of communication protocols-implications of a theoretical study. IEEE Transactions on Communications COM-24, 9 (1976), 1036-1043.Google ScholarCross Ref
- 10.MmIYALA, S., AGHA, G., AND SAMI, Y. Visualizing actor programs using predicate transition nets. Journal of Visual Languages and Computing 3, 2 (June 1992), 195-220.Google Scholar
- 11.MURATA, T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 4 (Apr. 1989), 541-580.Google ScholarCross Ref
- 12.REISIG, W. Petri nets with individual tokens. Informatik- Fachberichte 66, 21 (1983), 229-249.Google Scholar
- 13.REISIG, W. Petri Nets: An introduction. Springer-Verlag, 1985. Google ScholarDigital Library
- 14.STOTTS, P. D., AND FURUTA, R. Petri-net-b~ed hypertext: Document structure with browsing semantics. ACM Transactions on Information Systems 7, 1 (Jan. 1989), 3-29. Google ScholarDigital Library
- 15.STOTTS, P. D., AND FURUTA, R. Temporal hyperprogramming. Journal of Visual Languages and Computing 1, 3 (1990), 237-253.Google ScholarDigital Library
- 16.STOTTS, P. D., AND FURUTA, R. Dynamic adaptation of hypertext structure. In Third ACM Conference on Hypertext Proceedings (Dec. 1991), ACM, New York, pp. 219-231. Google ScholarDigital Library
- 17.STOTTS, E D., AND FURUTA, R. Hypertextual concurrent control of a Lisp kernel. Journal of Visual Languages and Computing 3, 2 (June 1992), 221-236.Google Scholar
- 18.STOTTS, P. D., AND FLIRUTA, R. Modeling and prototyping collaborative software processes. In Information and Collaboration Models of Integration (1994), S. Y. Nof, Ed., Kluwer Academic Publishers, pp. 365-390. Also published as Technical Report TR93-020, Computer Science Col lab oratory, Univ. of North Carolina at Chapel Hill, 1993; and as Tech Report TAMU-HRL 93-006, Hypermedia Research Laboratory, Texas A &M University, July 1993. Google ScholarCross Ref
- 19.STOTTS, P. D., FURUTA, R., AND RUIZ, J. C. Hyperdocuments as automata: Trace-based browsing property verification. In Proceedings of the 1992 European Conference on Hypertext (ECHT92: November 30-December 4, Milan, Italy) (1992), ACM Press, New York, pp. 272-281. Google ScholarDigital Library
- 20.VAN BILJON, W. R. Extending Petri nets for specifying man-machine dialogues. International Journal of Man- Machine Studies 28 (1988), 437--455. Google ScholarDigital Library
Index Terms
- Interpreted collaboration protocols and their use in groupware prototyping
Recommendations
Coordination and communication protocols for synchronous groupware: a formal approach
IASTED-HCI '07: Proceedings of the Second IASTED International Conference on Human Computer InteractionThe design and implementation of groupware is very complex in contrast with traditional single-user systems. This complexity increases when these systems have to support distributed synchronous collaboration. In this article we contribute to reduce this ...
Designing collaboration through a web-based groupware infrastructure
Most groupware toolkits presented in the literature address some important collaborative concepts without considering the main advantages of toolkits. They also do not provide enough support for the necessary flexibility to address the social aspects ...
Finite-state analysis of two contract signing protocols
Optimistic contract signing protocols allow two parties to commit to a previously agreed upon contract, relying on a third party to abort or confirm the contract if needed. These protocols are relatively subtle, since there may be interactions between ...
Comments