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.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00782773
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:10:24 AM
Last modification on : Tuesday, March 26, 2019 - 2:28:03 PM
Long-term archiving on : Saturday, April 1, 2017 - 12:48:12 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00782773⟩

Share

Metrics

Record views

181

Files downloads

160