HAL : hal-00676083, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Versions disponibles :

v1 (05-03-2012)

v2 (07-03-2012)

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

Hervé Grall 1, 2, Mayleen Lacouture (  Auteur correspondant ) 1, 2

(02/03/2012)

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.

1 :	Laboratoire d'Informatique de Nantes Atlantique (LINA)
	CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes
2 :	ASCOLA (INRIA - EMN)
	INRIA – École Nationale Supérieure des Mines - Nantes

Équipe de recherche : Ascola

Domaine

:

Informatique/Langage de programmation

Mots Clés : Distributed Computing – Concurrent Computing – Service-Oriented Computing – Chemical Semantics – Web Services – Interoperability

hal-00676083, version 1

http://hal.archives-ouvertes.fr/hal-00676083

oai:hal.archives-ouvertes.fr:hal-00676083

Contributeur : Hervé Grall <>

Soumis le : Lundi 5 Mars 2012, 10:17:10

Dernière modification le : Lundi 5 Mars 2012, 11:39:00