Generating High-Level Event-B System Models from KAOS Requirements Models

Generating High-Level Event-B System Models from KAOS Requirements Models

Ponsard C., Devroey X., Generating High-Level Event-B System Models from KAOS Requirements Models, in INFormatique des ORganisations et Systèmes d’Information et de Décision, INFORSID 2011, Lille (France) 26-26 mai 2011

L’ingénierie dirigée par les modèles (IDM) commence généralement au stade de l’architecture système. Dans cet article, nous montrons comment l’IDM peut être étendue au stade des exigences sur la base d’un modèle d’exigences (en KAOS) avec pour objectif de réaliser le lien avec un langage de conception formel (en Event-B). L’idée centrale est de mettre en correspondance des agents orientés-buts avec des hiérarchies de décomposition et raffinement de machines Event-B. Le processus de conception proposé consiste à décomposer les agent/machine de niveau système en agent/machines de granularité de plus en plus fine sur base de leur capacité de contrôler des informations spécifiques.

L’approche est semi-automatisée et supportée par un plug-in Eclipse réalisant la connexion entre l’outil Objectiver/KAOS et la plateforme Rodin/Event-B. Les bénéfices et limites de l’approche au niveau du modèle résultant sont discutés et illustré sur un exemple non-trivial. Des approches alternatives sont également
abordées et comparées.