Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine

Résumé

Interoperability remains a significant challenge in service-oriented computing. After proposing a pivot architecture to solve three interoperability problems, namely adaptation, integration and coordination problems between clients and servers, we explore the theoretical foundations for this architecture. A pivot architecture requires a universal language for orchestrating services and a universal language for interfacing resources. Since there is no evidence today that Web Services technologies can provide this basis, we propose a new language called Criojo and essentially show that it can be considered as a pivot language. We formalize the language Criojo and its operational semantics, by resorting to a chemical abstract machine, and give an account of formal translations into Criojo: in a distributed context, we deal with idiomatic languages for four major programming paradigms: imperative programming, logic programming, functional programming and concurrent programming.
Fichier principal
Vignette du fichier
criojo_main.pdf (598.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00676083 , version 1 (05-03-2012)
hal-00676083 , version 2 (07-03-2012)

Identifiants

  • HAL Id : hal-00676083 , version 2

Citer

Hervé Grall, Mayleen Lacouture. Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine. 2012. ⟨hal-00676083v2⟩
285 Consultations
153 Téléchargements

Partager

Gmail Facebook X LinkedIn More