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

Model-driven engineering (MDE) generally starts from system design model. In this paper, we show how MDE can be extended to the requirements level expressed in requirements models (in KAOS) and be linked with a formal design language (in Event-B). The central idea is to map Goal-Oriented agents to a hierarchy of Event-B machines. A design process is proposed to decompose a system level agent/machine into finer grained agent/machines based on their ability to control specific piece of information. The approach is semi-automated and tool supported by an Eclipse plug-in connecting the KAOS/Objectiver tool and the Event-B/Rodin tools. The benefits and limits of the approach on the resulting model quality are highlighted on a non-trivial example. Alternative approaches developed by others are also discussed. RÉSUMÉ. 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.