Linear logic as a foundation for service-oriented computing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2010

Linear logic as a foundation for service-oriented computing

Résumé

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.
Fichier principal
Vignette du fichier
editioncalculus-fulltext.pdf (244.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00473854 , version 1 (16-04-2010)
inria-00473854 , version 2 (21-04-2010)

Identifiants

  • HAL Id : inria-00473854 , version 2

Citer

Hervé Grall, Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. 2010. ⟨inria-00473854v2⟩
154 Consultations
129 Téléchargements

Partager

Gmail Facebook X LinkedIn More