De l'utilisation de scenarios dans le contexte du langage Albert

Résumé

L'exploitation de scénarios dans l'ingénierie des besoins connait actuellement un succès important. Les scénarios sont entre autre utilisés pour l'acquisition et la validation de spécifications. ALBERT est un langage de spécification formel conçu pour exprimer les besoins de systèmes composites temps-réel. Des recherches sont menées pour développer un animateur de spécifications ALBERT. L'objectif de ce mémoire est de construire un langage d'expression de scénarios adapté aux spécifications ALBERT et à l'utilisation en rapport avec l'animateur. Le langage est constitué de 3 parties : une première permettant d'exprimer le contenu d'un scénario et basée sur le formalisme des MSC, une deuxième permettant d'exprimer des pré- et postconditions de scénarios basée sur la logique temporelle des prédicats du premier ordre et une troisième permettant de structurer des informations liées à la construction des scénarios basée sur une approche informelle

la date de réponse	1997
langue originale	Français
L'institution diplômante	Universite de Namur
Superviseur	Eric DUBOIS (Promoteur)