ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 16/5 - 2011  - pp.143-166  - doi:10.3166/isi.16.5.143-166
TITRE
Un outil de construction de spécifications abstraites Event-B dirigée par les buts

TITLE
A tool for a goal-driven building of event-B specifications

RÉSUMÉ
Avec la plupart des méthodes formelles, un premier modèle peut être raffiné formellement en plusieurs étapes, jusqu’à ce que le raffinement final contienne assez de détails pour une implémentation. La plupart du temps, ce premier modèle est construit à partir de la description obtenue dans la phase d’analyse des exigences. Cette transition de la phase des exigences à la phase de spécification formelle est l’une des étapes les plus délicates. En fait, la construction de ce modèle initial exige un niveau élevé de compétence et beaucoup de pratique, d’autant qu’il n’existe pas de processus bien défini pour aider les concepteurs. Pour cela, nous avons proposé une approche dans laquelle des modèles formels abstraits Event-B sont construits progressivement à partir d’un modèle de buts. Dans cet article, nous décrivons l’outil SysKAOS2EventB supportant cette approche. Cette mise en œuvre s’appuie principalement sur les technologies de transformation de modèles à modèles.


ABSTRACT
With most of formal methods, an initial formal model can be formally refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. This transition from the requirements phase to the formal specification phase is one of the most difficult steps. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no well-defined process to assist designers. For that purpose, we have proposed an approach in which Event-B abstract formal models are built incrementally from a goal model. In this paper, we describe the SysKAOS2EventB tool supporting this approach. This implementation is mainly based on the model-to-model transformation technologies.


AUTEUR(S)
Abderrahman MATOUSSI, Régine LALEAU

MOTS-CLÉS
ingénierie des exigences, Event-B, traçabilité, transformation de modèles à modèles.

KEYWORDS
requirements engineering, Event-B, traceability, model-to-model transformation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (506 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier