Elsevier

Computer Communications

Volume 16, Issue 9, September 1993, Pages 548-556
Computer Communications

Research
Membership services and protocols for cooperative frameworks of processes

https://doi.org/10.1016/0140-3664(93)90025-NGet rights and content

Abstract

This paper presents a groupware service that enables the formation and management of cooperative groups between individual agents. The formalism used to represent cooperative groups, structured and partitioned into domains, is described in detail. This formalism is based on graphs that represent the way in which information is shared between agents. Changes to the group structure are submitted to the set of cooperating agents and a decision is made for the entire group based on a predetermined mechanism (a vote, for instance). Specifications for this groupware service, written in the formal description technique Estelle, are presented, and a semi-automatic implementation from the specifications is shown.

References (18)

  • S Budkowski et al.

    An Introduction to Estelle: A specification language for distributed systems

    Comput. Networks & ISDN Syst.

    (1987)
  • C Ellis et al.

    Groupware. Some issues and experiences

    Commun. ACM

    (January 1991)
  • H Krasner et al.

    Groupware research and technology issues with application to software process management

    IEEE Trans. Syst., Man & Cybern.

    (July/August 1991)
  • M Diaz

    A logical model of cooperation

  • ISO/TC 97/SC 21 — IS 9074

  • M Diaz et al.

    SEDOS: Designing Open Distributed Systems

    IEEE Softw.

    (November 1989)
  • P Wilson

    Computer Supported Cooperative Work (CSCW): origins, concepts and research initiatives

    Comput. Networks & ISDN Syst.

    (1991)
  • E.H Durfee et al.

    Coherent cooperation among communicating problem solvers

    IEEE Trans. Comput.

    (November 1987)
  • E.H Durfee et al.

    Trends in cooperative distributed problem solving

    IEEE Trans. Knowl. & Data Eng.

    (March 1989)
There are more references available in the full text version of this article.

Cited by (0)

View full text