Petri nets: an introduction
Diplans: a new language for the study and implementation of coordination
ACM Transactions on Information Systems (TOIS)
HAM: a general purpose hypertext abstract machine
Communications of the ACM
Extending Petri nets for specifying man-machine dialogues
International Journal of Man-Machine Studies
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Dynamic adaptation of hypertext structure
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
A high-level and flexible framework for implementing multiuser user interfaces
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Modelling and Prototyping Collaborative Software Processes
Modelling and Prototyping Collaborative Software Processes
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Dynamic hyperdocuments: authoring replaces programming
Communications of the ACM
An architecture for multimedia communication and real-time collaboration
IBM Systems Journal
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Flexible coordination with cooperative hypertext
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
COCA: collaborative objects coordination architecture
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Runtime dynamics in collaborative systems
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
A collaboration specification language
Proceedings of the 2nd conference on Domain-specific languages
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Model checking cobweb protocols for verification of HTML frames behavior
Proceedings of the 11th international conference on World Wide Web
Proceedings of the 2002 ACM symposium on Document engineering
Tailoring Groupware: The Cooperative HypermediaApproach
Computer Supported Cooperative Work
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
Supporting Cooperative Learning in Distributed Project Teams
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Subdocument invocation semantics in collaborative hyperdocuments
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Educational applications of multi-client synchronization through improved Web graph semantics
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Automatic synthesis of coordinators for COTS group-ware applications: an example
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Separating data and control: support for adaptable consistency protocols in collaborative systems
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
A collaboration specification language
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
Workflow management systems for process organisations
Workflow management systems for process organisations
Formal modeling of multi-user interfaces in cooperative work
CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology
Modeling collaboration protocols for collaborative modeling tools: Experiences and applications
Journal of Visual Languages and Computing
Hi-index | 0.02 |
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.