Linear logic as a foundation for service-oriented computing

Hervé Grall 1, 2 Nicolas Tabareau 1, 2
1 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes 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.
Type de document :
Pré-publication, Document de travail
2010
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00473854
Contributeur : Nicolas Tabareau <>
Soumis le : mercredi 21 avril 2010 - 11:43:11
Dernière modification le : mardi 16 janvier 2018 - 14:37:58
Document(s) archivé(s) le : mercredi 30 novembre 2016 - 17:22:54

Fichier

editioncalculus-fulltext.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00473854, version 2

Collections

Citation

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

Partager

Métriques

Consultations de la notice

233

Téléchargements de fichiers

106