Skip to main content
SpringerLink
Log in

Validated design of dynamic membership services and protocols for cooperative groups

CONCEPTION VALIDÉE DE SERVICES ET DE PROTOCOLES D’APPARTENANCE DYNAMIQUE Á DES GROUPES COOPÉRATIFS

  • Published:
Annales Des Télécommunications Aims and scope Submit manuscript

Abstract

This paper first presents a groupware service and an associated protocol that manage the dynamic membership of agents inside cooperative groups and second gives the design methodology that has been used for defining the service and the protocol. The model used to represent cooperative groups is based on graphs that give the knowledge relationships between agents and define the dynamics of the group. The protocol providing the membership service is specified using the VAL formal specification environment based on a Petri net formalism. The VAL specification is verified using observational and safety projections derived from the reachability graph. Then the VAL specification is translated and adapted to an Estelle specification. The Estelle specification has been used for a final implementation of the protocol on top of a distributed platform.

Résumé

Cet article présente en premier lieu un service de collecticiel et un protocole associé qui gérent ľappartenance dynamique ďagents à des groupes coopératifs, puis détaille la méthodologie de conception suivie pour definir ce service et ce protocole. Le modéle utilisé pour représenter des groupes coopératifs est basé sur des graphes qui donnent les relations de connaissance entre les agents et qui définissent la dynamique du groupe. Le protocole qui fournit le service ďappartenance est spécifié en utilisant ľenvironnement de spécification formel VAL, basé sur des réseaux de Pétri. La spécification VAL est vérifiée au moyen de projections observationnelles et de sûreté provenant du graphe ďaccessibilite. Par la suite, la spécification VAL est transcrite puis adaptée en une spécification Estelle. La spécification Estelle a été utilisée pour une implantation finale du protocole au-dessus ď une plate-forme distribuée.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Van de Aalst (M. P.), Van Hee (K. M.), Houben (G. J.). Modelling workflow management with high hevel Petri nets.Workshop on Computer Supported Cooperative Work, Petri Nets and related formalisms, Zaragoza (June 1994), pp. 31–50.

    Google Scholar 

  2. Agostini (A.), De Michelis (G.), Petruni (K.). Keeping workflow models as simple as possible.Workshop on Computer Supported Cooperative Work, Petri Nets and related formalisms, Zaragoza (June 1994), pp. 11–29.

    Google Scholar 

  3. Bannon (L. J.),Schmidt (K.). cscw: four characters in search of a context. In studies in computer supported cooperative work: theory, practice and design, Eds. J. M. Bowers and S. D. Benford.Elsevier (1991), 355 p.

  4. Benford (S.), Palme (J.). A standard for osI group communication.Computer Networks and ISDN systems (1993),25, pp. 933–946.

    Article  Google Scholar 

  5. Bignoli (C),Simone (C). AI techniques for supporting human to human communications in CHAOS.In Studies in computer supported cooperative work: theory, practice and design, Eds. J. M. Bowers and S. D. Benford.Elsevier (1991), 355 p.

  6. Birman (K.), Schiper (A.), Stephenson (P.). Lightweight causal and atomic group multicast.ACM Transactions on Computers Systems (Aug. 1991),9, n° 3, pp. 272–314.

    Article  Google Scholar 

  7. Blair (G. S.), Rodden (T.). The opportunities and challenges of cscw.J. Brazilian Computer Society (July 1994),1, n° 1, pp. 3–14.

    Google Scholar 

  8. Budkowki (S.), Dembinski (P.). An introduction to Estelle: a specification language for distributed systems.Computer Networks and ISDN Systems (1987),14, pp. 3–23.

    Article  Google Scholar 

  9. Cheriton (D. R.), Zwaenepoel (W.). Distributed process groups in the V kernel.ACM Trans. CS (May 1985),3, n° 2, pp. 77–107.

    Article  Google Scholar 

  10. Courtiat (J. P.), Dembinski (P.), Groz (R.), Jard (C.). Estelle: an iso language for distributed algorithms and protocols.Technology and Science of Informatics (1987),6, n° 5, pp. 311–324.

    Google Scholar 

  11. Diaz (M.), Vissers (C.). SEDOS: designing open distributed systems.IEEE Software (Nov. 1989),6, n° 6, pp. 24–33.

    Article  Google Scholar 

  12. Diaz (M.). A logical model of cooperation.Proceedings of the IEEE. Third Workshop on Future Trends of Distributed Computing Systems (Apr. 1992), pp. 64–70.

  13. Diaz (M.). Coopération, logique et partage de données.Proceedings of the AFCET and AFIA. Premiéres journées francophones intelligence artificielle distribuée et svstémes multi-agents (Apr. 1993), pp. 253–262.

  14. Diaz (M.),Villemur (T.). Eléments de synthése sur la coopération et sur le travail coopératif.Cesame project. Contract report CNET France Télécom 92 IB 178 - Lot 3. Internal report LAAS no. 93165 (Apr. 1993), 17 p.

  15. Diaz (M.), Villemur (T.). Membership services and protocols for cooperative frameworks of processes.Computer Communications (Sep. 1993),16, n° 9, pp. 548–556.

    Article  Google Scholar 

  16. ***. Ec Estelle toC compiler. Version 3.0. User reference manual. Bull S.A Copyright 1989, 1990. INT Copyright 1991 (1992).

  17. ***. EDB Estelle simulator debugger. Version 3.0. User reference manual. Bull S.A Copyright 1989, 1990. INT Copyright 1991 (1992).

  18. Ellis (C.), Gibbs (S.), Rein (G.). Groupware: some issues and experiences.Communic. ACM (Jan. 1991),34, n° 1, pp. 38–58.

    Google Scholar 

  19. Fernandez (J.C.). Aldébaran, un systéme de vérification par réduction de processus communicants.PhD thesis, Université de Grenoble (1988).

  20. Fernandez (J.C.),Mounier (L.). Verifying bisimulations on the fly.Proceedings of the Third International Conference on Formal Description Techniques Forte’90 (Nov. 1990), pp. 91–105.

  21. Garcia-Molina (H.), Barbara (D.). How to assign votes in a distributed system.J. ACM, (Oct. 1985),32, n° 4, pp. 841–860.

    Article  MATH  MathSciNet  Google Scholar 

  22. Hennessy (P.). Information domains in cscw.In Studies in Computer Supported Cooperative Work: Theory, Practice and Design, Eds. J. M. Bowers and S. D. Benford.Elsevier (1991), 355 p.

  23. Hewitt (C.), Inman (J.), DAI betwixt and between: from “Intelligent agents” to open system science.IEEE Trans. SMC (Nov./Dec. 1991),21, n° 6, pp. 1409–1419.

    Google Scholar 

  24. ***. Information processing systems. Open system interconnection. Estelle: a formal description technique based on an extended state transition model.ISO/IEC ISO 9074: 1989 (E).

  25. Kaashoek (M. E),Tanenbaum (A. S.). Group communication in the AMOEBA distributed system.Proc. IEEE: 11th International Conference on Distributed Computing Systems (May 1991), pp. 222–230.

  26. Kaplan (S. M.), Caroll (A. M.). Supporting collaborative processes with conversation builder.Computer Communications (Oct. 1992),15, n° 8, pp. 489–501.

    Article  Google Scholar 

  27. Karsenty (A.). Le collecticiel: de ľinteraction hommemachine à la communication homme-machine-homme.Technique et science informatiques (1994),13, n° 1, pp. 105–127.

    Google Scholar 

  28. Kraemer (K. L.), King (J. L.). Computer-based systems for cooperative work and group decision making.ACM Computing Surveys (June 1988),20, n° 2, pp. 115–146.

    Article  Google Scholar 

  29. Krasner (H.), Mcinroy (J.), Walz (D. B.). Groupware research and technology issues with application to software process management.IEEE Trans. SMC (July/Aug. 1991),21, n° 4, pp. 704–712.

    Google Scholar 

  30. Ngoh (L. H.). Multicast support for group communications.Computer Networks and ISDN systems (Oct. 1991),22, n° 3, pp. 165–178.

    Article  Google Scholar 

  31. Prinz (W.),Pennelli (P.). Relevance of the X.500 directory to cscw applications.In Studies in Computer Supported Cooperative Work: Theory, Practice and Design, Eds. J. M. Bowers and S. D. Benford.Elsevier (1991), 355 p.

  32. Rodrigues (L.),Verissimo (P.),Rufino (J.). A low-level processor group membership protocol for LANS.Proc. IEEE: 13th International Conference on Distributed Computing Systems (May 1993), pp. 541–550.

  33. Vernadat (E),AzÉma (P.). Prototypage ďagents communicants.Proceedings of the AFCET and AFIA. Premieres journees francophones intelligence artificielle distribuée et systémes multiagents (Apr. 1993), pp. 129–140.

  34. VICTOR (F),Sommer (E.). Supporting the design of Office procedures in the Domino system.In Studies in Computer Supported Cooperative Work: Theory, Practice and Design, Eds. J. M. Bowers and S. D. Benford.Elsevier (1991), 355 p.

  35. Vlllemur (T.), Dlaz (M.), Vernadat (F.), AzÉma (P.). Verification of services and protocols for dynamic membership to cooperative groups.Workshop on Computer Supported Cooperative Work, Petri Nets and related formalisms, Zaragoza (June 1994), pp. 73–91.

    Google Scholar 

  36. Zimmerman (H.). OSI reference model, the iso model of architecture for open systems interconnection.IEEE Trans. COM (Apr. 1980),28.

Download references

Author information

Authors and Affiliations

  1. LAAS-CNRS, 7, avenue du Colonel Roche, F-31077, Toulouse Cedex, France

    Thierry Villemur, Michel Diaz & François Vernadat

Authors
  1. Thierry Villemur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Diaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. François Vernadat
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This study has been conducted inside the CNET-CNRS Cesame project on the design of high speed multimedia cooperative distributed systems, under grant 92 IB 178 from CNET France Télécom.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Villemur, T., Diaz, M. & Vernadat, F. Validated design of dynamic membership services and protocols for cooperative groups. Ann. Télécommun. 50, 859–873 (1995). https://doi.org/10.1007/BF03005243

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03005243

Key words

Mots clés

Search

Navigation