More Web Proxy on the site http://driver.im/

Article

Free access

Interpreted collaboration protocols and their use in groupware prototyping

Authors:

Richard Furuta,

P. David StottsAuthors Info & Claims

CSCW '94: Proceedings of the 1994 ACM conference on Computer supported cooperative work

Pages 121 - 131

https://doi.org/10.1145/192844.192888

Published: 22 October 1994 Publication History

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.

References

[1]

CAMPBELL, B., AND GOODMAN, J. M. HAM: A general purpose hypertext abstract machine. Commun. ACM 31, 7 (July 1988), 856-861.

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.

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

[4]

GENRICH, H. J., AND LAUTENBACH, K. System modeling with high-level Petri nets. Theoretical Computer Science 13 (1981), 109-136.

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

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

Digital Library

[7]

JENSEN, K. Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981), 317-336.

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

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

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

[11]

MURATA, T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 4 (Apr. 1989), 541-580.

[12]

REISIG, W. Petri nets with individual tokens. Informatik- Fachberichte 66, 21 (1983), 229-249.

[13]

REISIG, W. Petri Nets: An introduction. Springer-Verlag, 1985.

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

Digital Library

[15]

STOTTS, P. D., AND FURUTA, R. Temporal hyperprogramming. Journal of Visual Languages and Computing 1, 3 (1990), 237-253.

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

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

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

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

Digital Library

[20]

VAN BILJON, W. R. Extending Petri nets for specifying man-machine dialogues. International Journal of Man- Machine Studies 28 (1988), 437--455.

Digital Library

Cited By

Gallardo JBravo CRedondo MDe Lara J(2013)Modeling collaboration protocols for collaborative modeling toolsJournal of Visual Languages and Computing10.1016/j.jvlc.2012.10.00624:1(10-23)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1016/j.jvlc.2012.10.006
Weyers BLuther WBaloian NPino J(2012)Formal modeling of multi-user interfaces in cooperative workProceedings of the 18th international conference on Collaboration and Technology10.1007/978-3-642-33284-5_11(129-136)Online publication date: 16-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33284-5_11
Haake JPfister H(2007)Flexible Scripting in Net-Based Learning GroupsScripting Computer-Supported Collaborative Learning10.1007/978-0-387-36949-5_10(155-175)Online publication date: 2007
https://doi.org/10.1007/978-0-387-36949-5_10
Show More Cited By

Index Terms

Interpreted collaboration protocols and their use in groupware prototyping
1. Human-centered computing
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software system models
        Petri nets

Recommendations

Coordination and communication protocols for synchronous groupware: a formal approach
IASTED-HCI '07: Proceedings of the Second IASTED International Conference on Human Computer Interaction

The 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CSCW '94: Proceedings of the 1994 ACM conference on Computer supported cooperative work

October 1994

464 pages

ISBN:0897916891

DOI:10.1145/192844

Chairmen:
John B. Smith
Univ. of North Carolina
,
F. Don Smith
IBM Corporation
,
Thomas W. Malone
Massachusetts Institute of Technology

Copyright © 1994 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

CSCW94

Sponsor:

CSCW94: Computer-Supported Cooperative Work 94

October 22 - 26, 1994

North Carolina, Chapel Hill, USA

Acceptance Rates

CSCW '94 Paper Acceptance Rate 42 of 200 submissions, 21%;

Overall Acceptance Rate 2,235 of 8,521 submissions, 26%

Upcoming Conference

CSCW '25

Sponsor:
sigchi

Computer-Supported Cooperative Work and Social Computing

October 18 - 22, 2025

Bergen , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
522
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)8

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gallardo JBravo CRedondo MDe Lara J(2013)Modeling collaboration protocols for collaborative modeling toolsJournal of Visual Languages and Computing10.1016/j.jvlc.2012.10.00624:1(10-23)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1016/j.jvlc.2012.10.006
Weyers BLuther WBaloian NPino J(2012)Formal modeling of multi-user interfaces in cooperative workProceedings of the 18th international conference on Collaboration and Technology10.1007/978-3-642-33284-5_11(129-136)Online publication date: 16-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33284-5_11
Haake JPfister H(2007)Flexible Scripting in Net-Based Learning GroupsScripting Computer-Supported Collaborative Learning10.1007/978-0-387-36949-5_10(155-175)Online publication date: 2007
https://doi.org/10.1007/978-0-387-36949-5_10
Na JFuruta R(2006)Open paperThe New Review of Hypermedia and Multimedia10.1080/1361456060105113312:2(217-246)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1080/13614560601051133
Yang YLi DHerbsleb JOlson G(2004)Separating data and controlProceedings of the 2004 ACM conference on Computer supported cooperative work10.1145/1031607.1031610(11-20)Online publication date: 6-Nov-2004
https://dl.acm.org/doi/10.1145/1031607.1031610
Stotts DSmith JGyllstrom KWhitehead JDe Roure D(2004)FaceSpaceProceedings of the fifteenth ACM conference on Hypertext and hypermedia10.1145/1012807.1012827(48-57)Online publication date: 9-Aug-2004
https://dl.acm.org/doi/10.1145/1012807.1012827
Inverardi PTivoli MBucchiarone A(2003)Automatic synthesis of coordinators for COTS group-ware applicationsProceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises10.5555/938984.939816Online publication date: 9-Jun-2003
https://dl.acm.org/doi/10.5555/938984.939816
Inverardi PTivoli MBucchiarone A(2003)Automatic synthesis of coordinators for COTS groupware applications: an exampleWET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003.10.1109/ENABL.2003.1231395(123-128)Online publication date: 2003
https://doi.org/10.1109/ENABL.2003.1231395
Furuta RNa JMunson EFuruta RMaletic J(2002)Applying caT's programmable browsing semantics to specify world-wide web documents that reflect place, time, reader, and communityProceedings of the 2002 ACM symposium on Document engineering10.1145/585058.585062(10-17)Online publication date: 8-Nov-2002
https://dl.acm.org/doi/10.1145/585058.585062
Stotts DNavon JLassner DDe Roure DIyengar A(2002)Model checking cobweb protocols for verification of HTML frames behaviorProceedings of the 11th international conference on World Wide Web10.1145/511446.511470(182-190)Online publication date: 7-May-2002
https://dl.acm.org/doi/10.1145/511446.511470
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents