|
 
|
[GER06] EB4 : Vers une méthode de spécification formelle des SI
Conférence Nationale avec comité de lecture : INFORSID'06, Hammamet, Tunisie, January 2006, pp.561-576,
motcle:
Résumé:
EB3 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 EB4, une nouvelle méthode en cours de développement qui intègre à la fois EB3 et B afin de spécifier les principales propriétés statiques et dynamiques des SI. Les expressions de processus EB3 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.
BibTeX
| @inproceedings { | |||
| GER06, | |||
| title | = | "{EB4 : Vers une méthode de spécification formelle des SI}", | |
| author | = | " F. Gervais ", | |
| booktitle | = | "{INFORSID'06, Hammamet, Tunisie}", | |
| year | = | 2006, | |
| month | = | "January", | |
| pages | = | "561-576", | |
| } | |||
