Skip to Main content Skip to Navigation
Reports

Distributed Active XML and Service Interfaces

Loïc Hélouët 1, * Albert Benveniste 1
* Corresponding author
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Guarded Active XML (GAXML) was proposed by Abiteboul, Segoufin, and Vianu, as a high-level specification language tailored for data-intensive, distributed, dynamic Web services. GAXML consists in XML documents with embedded guarded service calls, thus allowing for the definition of control flows in documents. In this paper we enhance GAXML with the concepts needed to satisfy the requirements of ``Service Computing'' and ``Service Oriented Architectures''. We provide a richer model for external services in the form of interfaces. Specifying an interface consists in describing, using patterns: 1/ the shape of documents that can serve as parameters to a call, and 2/ the possible returns of a call. Our notion of interface comes with a notion of implementation --- a service implements an interface --- that builds upon the known concept of containment and a new concept of satisfaction. Then, we propose Distributed Active AXML (DAXML) as a model of guarded active XML systems distributed over a set of peers. Peers transform distributed documents in response to service calls from their own or other peers in an asynchronous way. DAXML schemas compose, thus capturing the mechanism of replacing an external service call by a distant call to an implementation of it, offered by another peer. DAXMLschemas and documents can be refined by replacing, in documents, external service calls by respective implementations thereof; the symmetric operation is service abstraction. Abstracting services as interfaces is an efficient tool in simplifying analyses of DAXML documents. We illustrate our approach on a representative example combining data and workflow management, namely the Dell supply chain.
Document type :
Reports
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00429433
Contributor : Loic Helouet <>
Submitted on : Monday, November 2, 2009 - 6:26:57 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:44 PM
Long-term archiving on: : Saturday, November 26, 2016 - 2:26:21 PM

File

RR-7082.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00429433, version 1

Citation

Loïc Hélouët, Albert Benveniste. Distributed Active XML and Service Interfaces. [Research Report] RR-7082, INRIA. 2009, pp.64. ⟨inria-00429433⟩

Share

Metrics

Record views

450

Files downloads

261