Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles
Dans cette thèse on présente une proposition pour la spécification de protocoles de communication utilisés dans le contexte de systèmes multiagent, et qui nous appelons basée sur rôles. L'idée de rôle est récurrente dans le domaine de systèmes multiagent, et représente ce qui fait un agent dans...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00266421 http://tel.archives-ouvertes.fr/docs/00/26/64/21/PDF/2005-10-10.pdf |