Une synthse d'AUML

Jos Ghislain Quenum

Doctorant Equipe OASIS
LIP6
18 Sep. 2003

Plan
AUML ?
AUML = Agent + UML
AUML et les autres mthodologies orientes
agent
Limitations d'AUML

AUML ?
Pour parvenir vendre la technologie agent, il faut arriver
rduire le risque inhrent toute nouvelle technologie en la
prsentant comme une extension de mthodes dj prouves et en
fournissant des outils pour son utilisation [1]
L'adoption large dont UML a fait l'objet
Le paradigme agent pourrait succder valablement celui objet
Les limitations d'UML face au paradigme agent:
Les agents sont proactifs et autonomes
Les agents interagissent les uns avec les autres

AUML = Agent + UML

Reprsentation des classes d'agent ;
Mcanismes de modlisation des interactions
entre agents

AUML : les diagrammes de classes

d'agent (1)
La notion de classe dans les objets :
Variables
d'instances ;
Statiques (variables globales) ;

Mthodes et mthodes statiques ;

Les notions de constructeur, d'interface, de
ralisation, de visibilit des variables et mthodes.

AUML : les diagrammes de classes

d'agent (2)
Agent versus [2] objet :
Autonomie;
Pro et ractivit ;
Communication base d'actes de langage ;
Architecture interne plus complexe

AUML : les diagrammes de classes

d'agent (3)
Une classe d'agent reprsente un agent ou un
groupe d'agents pouvant jouer un rle ou avoir un
comportement dtermin [2]
Une classe d'agent comporte :
Description de la classe d'agent et des rles;
Description de l'tat interne ;
Actions, mthodes et services fournis ;
Messages changs

AUML: les diagrammes de classes

d'agent (4)
Description de la classe et des rles
Rle d'agent : ensemble d'agents ayant certaines
proprits, interfaces et services ou des
comportements prcis ;
La forme gnrale est : inst1 ... instn / role1 ...
rolem:class (on omet souvent les instances)

Exemples (dans le filtrage des documents):

Psolver, Client / DocumentAgent ;
Psolver, Psubmitter / RequestAgent

AUML: les diagrammes de classes

d'agent (5)
Description de l'tat interne de l'agent
Dfinition de variables d'intances qui rflettent l'tat
de l'agent (types utliss dans les objets + ebf pour
dcrire les expressions logiques, ex:beliefs, desires,
intentions, goals,) ;
Visibilit (public,
( pesistent )

private,

...)

Exemple :
L'objet document : priv et non persistant

persistance

AUML: les diagrammes de classes

d'agent (6)
Actions :
Type = pro-active et ractive ;
Signature = visibilit + nom + liste de paramtres ;
Smantique = pr + post conditions + effets +
invariants ;

Mthodes :
Comme dans UML avec Pr, post conditions et effet

Services
Description informelle des services fournis

AUML: les diagrammes de classes

d'agent (7)
Description des messages mis
et reus par l'agent en
prcisant les protocoles
Un automate reprsente les
changements d'tat induits par
les changes de messages

AC / Protocole

Message reu

AC / Protocole

Message mis

AUML : les protocoles (1)

dcrit le protocole comme un package :
une agrgation conceptuelle de
squences d'interaction

Exemple de reprsentation

Submitter, Solver
Initiation du
problme

Query, refuse, accept,

inform, cancel

Safir Incremental Problem Solver

Submitter

Solver
Le pattern d'interaction est reprsent
comme un template avec les paramtres
spcialiser chaque instanciation

Query
Le protocole peut tre considr comme
un pattern spcialiser suivant les cas

Refuse
Accept

Query
Inform

Cancel

Inform

AUML : les protocoles (2)

Une approche en couches :
Dans le protocole de la page 12, aucune prcision
n'est donne sur le traitement ou la construction des
messages :
La construction de la requte (par Submitter) peut tre un
processus complexe dcrit par un diagramme d'activits ;
Le traitement de cette requte (par Solver) peut tre dcrit
par un autre diagramme d'activits ou de squence.

Ce dcoupage en couches rifie les processus interagents et ceux internes chaque agent

AUML : les protocoles (3)

Le protocole est la couche suprieure reprsente
sous la forme de package ou de template
Un package agrge des morceaux de modles pour
former un ensemble conceptuel ;
Ex : utilisation de la notion de package pour reprsenter
l'imbrication de protocoles ;

