A Message-Passing Model for Service Oriented Computing

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
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Service-based applications can be built according to multiple technologies. Although there is a clear need for a model integrating them in multiple real-world contexts, no integrated model does (yet) exist. In this paper we introduce a model as a foundation for heterogeneous services, with particularly studying SOAP/WS* and RESTful models. The model completely abstracts away from service implementations, composes them in a truly concurrent manner, and supports asynchronous message passing as well as mobility of typed channels. We consider the application of this model to the problem of type checking messages and communications in presence of channel mobility and malicious agents.
Document type :
Conference papers
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-00668975
Contributor : Diana Allam <>
Submitted on : Sunday, February 26, 2012 - 10:58:34 PM
Last modification on : Tuesday, December 4, 2018 - 12:42:01 PM
Long-term archiving on : Friday, November 23, 2012 - 4:15:37 PM

File

main.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00668975, version 1

Citation

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. A Message-Passing Model for Service Oriented Computing. WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142. ⟨hal-00668975⟩

Share

Metrics

Record views

510

Files downloads

307