Danièle Hérin

A formal model for automated processing of Web Services

In the process of extracting knowledges, an important step is to complete request which need to extract information. In the context of Web Services, completing a complex request means calling many Web Services. They are characterized by their heterogeneity since they are built independently from the context of their use. To compose them, we need to consider annotation and meta-data which will allow their characterization. The goal of this paper is to propose the execution of a formal model, allowing the representation of a request seen as the automated processing of a composition of many Semantic Composite Web Services. We define a request as a sequence of different Web Services with the help of a formal logic. Thus we define the paths allowing its resolution. Thanks to the formal model we define, we propose an automation of the constitution of a resolution map of the request at the physical level.

Help a Teacher in the Conception of a Course by using Semantic Information

This paper aims to help a teacher to improve its course by using semantic information. For it, we supply to the teacher a means to evaluate his on-line course with regard to the student browsing.. So, we can reveal various types of problems and propose a referential or a conceptual revision of the course. The learning phases, and so knowledge acquired with by students are improved. Course is modelled by a global ontology and we study the student logs to obtain semantic information about their browsing.

A Framework to Review Complex Experimental Knowledge

The aim of our work is to provide researchers in experimental sciences means to review their knowledge in a given domain, while confronting it to experimentation data or to calculation tool results. To set up this environment and a methodology, we described the researchers knowledge as an oriented object framework and we make use of a format of exchange facilitating the comparison of the results generated by the different tools. Besides, our tool is able to provide researchers the useful information which is extracted from the domain databases. In this article, we present the architecture of our approach and its components. Finally, we will illustrate our framework by an acquisition/revision cycle argued by an example in immunogenetics.