Loading...
Please wait, while we are loading the content...
Similar Documents
Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chareton, Christophe Brunel, Julien Chemouil, David |
| Copyright Year | 2012 |
| Abstract | Cet article propose des structures d'interpretation pour le langage Khi, un langage de modelisation pour l'ingenierie des exigences, qui formalise notamment les notions d'agents, de buts et d'operations. Deux notions d'agents s'y confrontent : les acteurs, qui sont les agents presents et decrits par leurs capacites d'action sur le systeme, et les roles, qui decrivent le comportement attendu des agents pour la realisation des buts. Les roles sont ensuite assignes a des acteurs ou des coalitions d'acteurs. La capacite effective des coalitions a jouer les roles qui leur sont assignes fournit donc un critere de correction du modele, on appelle le probleme relatif probleme de l'assignation. Khi a une semantique formelle dans un fragment de la logique temporelle multi-agents ATL*, nomme ATL_Khi. Nous decrivons les modeles semantiques qui permettent d'interpreter ATL_Khi et de reduire le probleme de l'assignation a un probleme de model-checking. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://hal.archives-ouvertes.fr/hal-00782773/PDF/main.pdf |
| Alternate Webpage(s) | https://hal.archives-ouvertes.fr/hal-00782773/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
