Alain Léger

Learn More
One of the challenging problems that Web service technology faces is the ability to effectively discover services based on their capabilities. We present an approach to tackling this problem in the context of description logics (DLs). We formalize service discovery as a new instance of the problem of rewriting concepts using terminologies. We call this new(More)
Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges in the semantic Web service research area. Semantics is one of the key elements for the automated composition of Web services because such a process requires rich machine-understandable descriptions of services that can be(More)
Automation of Web service composition i.e., the process of forming new value added Web services is one of the most promising challenges in Web service research area. Such an automation does not involve only a richer semantic for Web service description but also reasoning processes about those descriptions. Semantics is supposed to be one of the key elements(More)
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of service-oriented applications. It is widely recognised that one of the key elements for the automated composition of Web services is semantics, i.e. unambiguous descriptions of Web services(More)
This paper introduces a unified formal model €or the complete and accurate specification of both tempord and logical (i.e., link) synchronization within hypermedia distributed and weakly synchronous systems. This new model extends time Petri nets with hierarchical design capabilities and new fkhg rules. These new firing rules enlighten the notion of(More)
We discuss how to read a planet's spectrum to assess its habitability and search for the signatures of a biosphere. After a decade rich in giant exoplanet detections, observation techniques have advanced to a level where we now have the capability to find planets of less than 10 Earth masses (M(Earth)) (so-called "super Earths"), which may be habitable. How(More)
The semantic web promises to bring automation to the areas of web service selection, discovery, composition, invocation. In this paper we introduce a means of facilitating automation of web service composition by exploiting semantic matchmaking between web service parameters (i.e., outputs and inputs) to enable their connections and interactions. The idea(More)
INTRODUCTION The incidence of deep venous thrombosis (DVT) related to a central venous catheter varies considerably in ICUs depending on the population included. The aim of this study was to determine subclavian central venous catheter (SCVC)-related DVT risk factors in severely traumatized patients with regard to two kinds of polyurethane catheters. (More)