La composition de services dans le monde asynchrone Formalisation et vérification en TLA+ - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

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

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.
Fichier principal
Vignette du fichier
chevrou_15360.pdf (204.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01343037 , version 1 (07-07-2016)

Identifiers

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

Cite

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⟩
77 View
37 Download

Share

Gmail Facebook X LinkedIn More