OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Siala, Badr and Tahar Bhiri, Mohamed and Bodeveix, Jean-Paul and Filali, Mamoun Un processus de développement Event-B pour des applications distribuées. (2016) In: 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, 7 June 2016 - 8 June 2016 (Besançon, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
148kB

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This papers appears in Actes des 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels : http://gdr-gpl.cnrs.fr/sites/default/files/documentsGPL/JourneesNationales/GPL2016/Actes-AFADL-2016.pdf
HAL Id:hal-01500510
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Sfax (TUNISIA)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:15 Mar 2017 14:51

Repository Staff Only: item control page