This paper provides an overview of the Active XML project developed at INRIA over the past
five years. Active XML (AXML, for short), is a declarative framework that harnesses Web …

Abstract In today's Web, Web services are created and updated on the fly. It's already
beyond the human ability to analysis them and generate the composition plan manually. A …

Contributions in the field of Web services have identified that (a) finding matches between
semantic descriptions of advertised and requested services and (b) nonfunctional …

The main focus of this paper is on automatic e-Service composition. We start by developing
a framework in which the exported behavior of an e-Service is described in terms of its …

We argue that essential facets of Web Services (WSs), and especially, those useful to
understand their interaction, are best described using process-algebraic notations. WS …

It is now well-admitted that formal methods are helpful for many issues raised in the Web
service area. In this paper we present a framework for the design and the verification of WSs …

Abstract The Internet and the Web have extended traditional business networks by allowing
a Web of different digital resources to work together to create value for organizations. The …

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that
formalizes the compatibility of a client with a service, and the safe replacement of a service …

This paper addresses the issue of automatic service composition. We first develop a
framework in which the exported behavior of a service is described in terms of a so-called …

As the technology associated with the" Web Services" trend gains significant adoption, the
need for a corresponding design approach becomes increasingly important. This paper …