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
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne 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 metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Diana Allam Connect in order to contact the contributor
Submitted on : Sunday, February 26, 2012 - 10:58:34 PM
Last modification on : Wednesday, April 27, 2022 - 3:49:42 AM
Long-term archiving on: : 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