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 17/3 - 2012  - pp.95-118  - doi:10.3166/isi.17.3.95-118
TITRE
Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B

TITLE
An approach for the consideration of non-functional goals in the abstract Event-B specifications

RÉSUMÉ
Le cadre général de nos travaux vise à définir un couplage entre un modèle de buts et des spécifications formelles abstraites Event-B. Les buts fonctionnels sont la base de la dérivation de spécifications abstraites Event-B tandis que les buts non fonctionnels sont injectés dans les modèles abstraits Event-B obtenus afin de les compléter et de les enrichir. Dans cet article, nous présentons différentes méthodes d’injection des buts non fonctionnels et leur impact sur les modèles abstraits Event-B. Nous étudions également l’effet de la prise en compte des buts non fonctionnels dans les machines Event-B en ce qui concerne les obligations de preuve déjà faites lors de la transformation de buts fonctionnels. Des liens de correspondance entre les buts non fonctionnels et les différents éléments Event-B sont définis afin de faciliter la gestion de l’évolution de ces buts.


ABSTRACT
The general framework of our work aims to define a coupling between a goal model and an abstract Event-B formal specification. The functional goals are the basis for the derivation of abstract Event-B specifications, while non-functional goals are injected into the obtained abstract Event-B models in order to complete and enrich them. In this paper, we present different ways to inject non-functional goals and their impact into the abstract EventB models. We also study the effect of the consideration of non-functional goals in the Event-B machines as regards the proof obligations already done during the transformation of functional goals. Correpondance links between the non-functional goals and the different Event-B elements are defined in ordre to improve the management of the evolution of these goals.


AUTEUR(S)
Abderrahman MATOUSSI, Régine LALEAU

MOTS-CLÉS
ingénierie des exigences, but non fonctionnel, SysML/KAOS, Event-B.

KEYWORDS
requirements engineering, non-functional goal, SysML/KAOS, Event-B.

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  (276 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier