LIP6 1998/033
- Rapports de recherche
Construire des services de télécommunication sous forme de systèmes multi-agents : le projet ODAC - A. Diagne, M.-P. Gervais
- 6 pages - 09/07/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.033.ps.gz - 29 Ko
- Contact : Alioune.Diagne (at) nulllip6.fr, Marie-Pierre.Gervais (at) nulllip6.fr
- Ancien Thème : SRC
- Mots clés : services de télécommunication, RM-ODP, architecture basée service, système multi-agent, réseau de Petri, validation, vérification
- Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr
Le projet ODAC vise à définir des méthodes et des outils fondés sur une approche formelle permettant à un concepteur de services de télécommunication de spécifier et mettre en oeuvre un nouveau service sous la forme d'un système multi-agent. Notre objectif est de compléter les approches actuelles de l'industrie des télécommunications en utilisant le paradigme agent conjointement avec des méthodes formelles.
Dans ce papier, nous présentons les travaux actuellement réalisés dans le cadre du projet. Ils sont relatifs d'une part à la définition de l'architecture basée service d'un système à agent et d'autre part à notre proposition d'un langage de traitement orienté agent (langage AOC). Ces deux contributions sont fondés sur les concepts du modèle de référence pour le traitement réparti ouvert (RM-ODP).
Dans ce papier, nous présentons les travaux actuellement réalisés dans le cadre du projet. Ils sont relatifs d'une part à la définition de l'architecture basée service d'un système à agent et d'autre part à notre proposition d'un langage de traitement orienté agent (langage AOC). Ces deux contributions sont fondés sur les concepts du modèle de référence pour le traitement réparti ouvert (RM-ODP).