Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents

Résumé : Cet article propose des structures d'interprétation pour le langage Khi, un langage de modélisation pour l'ingénierie des exigences, qui formalise notamment les notions d'agents, de buts et d'opérations. Deux notions d'agents s'y confrontent : les acteurs, qui sont les agents présents et décrits par leurs capacités d'action sur le système, et les rôles, qui décrivent le comportement attendu des agents pour la réalisation des buts. Les rôles sont ensuite assignés à des acteurs ou des coalitions d'acteurs. La capacité effective des coalitions à jouer les rôles qui leur sont assignés fournit donc un critère de correction du modèle, on appelle le problème relatif problème de l'assignation. Khi a une sémantique formelle dans un fragment de la logique temporelle multi-agents ATL*, nommé ATL_Khi. Nous décrivons les modèles sémantiques qui permettent d'interpréter ATL_Khi et de réduire le problème de l'assignation à un problème de model-checking.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2012, France. 2012
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00782773
Contributeur : David Chemouil <>
Soumis le : mardi 5 février 2013 - 09:10:24
Dernière modification le : jeudi 15 novembre 2018 - 08:38:02
Document(s) archivé(s) le : samedi 1 avril 2017 - 12:48:12

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00782773, version 1

Collections

Citation

Christophe Chareton, Julien Brunel, David Chemouil. Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2012, France. 2012. 〈hal-00782773〉

Partager

Métriques

Consultations de la notice

171

Téléchargements de fichiers

148