Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC Project

A. Diagne, M.-P. Gervais

LIP6 1998/033: Rapport de Recherche LIP6 / LIP6 research reports
6 pages - Juillet/July 1998 - Document en anglais.

PostScript : 28 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : Construire des services de télécommunication sous forme de systèmes multi-agents : le projet ODAC
Titre anglais : Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC Project

Résumé : 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).

Abstract : The ODAC project aims to define methods and tools based on a formal approach so that a designer of telecommunications services can specify and implement a new service in the form of a Multi-Agent System (MAS). Our goal is to supplement the current approaches of the telecommunications industry by the use of the agent paradigm enhanced with formal methods.
In this paper, we focus on the works currently achieved in the project. These are related firstly to a service-based architecture of an agent-based system and secondly to our proposal for an Agent-Oriented Computational language (AOC language). Both are based on the concepts of the Reference Model of Open Distributed Processing standard (RM-ODP).

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

Key-words : Telecommunications Services, RM-ODP, service-based architecture, multi-agent systems, Petri nets, validation, verification

Publications internes LIP6 1998 / LIP6 research reports 1998

Responsable Éditorial / Editor
webmaster@lip6.fr