ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
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 12/4 - 2007  - pp.69-93  - doi:10.3166/isi.12.4.69-93
TITRE
EB4, vers une méthode de spécification formelle des SI

RÉSUMÉ
EB 3 est un langage formel basé sur les traces d'événements qui a été créé pour spécifier les aspects dynamiques des systèmes d'information (SI). B est un langage formel qui est bien adapté pour spécifier les aspects statiques des SI. Dans cet article, nous présentons EB 4 , une nouvelle méthode qui intègre à la fois EB 3 et B afin de spécifier les principales propriétés statiques et dynamiques des SI. Les expressions de processus EB 3 permettent de représenter et de valider le comportement du système. Ensuite, la spécification est traduite en B afin de spécifier et de vérifier les propriétés statiques du SI. Des patrons de processus sont décrits pour faciliter l'énoncé des conditions dynamiques et l'analyse de la preuve.


ABSTRACT
EB 3 is a trace-based formal language created for the specification of the dynamic properties of information systems (IS). B is a state-based formal language well adapted for the specification of the IS static properties. In this paper, we present a new approach called EB 4 that integrates both EB 3 and B to specify IS. EB 3 process expressions are used to represent and validate the behaviour of the system. Then, the specification is translated into B in order to specify and verify the main static properties of the IS. Process patterns are introduced to describe dynamic conditions and to analyse the proof.


AUTEUR(S)
Frédéric GERVAIS

MOTS-CLÉS
B, EB 3 , raffinement, définitions d'attributs, algèbre de processus, machines à états.

KEYWORDS
B, EB 3 , refinement, attribute definitions, process algebra, state machines.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier