KAOS

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). …

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

This master thesis presents techniques for connecting requirements models expressed in a goal-oriented requirements engineering (GORE) paradigm into more operational specifications expressed in Event-B. More specifically, the objective was to produce …