Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

Linear logic as a foundation for service-oriented computing

Hervé Grall 1, 2 Nicolas Tabareau 1, 2 
1 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : We present a calculus that provides formal and unified foundations to service- oriented computing. Service-oriented computing allows network-based software applica- tions to be developed by resorting to services as primitive components. To date, there are two popular – and often antagonistic – models for service-oriented computing. On the first hand, the computation-oriented model, illustrated by WS* Web services, considers services as sets of operations. On the other hand, the resource-oriented model, illustrated by Restful Web services, considers services as interfaces to resources. The lack of unified models leads to adaptation, integration and coordination problems, three major concerns in this field. Our calculus restores unity to service-oriented computing, by reconciling both points of view. We give the operational semantics of the calculus using chemical solutions, and illustrate its expressive power not only as a query language over resources with sup- port for recursion and aggregation, but also as a concurrent process language. Finally, we show that our calculus is also meaningful in logic programming since computation can be interpreted as proof search in focused linear logic with resource modalities: affine, contractible and exponential.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Nicolas Tabareau Connect in order to contact the contributor
Submitted on : Wednesday, April 21, 2010 - 11:43:11 AM
Last modification on : Wednesday, April 27, 2022 - 4:10:32 AM
Long-term archiving on: : Wednesday, November 30, 2016 - 5:22:54 PM


Files produced by the author(s)


  • HAL Id : inria-00473854, version 2


Hervé Grall, Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. 2010. ⟨inria-00473854v2⟩



Record views


Files downloads