Skip to Main content Skip to Navigation
Conference papers

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

Résumé : 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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01343037
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, July 7, 2016 - 1:05:46 PM
Last modification on : Thursday, March 18, 2021 - 2:34:33 PM
Long-term archiving on: : Saturday, October 8, 2016 - 12:19:28 PM

File

chevrou_15360.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01343037, version 1
  • OATAO : 15360

Citation

Florent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, et al.. La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39. ⟨hal-01343037⟩

Share

Metrics

Record views

124

Files downloads

85