A Message-Passing Model for Service Oriented Computing - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

A Message-Passing Model for Service Oriented Computing

(1, 2) , (2) , (1, 2) , (1, 2) , (1, 2)


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.
Fichier principal
Vignette du fichier
main.pdf (206.75 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-00668975 , version 1 (26-02-2012)


  • 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⟩
241 View
208 Download


Gmail Facebook Twitter LinkedIn More