 |
 |
Conference papers
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.
Mots-clés :
Développement d’applications distribuées
Cited literature [6 references]
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 : Tuesday, January 5, 2021 - 2:22:03 PM
Long-term archiving on: : Tuesday, July 4, 2017 - 12:47:47 PM
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 3, 2017 - 1:22:42 PM
Last modification on : Tuesday, January 5, 2021 - 2:22:03 PM
Long-term archiving on: : Tuesday, July 4, 2017 - 12:47:47 PM
File
siala_17057.pdf
Files produced by the author(s)