Un processus de développement Event-B pour des applications distribuées - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Un processus de développement Event-B pour des applications distribuées

Résumé

Nous présentons une méthodologie basée sur le raffinement manuel et automatique pour le développement d’applications distribuées correctes par construction. À partir d’un modèle Event-B, le processus étudié définit des étapes successives pour décomposer et ordonnancer les calculs associés aux événements et distribuer le code sur des composants. La spécification de ces deux étapes est faite au travers de deux langages dédiés. Enfin, une implantation distribuée en BIP est générée. La correction du processus repose sur la correction des raffinements et de la traduction vers le code cible BIP.
Fichier principal
Vignette du fichier
siala_17057.pdf (145.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01500510 , version 1 (03-04-2017)

Identifiants

  • HAL Id : hal-01500510 , version 1
  • OATAO : 17057

Citer

Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, M Filali. Un processus de développement Event-B pour des applications distribuées. 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp.94-100. ⟨hal-01500510⟩
101 Consultations
533 Téléchargements

Partager

Gmail Facebook X LinkedIn More