Un environnement formel d'assistance à la modélisation de protocoles

The use of protocol design toolkits based on UML profiles has been hampered by the lack of methodological support. Indeed, those toolkits should include an assistant based on patterns and dedicated to driving the designer step by step through a well defined methodology. Thus, the TURTLE UML profile is extended with widely accepted service and protocol-oriented patterns. These patterns are built upon UML analysis diagrams i.e. use case, interaction overview and sequence diagrams. Moreover, all these patterns and diagrams have a formal semantics. Finally, they have been implemented in TTool, the open-source toolkit supporting TURTLE. The proposed approach remains general and may be applied to various modeling languages and use-case analysis driven processes

Syntactic Analysis and Semantic Processing

L’auteur examine diverses difficultés qu’on rencontre lors de l’analyse automatique d’une langue naturelle. Il montre qu’une analyse syntaxique détaillée permet de détecter et d’écarter des analyses incohérentes du point de vue de la syntaxe sans devoir recourir à la sémantique. Ensuite, certaines analyses syntaxiquement bien formées, mais incohérentes sur le plan sémantique peuvent aussi être écartées en incorporant la sémantique directement dans la grammaire, sans construire un composant sémantique indépendant. Ceci peut être fait au moyen de règles de sélection verbales fines et d’une classification lexicale détaillée basée sur ces règles de sélection. Si les difficultés qui subsistent ne peuvent pas être traitées par ces deux méthodes, elles ne peuvent non plus l’être au moyen d’un composant sémantique autonome

Détection des contradictions dans les annotations sémantiques

L'annotation sémantique a pour objectif d'apporter au texte une représentation explicite de son interprétation sémantique. Dans un précédent article, nous avons proposé d'étendre les ontologies par des règles d'annotation sémantique. Ces règles sont utilisées pour l'annotation sémantique d'un texte au regard d'une ontologie dans le cadre d'une plate-forme d'annotation linguistique automatique. Nous présentons dans cet article une mesure, basée sur la valeur de Shapley, permettant d'identifier les règles qui sont sources de contradiction dans l'annotation sémantique. Par rapport aux classiques mesures de précision et de rappel, l'intérêt de cette me- sure est de ne pas nécessiter de corpus manuellement annoté, d'être entièrement automatisable et de permettre l'identification des règles qui posent problème

Tzvetan Todorov : die semiotischen und poetologischen Arbeiten ; eine Arbeitsbibliographie

Tzvetan Todorov: Die semiotischen und poetologischen Arbeiten. Eine arbeitsbibliographie. Zusammengestellt von Hans J. Wulff. Für zahlreiche Hinweise danke ich Ludger Kaczmarek

Recherche d'information sémantique dans les systèmes P2P hétérogènes

National audienceNous considérons la recherche d'information sémantique dans les systèmes pair-à-pair. Ces derniers semblent être une solution intéressante pour le partage de données car ils garantissent le passage à l'échelle, et gère la dynamicité. Dans ce contexte, il est difficilement imaginable que tous les participants s'accordent sur l'utilisation d'une même représentation sémantique (schéma, ontologie, graphe conceptuel). Dans ce cas, le système est sémantiquement hétérogène. Cette situation limite l'interopérabilité entre participants. Dans cet article nous montrons quels sont les problématiques liées à l'hétérogénéité sémantique et nous présentons les solutions que nous proposons pour garantir un certain degré d'interopérabilité malgré l'hétérogénéité. L'originalité de ce travail se trouve dans le fait de tenter d'améliorer l'interopérabilité sémantique en s'attaquant directement à la source du problème : l'hétérogénéité

Vers la certification du compilateur v5 d'Esterel dans Coq

Le compilateur v5 d'Esterel est basé sur un raffinement sémantique de la causalité correspondant aux «circuits constructifs» dans le domaine du matériel. La sémantique est présentée par un ensemble de règles d'inférence dans le style de la sémantique naturelle. Nous avons prouvé formellement la correction de la traduction d'une partie significative du langage en circuits au moyen du système de preuves Coq et de son interface utilisateur disponible dans Centaur. La nouvelle sémantique constructive d'Esterel a d'abord été écrite en Typol, donnant d'une part un interprète en Prolog et d'autre part une spécification en Coq. La traduction en circuit à la base du compilateur Esterel v5 a été directement spécifiée en Coq en utilisant l'ordre supérieur. Le principal travail a consisté à certifier le compilateur v5 en Coq en raisonnant sur ces spécifications

Le "sentiment" comme facteur sémantique : la "sémantique représentationnelle" entre la "linguistique psychologique" et le formalisme

La linguistique psychologique - Heymann Steinthal en Allemagne (1823-1899) ou Aleksandr Potebnia en Russie (1835-1891) - a pour base une "sémantique représentationnelle". L'opinio communis du XIXe siècle reflète la position des psychologues selon laquelle les significations sont des représentations (Vorstellungen) liées aux mots. Dans la linguistique psychologique, le "sentiment" ou la "tonalité sentimentale" font partie de la "représentation verbale", c'est-à-dire du mécanisme sémantique. En particulier, c'est le cas de la sémantique de Karl Otto Erdmann (1858-1931), qui distingue dans le mécanisme sémantique le "sens secondaire" (Nebensinn) et la "valeur de sentiment" (Gefühlswert). Pour l'approche formaliste (en particulier, celle du "formalisme russe"), l'analyse des représentations et de leur évolution ne permet pas d'accéder à ce qui est essentiel pour le signe linguistique. Il s'agit de comparer le modèle sémantique de la linguistique psychologique avec le dispositif sémantique que le formalisme russe - en particulier, la "sémantique du vers" de Juri Tynianov (1894-1943) - élabore pour le fonctionnement de la "langue poétique".Psychological linguistics - Heymann Steinthal in Germany (1823-1899) and Aleksandr Potebnia in Russia (1835-1891) - has borrowed from the psychology of its time the model of "representative semantics" according to which meanings are representations (Vorstellungen) connected to words. Within this frame, "feeling" (Gefühl) or "feeling tonality" belongs to the verbal representation, in particular to the semantic mechanism. This is also the case of Karl Otto Erdmann's (1858-1931) semantics which distinguishes within the meaning a "secondary meaning" (Nebensinn) and a "value of feeling" (Gefühlswert). Within the formalist approach (it deals with the "Russian formalism", 1914-1929), the analysis of representations does not allow to reach the matter of a linguistic sign. This paper compares the semantic model of the psychological linguistics with the "formalist" semantic model, elaborated by Jurij Tynianov (1894-1943) for a poetical text (The Problem of Verse Language, 1924)