Goal-Directed Requirements          Acquisition                    (KAOS)Knowledge Acquisition in autOmated Specification ...
Les auteurs de l’articleAnne DardenneFaculté universitaire de Namur en Belgique                                           ...
Motivation et problématiqueEn utilisant les langages courants de formalisation des besoinspour les systèmes complexes, les...
La méthode KAOS 1/2• La méthodologie KAOS est une approche orientée  buts (Goal Oriented Requirements Specification langua...
La méthode KAOS 2/2• La méthode consiste dans les grandes lignes à   1. identifier et raffiner les buts progressivement ju...
Apport de la méthode / nouveautées• Constructions dun modèle (duquel dériver les requirements)• Quatre vues du meme modèle...
Composants du modèle• Objets:  o Agents  o Entités  o Evenements  o Rélations• Opérations• Buts• Réquisites, Réquirements,...
Types de buts• Un but peut etre dun de ces 5 types:   o   Accomplir   o   Arreter   o   Mantenir   o   Eviter   o   Optimi...
4 types de modèles à la base de       la méthode KAOS Modèle de but but             but                                   ...
Le méta-modèle KAOS                  KAOS John Mylopouos
Exemple de modélisation KAOS                     But                                       RaffinementPourquoi ?          ...
Atous de la méthode•   Pratique pour le raffinement des buts•   Aide à lanalyse du problème•   Ingénieux pour lanalyse et ...
Critiques de la méthode• Indiqué pour projets dont la phase danalyse des exigence est  éstimé entre 4 et 8 mois/homme• Tra...
Conclusions• Methodologie fiable, bien pensée et rodée• Il existe des logiciels pour supporter la methode  (Objectiver)   ...
Références• [Dardenne93] Dardenne, A., van Lamsweerde, A. and Fickas,  S.,”Goal-Directed Requirements Acquisition”, in The...
MERCI
ANNEXES
Goal-Directed Requirements Acquisition• Les buts mènent aux exigences• Les buts justifient et expliquent les exigences qui...
Le méta-modèle de l’action                                    Action        Déclenche                                     ...
Prochain SlideShare
Chargement dans…5
×

Eugenio Mauri: Goal directed requirements acquisition

1 117 vues

Publié le

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

Publié dans : Technologie
0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
1 117
Sur SlideShare
0
Issues des intégrations
0
Intégrations
4
Actions
Partages
0
Téléchargements
11
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive

Eugenio Mauri: Goal directed requirements acquisition

  1. 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. 2. Les auteurs de l’articleAnne DardenneFaculté universitaire de Namur en Belgique Axel van Lamsweerde Professeur au Département dinformatique de lUniversité 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é à luniversité de lOregon et Linformation à lUniversité le Laboratoire dInformatique de de lOregon. lInstitut de recherches de Stanford De 1978 à 1983, Fickas travaillé à Institut de Sciences (Menlo Park, CA) USC de Linformation à suppr de Marina Rey, la •co-fondateur de deux centres de Californie. transfert technologiques logiciels En 1983, Fickas a joint(rejoint) la faculté à lOregon. En 1988 on lui a attribué une position de Chercheur de supportés par lUnion Européenne. Visite Distinguée à lUniversité de Cambridge. •Il est lauteur du livre "lingénierie En 1991 il a été choisi comme un Savant de Recherche de Fulbright à lAcadé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. 3. Motivation et problématiqueEn utilisant les langages courants de formalisation des besoinspour les systèmes complexes, les ingénieurs d’exigences fontface à 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 lacquisition 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. 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. 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. 6. Apport de la méthode / nouveautées• Constructions dun 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 didentifier 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. 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. 8. Types de buts• Un but peut etre dun de ces 5 types: o Accomplir o Arreter o Mantenir o Eviter o Optimiser• Un but peut etre dun 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. 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
  10. 10. Le méta-modèle KAOS KAOS John Mylopouos
  11. 11. Exemple de modélisation KAOS But RaffinementPourquoi ? Comment ? Conflit Attente Obstacle Agent Exigence
  12. 12. Atous de la méthode• Pratique pour le raffinement des buts• Aide à lanalyse du problème• Ingénieux pour lanalyse et la résolution des conflits• Approche intéressante pour la génération des documents des exigences en partant dun 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. 13. Critiques de la méthode• Indiqué pour projets dont la phase danalyse 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 daide pour évaluer limpact du changement du design sur les NFR Eugenio MAURI, Tijani BARAOUI – Master 2 SIC – JB2011 – UE03 xxxx – C. Rolland
  14. 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. 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
  16. 16. MERCI
  17. 17. ANNEXES
  18. 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. 19. Le méta-modèle de l’action Action Déclenche Capable de faire Entrée Arrête Fait Sortie DéclencheEvènement Est un Objet Est un Agent Lie Est un Est un Entité Relation

×