Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
La vérification des engagements sociaux est un problème complexe dans les systèmes multi-agents ouverts et hétérogènes. La vérification vise à déterminer si un protocole de communication conçus en termes d'engagements satisfait des propriétés computationnelles fondamentales telles que le non-blocage, l'évolution, l'accessibilité, etc. Durant, cette présentation, la vérification du modèle des engagements sera discutée. Cette vérification nécessite la définition du modèle formel, la spécification des propriétés sur la base de la logique formelle des engagements, et les algorithmes de vérification. La complexité computationnelle de ces algorithmes sera également calculée. Une étude de cas réelle sera finalement présentée
