Advertisement

Annales Des Télécommunications

, Volume 50, Issue 11–12, pp 859–873 | Cite as

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

  • Thierry Villemur
  • Michel Diaz
  • François Vernadat
Article
  • 18 Downloads

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.

Mots clés

Coopération Collecticiel Protocol communication Modélisation Méthode graphe Modéle dynamique Language spécification Réseau Pétri Langage description 

Validated design of dynamic membership services and protocols for cooperative groups

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.

Key words

Cooperation Groupware Transmission protocol Modeling Graph method Dynamic model Specification language Petri net Description language 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AALS94]
    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. [AGOS94]
    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. [BANN89]
    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.Google Scholar
  4. [BENF93]
    Benford (S.), Palme (J.). A standard for osI group communication.Computer Networks and ISDN systems (1993),25, pp. 933–946.CrossRefGoogle Scholar
  5. [BIGN89]
    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.Google Scholar
  6. [BIRM91]
    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.CrossRefGoogle Scholar
  7. [BLAI94]
    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. [BUDK87]
    Budkowki (S.), Dembinski (P.). An introduction to Estelle: a specification language for distributed systems.Computer Networks and ISDN Systems (1987),14, pp. 3–23.CrossRefGoogle Scholar
  9. [CHER85]
    Cheriton (D. R.), Zwaenepoel (W.). Distributed process groups in the V kernel.ACM Trans. CS (May 1985),3, n° 2, pp. 77–107.CrossRefGoogle Scholar
  10. [COUR87]
    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. [DIAZ89]
    Diaz (M.), Vissers (C.). SEDOS: designing open distributed systems.IEEE Software (Nov. 1989),6, n° 6, pp. 24–33.CrossRefGoogle Scholar
  12. [DIAZ92]
    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.Google Scholar
  13. [DIAZ93a]
    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.Google Scholar
  14. [DlAZ93b]
    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.Google Scholar
  15. [DIAZ93C]
    Diaz (M.), Villemur (T.). Membership services and protocols for cooperative frameworks of processes.Computer Communications (Sep. 1993),16, n° 9, pp. 548–556.CrossRefGoogle Scholar
  16. [EC92]
    ***. Ec Estelle toC compiler. Version 3.0. User reference manual. Bull S.A Copyright 1989, 1990. INT Copyright 1991 (1992).Google Scholar
  17. [EDB92]
    ***. EDB Estelle simulator debugger. Version 3.0. User reference manual. Bull S.A Copyright 1989, 1990. INT Copyright 1991 (1992).Google Scholar
  18. [ELL91]
    Ellis (C.), Gibbs (S.), Rein (G.). Groupware: some issues and experiences.Communic. ACM (Jan. 1991),34, n° 1, pp. 38–58.Google Scholar
  19. [FERN88]
    Fernandez (J.C.). Aldébaran, un systéme de vérification par réduction de processus communicants.PhD thesis, Université de Grenoble (1988).Google Scholar
  20. [FERN90]
    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.Google Scholar
  21. [GARC85]
    Garcia-Molina (H.), Barbara (D.). How to assign votes in a distributed system.J. ACM, (Oct. 1985),32, n° 4, pp. 841–860.zbMATHCrossRefMathSciNetGoogle Scholar
  22. [HENN89]
    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.Google Scholar
  23. [HEWI91]
    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. [ISO9074]
    ***. Information processing systems. Open system interconnection. Estelle: a formal description technique based on an extended state transition model.ISO/IEC ISO 9074: 1989 (E). Google Scholar
  25. [KAAS91]
    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.Google Scholar
  26. [KAPL92]
    Kaplan (S. M.), Caroll (A. M.). Supporting collaborative processes with conversation builder.Computer Communications (Oct. 1992),15, n° 8, pp. 489–501.CrossRefGoogle Scholar
  27. [KARS94]
    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. [KRAE88]
    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.CrossRefGoogle Scholar
  29. [KRAS91]
    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. [NGOH91]
    Ngoh (L. H.). Multicast support for group communications.Computer Networks and ISDN systems (Oct. 1991),22, n° 3, pp. 165–178.CrossRefGoogle Scholar
  31. [PR1N89]
    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.Google Scholar
  32. [RODR93]
    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.Google Scholar
  33. [VERN93]
    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.Google Scholar
  34. [VICT89]
    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.Google Scholar
  35. [VILL94]
    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. [ZIMM80]
    Zimmerman (H.). OSI reference model, the iso model of architecture for open systems interconnection.IEEE Trans. COM (Apr. 1980),28. Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Thierry Villemur
    • 1
  • Michel Diaz
    • 1
  • François Vernadat
    • 1
  1. 1.LAAS-CNRS, 7, avenue du Colonel RocheToulouse CedexFrance

Personalised recommendations