Goal-Directed RequirementsAcquisition - Knowledge Acquisition in autOmated Specification (KAOS)

Eugenio Mauri

Description

Knowledge Acquisition in autOmated Specification (KAOS)
Goal-Directed RequirementsAcquisition

Sujets

• Goal (disambiguation)
• Requirements management
• Requirement prioritization
• Requirements analysis
• Requirements elicitation
• Requirements traceability
• Ingénierie
• informatique

Informations

• Publié par: EugenioMauri
• Publié le: 25 juin 2012
• Nombre de lectures: 249
• Langue: Français

Extrait

Goal-Directed Requirements Acquisition

(KAOS) K nowledge A cquisition   in aut O mated S pecification

Group de travail JB-MSIC-2011 composé de: • Eugenio MAURI • Tijani BARAOUI

Enseignante: Colette ROLLAND

Les auteurs de l’article

Anne Dardenne Faculté universitaire de Namur en Belgique

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.

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)

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

 dn Mnsio dèMo oleetbj lèdoed epo staré pO ucete e ex acsu mentvéne ion E érat

but obstac le but

Concerne Entité Est un Entité Sortie A propos de quoi ? Est un  Entrée Entité

but Pourquoi ? Comment ? Proprié té du domain e

Modèle de but

4 types de modèles à la base de la méthode KAOS

Modèle des responsabilités Attente Agen t Exigen Agen ce t

riaf e

Le méta-modèle KAOS

KAOS John Myl

opouos

Exemple de modélisation KAOS

Pourquoi ?

Agent

But

Obstacle

Exigence

Raffinement

Conflit

Attente

Comment ?