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

Badr Siala 1 Mohamed Tahar Bhiri 2 Jean-Paul Bodeveix 1 Mamoun Filali 1
1 IRIT - Institut de recherche en informatique de Toulouse
2 Université de Sfax - University of Sfax
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.
Mots-clés : Développement d’applications distribuées
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01500510
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 3, 2017 - 1:22:42 PM
Last modification on : Thursday, October 24, 2019 - 2:44:11 PM
Long-term archiving on: Tuesday, July 4, 2017 - 12:47:47 PM

File

siala_17057.pdf
Files produced by the author(s)

Identifiers

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

Collections

CNRS | TDS-MACS | SMS | UNIV-TLSE2 | UNIV-TLSE3 | UT1-CAPITOLE

Citation

Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

121

Files downloads

327

CONTACT

scd.ao@univ-tlse3.fr