Supervision : Pascal ESTRAILLIER

Une approche multi-formalismes de spécification de systèmes répartis : transformation de composants modulaires en réseaux de Petri

1997-2003 Publications

• 2003
  • M.‑P. Gervais, A. Diagne : “Telecommunications Systems”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 541-566, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
• 2001
  • Ph. Antoine, A. Fall, A. Adjamagbo, A. Diagne, F. Binetou‑Dial, L. Moguérou, A. Ndiaye : “« Crise, passage à l’âge adulte et devenir de la famille dans les classes moyennes et pauvres à Dakar », Rapport d’étape, première phase, Projet IFAN/IRD financé par le CODESRIA, Dakar, 136p + annexes”, (2001)
• 1998
  • A. Diagne, M.‑P. Gervais : “Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC project”, IEEE Globecom '98, Sydney, Australia, pp. 1688-1693, (IEEE) (1998)
  • A. Diagne, P. Estraillier, F. Kordon : “Quality Management Issues along Life-cycle of Distributed Applications”, CARI '98, Dakar, Senegal, pp. 753-763 (1998)
  • A. Diagne, M.‑P. Gervais : “Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC Project”, (1998)
  • M.‑P. Gervais, A. Diagne : “Enhancing Telecommunication Service Engineering with Mobile Agent Techology and Formal Methods”, IEEE Communications Magazine, vol. 36 (7), pp. 38-43, (Institute of Electrical and Electronics Engineers) (1998)
  • A. Diagne, P. Estraillier, F. Kordon : “Quality Management Issues along Life-cycle of Distributed Applications”, (1998)
  • D. Buchs, A. Diagne, F. Kordon : “Testing Prototypes Validity to Enhance Code Reuse”, 9^th IEEE International Workshop on Rapid System Prototyping, Leuven, Belgium, pp. 6-12, (IEEE) (1998)
  • M.‑P. Gervais, A. Diagne : “Service Creation Using Agent Technology and Formal Methods”, 7^th IEEE International Workshop on Intelligent Networks, Bordeaux, France, pp. 129-140, (IEEE) (1998)
  • D. Buchs, A. Diagne, F. Kordon : “Testing Prototypes Validity to Enhance Code Reuse”, (1998)
  • A. Diagne, D. Moldt, J.‑M. Ilié : “Verification and Validation Techniques to Use UML for the Specification of Reactive Systems”, 31^st Hawaiian International Conference on System Sciences, Kohala Coast, Hawaii, United States (1998)
• 1997
  • A. Diagne : “Une approche multi-formalismes de spécification de systèmes répartis : transformation de composants modulaires en réseaux de Petri”, thesis, defence 06/02/1997, supervision Estraillier, Pascal (1997)
  • A. Diagne, F. Kordon : “From Formal Specification to Optimized Implementation of Distributed Systems.: A Multi-Formalism Approach”, (1997)
  • A. Diagne, P. Estraillier : “A Component-based Framework for the Specification, Verification and Validation of Open Distributed Systems”, (1997)
  • M.‑P. Gervais, A. Diagne : “Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods”, (1997)
  • M.‑P. Gervais, A. Diagne : “Formalization of Service Creation in Intelligent Network”, (1997)
  • A. Diagne, J.‑M. Ilié, D. Moldt : “Integration of Semi-Formal and Formal Approaches”, 11^th Conference on Object-Oriented Programming (ECOOP '97), vol. 1357, Lecture Notes in Computer Science, Jyväskylä, Finland, (Springer-Verlag) (1997)
  • A. Diagne : “Architectural Concepts for Agent Paradigm.: A Way to Separate Concerns in Open Distributed Systems”, (1997)