Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Well-Typed Services Cannot Go Wrong

Diana Allam 1, 2 Rémi Douence 2 Hervé Grall 1, 2 Jean-Claude Royer 1, 2 Mario Südholt 1, 2 
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Service-oriented applications are frequently used in highly dynamic contexts: ser- vice compositions may change dynamically, in particular, because new services are discovered at runtime. Moreover, subtyping has recently been identified as a strong requirement for service dis- covery. Correctness guarantees over service compositions, provided in particular by type systems, are highly desirable in this context. However, while service oriented applications can be built using various technologies and protocols, none of them provides decent support ensuring that well-typed services cannot go wrong. An emitted message, for instance, may be dangling and remain as a ghost message in the network if there is no agent to receive it. In this article, we introduce a formal model for service compositions and define a type system with subtyping that ensures type soundness by combining static and dynamic checks. We also demonstrate how to preserve type soundness in presence of malicious agents and insecure communication channels.
Document type :
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Jean-Claude Royer Connect in order to contact the contributor
Submitted on : Monday, July 2, 2012 - 11:36:20 AM
Last modification on : Wednesday, April 27, 2022 - 4:11:36 AM
Long-term archiving on: : Thursday, December 15, 2016 - 8:01:42 PM


Files produced by the author(s)


  • HAL Id : hal-00700570, version 2


Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. Well-Typed Services Cannot Go Wrong. [Research Report] RR-7899, INRIA. 2012. ⟨hal-00700570v2⟩



Record views


Files downloads