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 :
Reports
Complete list of metadatas

https://hal.inria.fr/hal-00700570
Contributor : Rémi Douence <>
Submitted on : Wednesday, May 23, 2012 - 2:35:57 PM
Last modification on : Tuesday, August 13, 2019 - 7:36:02 AM
Long-term archiving on : Friday, November 30, 2012 - 12:05:55 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00700570, version 1

Collections

Citation

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

Share

Metrics

Record views

104

Files downloads

253