Spécification et validation d'un protocole de messagerie multi-serveur pour l'environnement MMS

On presente un nouveau concept pour l’implementation du protocole MMS: le protocole de multi-serveur. De sa definition, le protocole multi-serveur MMS envisage une cooperation possible entre plusieurs serveurs MMS pour executer un service demande par l'utilisateur client. Ce protocole de multi-serveur necessite la definition d'un nouveau type d'objet, c'est-a-dire l'objet reparti. Une architecture generale a ete introduite pour presenter les interactions possibles entre l'utilisateur client et les serveurs, dits principal et secondaire(s). Cette architecture repose sur le fait que l'objet est considere comme un agent actif qui peut communiquer avec la fonction operatoire du serveur. L'objet liste de variables et l'objet tache ont ete choisis pour etre traites par ce protocole de multi-serveur. Les specifications du protocole sont presentees par des automates d'etats finis. Ensuite, ces automates ont ete valides a l'aide du systeme auto en utilisant les algebres de processus communicants.