Goal Directed Requirements Acquisition Methode KAOS (Knowledge Acquisition in autOmated Specification), by Eugenio Mauri at I.A.E. Pantheon Sorbonne , Sorbonne Graduate Business School, Master Systèmes
1. Goal-Directed Requirements
Acquisition
(KAOS)
Knowledge Acquisition in autOmated Specification
Group de travail JB-MSIC-2011 composé de:
• Eugenio MAURI
• Tijani BARAOUI
Enseignante:
Colette ROLLAND
2. Les auteurs de l’article
Anne Dardenne
Faculté universitaire de Namur en Belgique
Axel van Lamsweerde
Professeur au Département
d'informatique de l'Université
catholique de Louvain en
Belgique.
Stephen Fickas
Professeur dans le •Professeur aux universités de
Département de Science Namur et Bruxelles.
Informatique et de •attaché à l'université de l'Oregon et
L'information à l'Université le Laboratoire d'Informatique de
de l'Oregon.
l'Institut de recherches de Stanford
De 1978 à 1983, Fickas travaillé à Institut de Sciences
(Menlo Park, CA)
USC de L'information à suppr de Marina Rey, la •co-fondateur de deux centres de
Californie. transfert technologiques logiciels
En 1983, Fickas a joint(rejoint) la faculté à l'Oregon.
En 1988 on lui a attribué une position de Chercheur de supportés par l'Union Européenne.
Visite Distinguée à l'Université de Cambridge. •Il est l'auteur du livre "l'ingénierie
En 1991 il a été choisi comme un Savant de Recherche
de Fulbright à l'Académie des sciences hongroise. de exigences : de Buts de Système
Le centre d’intérêt de ses recherche est le génie à Modèles UML à Spécification
logiciel en général et l’ingénierie des exigences en
particulier.
Logiciel" (Wiley)
3. Motivation et problématique
En utilisant les langages courants de formalisation des besoins
pour les systèmes complexes, les ingénieurs d’exigences font
face à deux difficultés :
o la portée limitée du langage
Favorise les exigence fonctionnelles
NFR laissés en dehors de tout formalisme
Une capture d’un seul aspect et dépendante du
paradigme de la méthode.
o l'acquisition préliminaire des besoins pertinents
Avant de passer à l’élicitation des exigences il faut avoir
déterminé un minimum du besoin.
Ne supportent pas les buts
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE02 Ingenierie des exigences– C. Rolland
4. La méthode KAOS 1/2
• La méthodologie KAOS est une approche orientée
buts (Goal Oriented Requirements Specification language)
• Cette méthodologie fournit un langage de spécification pour
capturer les aspects du pourquoi, du qui et du quand en plus
des aspects plus traditionnels du quoi.
• Les liens entre les exigences sont utilisés pour capturer les
raffinements, les conflits, les opérationalisations, les
assignations de responsabilité, etc.
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
5. La méthode KAOS 2/2
• La méthode consiste dans les grandes lignes à
1. identifier et raffiner les buts progressivement jusqu’à
obtenir des exigences qui sont assignables à des
agents éventuels,
2. identifier des objets et des actions progressivement
à partir des buts,
3. assigner les exigences aux agents.
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
6. Apport de la méthode / nouveautées
• Constructions d'un modèle (duquel dériver les requirements)
• Quatre vues du meme modèle inter-corrélés:
o modèle des buts
o modèle des responsabilités
o modèle des opérations
o modèle des objets
• Permet d'identifier Obstacles et Contradictions
• Représente tout le système et non seulement une partie
• Utilise un méta-midèle qui facilite la réutilisation d’un modèle
générique d’un domaine donné.
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
7. Composants du modèle
• Objets:
o Agents
o Entités
o Evenements
o Rélations
• Opérations
• Buts
• Réquisites, Réquirements, Assomptions
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
8. Types de buts
• Un but peut etre d'un de ces 5 types:
o Accomplir
o Arreter
o Mantenir
o Eviter
o Optimiser
• Un but peut etre d'un de ces 3 comportements:
o Generer un comportement
o Restraindre un comportement
o Comparer deux ou plus comportements
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
9. 4 types de modèles à la base de
la méthode KAOS
Modèle de but
but but
Modèle des responsabilités
Pourquoi ? Attente
obstacle Agent
Comment ?
Qui ?
Propriété du
but domaine Exigence Agent
Concerne Evénement
Entité Est un Entité Que faire ? execute
Sortie cause
A propos de quoi ? Quand ?
Entrée Opération
Est un
Entité Modèle des opérations
Modèle objet
11. Exemple de modélisation KAOS
But
Raffinement
Pourquoi ? Comment ?
Conflit
Attente
Obstacle
Agent
Exigence
12. Atous de la méthode
• Pratique pour le raffinement des buts
• Aide à l'analyse du problème
• Ingénieux pour l'analyse et la résolution des conflits
• Approche intéressante pour la génération des documents des
exigences en partant d'un modèle
• Utile pour la clarification des responsabilités
• Intéressant pour garantir la couverture des cas (meme negatifs)
• Astucieux pour la facilitation des discussions (visuel)
• Permet de créer les spec sw directement des exigence
• Anti-goals aident à construire un système plus fiable
• Basé sur un meta-model solide et fiable
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
13. Critiques de la méthode
• Indiqué pour projets dont la phase d'analyse des exigence est
éstimé entre 4 et 8 mois/homme
• Traçabilitée
• Necessite de deduire la descriptions des cas des interviews
• Meta-model un peu compliqué
• Langage formel compliqué
• Pas d'aide pour évaluer l'impact du changement du design sur
les NFR
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
14. Conclusions
• Methodologie fiable, bien pensée et rodée
• Il existe des logiciels pour supporter la methode
(Objectiver)
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
15. Références
• [Dardenne93] Dardenne, A., van Lamsweerde, A. and Fickas,
S.,”Goal-Directed Requirements Acquisition”, in The Science of
Computer Programming 20, 1993.
• [KAOS00]
http://www.ingi.ucl.ac.be/research/projects/AVL/ReqEng.html.
• John Mybolouso 2004, « KAOS Tokens, Classes and Metaclasses
Entities and Relationships Actions and Time Agents, Goals and
Conssttrraaiinnttss The KAOS Methodollogy »
• KAOS Tutotiel HTTP://www.objectiver.com
18. Goal-Directed Requirements Acquisition
• Les buts mènent aux exigences
• Les buts justifient et expliquent les exigences qui ne
sont pas nécessairement facilement compréhensibles
par des parties prenantes.
• Les buts peuvent être utilisés pour assigner des
responsabilités aux agents pour que les contraintes
prescrites puissent être respectées.
• Les buts fournissent des informations de base pour
détecter et résoudre les conflits qui résultent de points
de vue multiples
Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
19. Le méta-modèle de l’action
Action
Déclenche Capable de faire
Entrée
Arrête Fait
Sortie
Déclenche
Evènement Est un Objet Est un
Agent
Lie
Est un
Est un
Entité Relation