Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications

Résultats de recherche: Thèse externeMémoire de master

123 Téléchargements (Pure)

Résumé

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 a method that derives an Event-B model from a KAOS model, that relies on the semantics of those two languages, that guarantee a fine-grained traceability and that is as automatic as possible. After reviewing a number of existing approaches, none of those methods seem to answer the problem. Consequently an alternative approach was designed with the central focus of mapping GORE agents to Event-B machines. The work fully relies on the UML-B work for mapping data models. Recent Event-B extensions about machine decomposition are also used to decompose an initial system level machine into more finer grained agent machines based on their ability to control a specific piece of information. Finally the agent machines are refined to match the behaviour declared in the KAOS model. The approach has been partially implemented in a prototype that uses model to model transformation technologies (EMF - ATL), and has been validated on different cases.
langue originaleAnglais
DiplômeMaster
Superviseur(s)/conseiller
  • VANHOOF, Wim, Superviseur
Editeur
Etat de la publicationPublié - juin 2010

Empreinte digitale Examiner les sujets de recherche de « Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications ». Ensemble, ils forment une empreinte digitale unique.

  • Thèses de l'étudiant

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

    Author: Devroey, X., 2010

    Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Personne externe) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Contient cette citation