Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Goal-Directed Requirements Acquisition (KAOS) Knowledge Acquisition in autOmate

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 Les auteurs de l’article Axel van Lamsweerde Professeur au Département d'informatique de l'Université catholique de Louvain en Belgique. •Professeur aux universités de Namur et Bruxelles. •attaché à l'université de l'Oregon et le Laboratoire d'Informatique de l'Institut de recherches de Stanford (Menlo Park, CA) •co-fondateur de deux centres de transfert technologiques logiciels supportés par l'Union Européenne. •Il est l'auteur du livre "l'ingénierie de exigences : de Buts de Système à Modèles UML à Spécification Logiciel" (Wiley) Stephen Fickas Professeur dans le Département de Science Informatique et de L'information à l'Université de l'Oregon. De 1978 à 1983, Fickas travaillé à Institut de Sciences USC de L'information à suppr de Marina Rey, la Californie. En 1983, Fickas a joint(rejoint) la faculté à l'Oregon. En 1988 on lui a attribué une position de Chercheur de Visite Distinguée à l'Université de Cambridge. En 1991 il a été choisi comme un Savant de Recherche de Fulbright à l'Académie des sciences hongroise. Le centre d’intérêt de ses recherche est le génie logiciel en général et l’ingénierie des exigences en particulier. Anne Dardenne Faculté universitaire de Namur en Belgique 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 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 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 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 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 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 4 types de modèles à la base de la méthode KAOS Pourquoi ? Comment ? Qui ? Que faire ? Quand ? A propos de quoi ? Modèle de but Modèle des responsabilités Modèle des opérations Modèle objet but but obstacle but Propriété du domaine Exigence Attente Agent Agent Opération Evénement cause execute Entité Entité Entité Est un Concerne Sortie Entrée Est un Le méta-modèle KAOS KAOS John Mylopouos Exemple de modélisation KAOS Pourquoi ? Comment ? Raffinement Conflit But Agent Exigence Obstacle Attente 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 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 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 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 MERCI ANNEXES 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 Le méta-modèle de l’action Action Objet Evènement Agent Relation Entité Est un Est un Est un Est un Déclenche Arrête Déclenche Capable de faire Fait Sortie Entrée Lie uploads/Science et Technologie/ eugenio-mauri-goal-directed-requirements-acquisition-kaos-knowledge-acquisition-in-automated-specification.pdf