Skip to Main content Skip to Navigation
Conference papers

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

Cited literature [7 references]  Display  Hide  Download
Contributor : Diana Allam <>
Submitted on : Sunday, February 26, 2012 - 10:58:34 PM
Last modification on : Tuesday, August 13, 2019 - 7:36:02 AM
Document(s) archivé(s) le : Friday, November 23, 2012 - 4:15:37 PM


Publisher files allowed on an open archive


  • HAL Id : hal-00668975, version 1


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⟩



Record views


Files downloads