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 larticle

Anne Dardenne
Facult universitaire de Namur en Belgique

Axel van Lamsweerde

Professeur au Dpartement d'informatique de l'Universit catholique de Louvain en Belgique.

Stephen Fickas
Professeur dans le Dpartement 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 Distingue l'Universit de Cambridge. En 1991 il a t choisi comme un Savant de Recherche de Fulbright l'Acadmie des sciences hongroise. Le centre dintrt de ses recherche est le gnie logiciel en gnral et lingnierie des exigences en particulier.

Professeur aux universits 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 supports par l'Union Europenne. Il est l'auteur du livre "l'ingnierie de exigences : de Buts de Systme Modles UML Spcification Logiciel" (Wiley)

Motivation et problmatique
En utilisant les langages courants de formalisation des besoins pour les systmes complexes, les ingnieurs dexigences font face deux difficults :
o

la porte limite du langage

Favorise les exigence fonctionnelles NFR laisss en dehors de tout formalisme Une capture dun seul aspect et dpendante du paradigme de la mthode.

l'acquisition prliminaire des besoins pertinents

Avant de passer llicitation des exigences il faut avoir dtermin un minimum du besoin. Ne supportent pas les buts
Eugenio MAURI, Tijani BARAOUI Master 2 SIC JB2011 UE02 Ingenierie des exigences C. Rolland

La mthode KAOS 1/2

La mthodologie KAOS est une approche oriente buts (Goal Oriented Requirements Specification language) Cette mthodologie fournit un langage de spcification 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 utiliss pour capturer les raffinements, les conflits, les oprationalisations, les assignations de responsabilit, etc.

Eugenio MAURI, Tijani BARAOUI Master 2 SIC JB2011 UE03 xxxx C. Rolland

La mthode KAOS 2/2

La mthode 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 mthode / nouveautes

Constructions d'un modle (duquel driver les requirements) Quatre vues du meme modle inter-corrls:
o o o o

modle des buts modle des responsabilits modle des oprations modle des objets

Permet d'identifier Obstacles et Contradictions Reprsente tout le systme et non seulement une partie Utilise un mta-midle qui facilite la rutilisation dun modle gnrique dun domaine donn.

Eugenio MAURI, Tijani BARAOUI Master 2 SIC JB2011 UE03 xxxx C. Rolland

Composants du modle
Objets: o Agents o Entits o Evenements o Rlations Oprations Buts Rquisites, Rquirements, 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 o o o o

Accomplir Arreter Mantenir Eviter Optimiser

Un but peut etre d'un de ces 3 comportements:

o o o

Generer un comportement Restraindre un comportement Comparer deux ou plus comportements

Eugenio MAURI, Tijani BARAOUI Master 2 SIC JB2011 UE03 xxxx C. Rolland

4 types de modles la base de la mthode KAOS

Modle de but but obstacle but
Concerne

but Pourquoi ? Comment ?

Proprit du domaine

Modle des responsabilits Attente Qui ? Exigence Agent

Agent

Entit

Est un

Entit

Sortie Entre

A propos de quoi ?
Est un

Evnement Que faire ? execute cause Quand ? Opration Modle des oprations

Entit

Modle objet

Le mta-modle KAOS

KAOS John Mylopouos

Exemple de modlisation KAOS

But Raffinement

Pourquoi ?

Comment ?

Conflit

Attente

Obstacle

Agent

Exigence

Atous de la mthode
Pratique pour le raffinement des buts Aide l'analyse du problme Ingnieux pour l'analyse et la rsolution des conflits Approche intressante pour la gnration des documents des exigences en partant d'un modle Utile pour la clarification des responsabilits Intressant pour garantir la couverture des cas (meme negatifs) Astucieux pour la facilitation des discussions (visuel) Permet de crer les spec sw directement des exigence Anti-goals aident construire un systme 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 mthode
Indiqu pour projets dont la phase d'analyse des exigence est stim entre 4 et 8 mois/homme Traabilite 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 pense et rode

Il existe des logiciels pour supporter la methode (Objectiver)

Eugenio MAURI, Tijani BARAOUI Master 2 SIC JB2011 UE03 xxxx C. Rolland

Rfrences
[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 mnent aux exigences Les buts justifient et expliquent les exigences qui ne sont pas ncessairement facilement comprhensibles par des parties prenantes. Les buts peuvent tre utiliss pour assigner des responsabilits aux agents pour que les contraintes prescrites puissent tre respectes. Les buts fournissent des informations de base pour dtecter et rsoudre les conflits qui rsultent de points de vue multiples
Eugenio MAURI, Tijani BARAOUI Master 2 SIC JB2011 UE03 xxxx C. Rolland

Le mta-modle de laction
Action
Dclenche Entre Capable de faire

Arrte
Sortie Dclenche

Fait

Evnement

Est un

Objet

Est un

Agent

Lie
Est un Est un

Entit

Relation