OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

La composition de services dans le monde asynchrone Formalisation et vérification en TLA+

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. (2015) In: 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), 9 June 2015 - 10 June 2015 (Bordeaux, France).

[img]
Preview
(Document in French)

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

Official URL: http://events.femto-st.fr/sites/femto-st.fr.afadl-2015/files/content/proceedings/afadl2015.pdf

Abstract

Les architectures orientées services (SOA) permettent de répondre à deux défis importants du génie logiciel : la rutilisabilité et la décomposition. Néanmoins elles amènent de nouveaux problème, notamment liés à la répartition des services et la non-centralisation du contrôle. Les services étant indépendants et autonomes, il faut s’assurer que mis ensemble ils sont capables de communiquer et que leurs interactions n’introduisent pas de mauvais fonctionnement global. Dans le monde asynchrone, plus proche de la réalité, cette vérification devient non triviale, et cela d’autant plus qu’il existe de multiples modèles asynchrones, plus ou moins libéraux dans ce qu’ils autorisent. Nous exposons dans ce papier nos travaux en cours autour des modèles asynchrones et de la vérification des compositions de services paramétrées par ces modèles.

Item Type:Conference or Workshop Item (Paper)
Additional Information:The original PDF is available at: http://events.femto-st.fr/sites/femto-st.fr.afadl-2015/files/content/proceedings/afadl2015.pdf
HAL Id:hal-01343037
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université de Toulouse I-Sciences Sociales - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:17 Jun 2016 13:37

Repository Staff Only: item control page