Sharing and analyzing data collected within Technology Enhanced Learning environments is an interesting issue for researchers to validate their models and systems. In this paper we present a corpus we built and analyzed in order to validate our proposed "Proxy approach" as an approach for sharing and analyzing learning data corpora.

Some tags used in XML documents create arbitrary breaks in the natural flow of the text. This may constitute an impediment to the application of some methods of document engineering. This article introduces the concept of ``reading contexts'', and gives clues to handle it theorically and in practice. This work should notably allow to recognize emphasis tags in a text, to define a new concept of term proximity in structured documents, to improve indexing techniques, and also to open up the way to advanced linguistic analyses of XML corpora.

Automatic synthesis of communication protocols represents an important alternative to the classical analytic approaches based on exhaustive analysis, where the fundamental drawback is the exponential growth of reachable states. We present a new method for synthesizing protocol specifications from service specifications in an interpreted Petri net model. Our approach handles simultaneously: control flow, data flow, distributed choice and data coherency constraints. In other words, we propose a good compromise between the expressiveness power of the service specification model and the synthesis power. An important aspect which characterizes our approach is that the synthesis is based on stepwise refinement rules. This gives it the ability to be an extensible approach.