Un template est un modle ayant des paramtres qui

sont spcialiss l'instanciation.
Trois types de paramtres : rle, contraintes et actes de
communication
Ex : description d'une instanciation de la rsolution
incrmentale

AUML : les protocoles (4)

Les changes entre agents sont la deuxime
couche :
Diagrammes de squences ;
Diagrammes de collaboration ;
Diagrammes d'activits ;
Diagrammes d'tatstransitions

AUML : les protocoles (5)

Diagrammes de squences :
Nommage des acteurs : nom-agent/rle:classe ;
Les messages changs ne sont plus des noms de
mthodes mais des actes de communication ;
Les threads d'interaction concurrents :
missions concurrentes : connecteur and ;
0 ou plusieurs missions la fois : connecteur or ;
1 seule mission parmi plusieurs candidates : connecteur
xor

AUML : les protocoles (6)

Diagrammes de collaboration :
Se construisent comme dans les modles objets ;
Similaires aux diagrammes de squences ;

Diagrammes d'activits :
Dcrivent les oprations entre
vnements qui les dclenchent ;

agents

et

les

Comparables aux rseaux de ptri colors :

Reprsentation graphique des processus ;
Reprsentation des traitements concurrents et asynchrones ;
Reprsentation de communications simultanes avec divers
participants

AUML : les protocoles (7)

Exemple : une partie du diagramme d'activits du
PRI
Submitter
Decalre
Problem

Solver
Handle
Problem
Declaration

AUML : les protocoles (8)

Diagramme d'tats-transitions :
Dcrit les changements d'tat lors des changes entre
agents ;
Facilite la description des contraintes sur les
protocoles

AUML : les protocoles (9)

Les traitements internes de l'agent constituent la
troisime couche :
Diagramme d'activits pour chaque agent ;
Diagramme d'tats-transitions pour chaque agent

AUML : les protocoles (10)

Notions complmentaires :
conditions sur les messages mis (entre accolades) ;
Nombre de copies des messages mis ;
Types de message : asynchrone, synchrone, retard ;
Rptition d'mission de certains messages ;
Composition de protocoles : inclusion + imbrication

AUML : les protocoles (11)

D'autres extensions [4] :
Diffusion (liste destinataires inconnue) ;
Synchronisation (point de synthse des acteurs) ;
Dclenchement d'actions pour corriger un msg reu ;
Traitement des exceptions (msg non attendu ou
performance en baisse);
Gestion du temps (tout le protocole ou certains msg);
Transactions atomiques ;
mission de message jusqu' acquitement

AUML et les autres mthodologies

Les objectifs entre AUML et nombre de
mthodologies (Gaia, MaSE, etc.) orientes agent
sont communs : partir de mthodologies ou
langages de modlisation orients objet et les
tendre au paradigme agent ;
Des reprsentations (diagramme ou modle) entre
AUML et diverses mthodologies

Limitations d'AUML
Selon [5], AUML prsente les limitations ciaprs:
Les diagrammes sont dsordonns et peuvent tre mal interprts ;
L'expression de toutes les informations ncessaires sur les protocoles peut les rendre
illisibles ;
Les cas de redondance sont difficiles identifier et corriger ;
La description des actions temporelles (telles que le timeout, deadline, ...) est
difficile exprimer
La notion d'historique des changes n'existe pas ;
La terminaison des interactions n'est pas toujours spcifie, surtout

Rfrences
[1] Bernhard Bauer, Jrg P. Mller, James Odell, Agent UML: A Formalism for Specifying Multiagent
Software Systems , International Journal of software Engineering and Knowledge Engineering, Vol 11,
n3, 2001, 207-230
[2] Bernhard Bauer, UML Class Diagram Revisited in the Context of Agent-Based Systems , AOSE
2001, Montreal, 2001
[3] James Odell, Van Dyke Parunak and Bernhard Bauer, Extending UML for Agents , Proc of the
AOIS at the 17th National conference on Artificial Intelligence
[4] Marc-Philippe Huget, Extending Agent UML Protocol Diagrams , Technical Report ULCS02-014,
Department of Computer Science, University of Liverpool, 2002
[5] S. Paurobally, R. Cunningham and N. R. Jennings, Developping Agent Interaction Protocols using
Graphical Methodologies , In Workshop on Programming MAS, AAMAS, 2003

Je vous remercie!