RÉDACTION DE SPÉCIFICATIONS FORMELLES : ÉLABORATION À PARTIR DES SPÉCIFICATIONS ÉCRITES EN LANGAGE NATUREL

National audienceL'activité de spécification devient considérable ; une multitude de pages sont écrites tous les jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des Télécommunications), qui réalise des études de services et d'équipements de France Telecom, et qui possède la maîtrise des étapes de spécification et de validation, a nécessité de réduire les temps de développement des services est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Dans ce contexte, nous essayerons de montrer, la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécifications. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentatin intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z de la spécification initiale

Une approche conduite par les modèles pour le traçage des activités des utilisateurs dans des EIAH hétérogènes

Cet article propose une approche conduite par les modèles pour la gestion des traces d'activité des utilisateurs au sein de systèmes d'apprentissage hétérogènes instrumentés par les technologies Web. Un modèle UML générique de traces permet de structurer et d'ajouter une sémantique claire aux données observées, auquel est associée une architecture distribuée et décentralisée favorisant le partage et la réutilisation des traces collectées par différents outils et services. Nous appliquons ensuite cette approche au traçage de l'utilisation des objets pédagogiques par des utilisateurs exploitant des plates-formes d'apprentissage et viviers de connaissance. Enfin nous proposons une application pour la visualisation des traces collectées, ainsi qu'un service de recherche avancée d'objets pédagogiques qui offre l'opportunité de capitaliser les expériences d'une large communauté d'utilisateurs

La mesure des dimensions de la qualité des archives électroniques: apport des textes normatifs en matière d'archivage électronique à long terme

Mesurer l'adéquation d'un produit ou d'un service, en regard d'exigences, d'attentes ou de besoins formulés par un individu ou imposés par un système institutionnel, est une activité qui doit être effectuée par la totalité des organisations. Le secteur des archives est également concerné par cette revue de la qualité. S'assurer de l'adéquation des documents d'activité et des archives est en effet la garantie, pour ces derniers, de répondre à des besoins probatoires, d'information, ou encore de recherche. L'irruption des technologies numériques dans l'ensemble des activités humaines rend cette revue périodique de la qualité encore plus indispensable. En effet, dans un milieu en constante évolution, où l'obsolescence des systèmes de lecture des documents électroniques augmente le risque de perte ou de dégradation des archives, s'assurer du niveau adéquat de qualité permet de satisfaire aux exigences. Ainsi, les institutions en charge des archives ont la responsabilité de conserver des documents authentiques, fiables, intègres et exploitables. Le but principal de ce travail est de livrer une réflexion théorique sur l'apport des normes et standards en matière d'archivage électronique à long terme dans la mesure des qualités des archives. A cette fin, trois textes normatifs ont été retenus : le modèle de référence OAIS, le standard d'encodage et de transfert de métadonnées METS, et enfin le dictionnaire de données pour les métadonnées de préservation PREMIS. Les éléments participant à la mesure des dimensions de la qualité des archives identifiés dans les normes et standards cités ci-dessus, ont été explicités et organisés selon un cadre conceptuel issu de la littérature existante sur le sujet. Afin de juger de leur pertinence, ils ont été associés à des variables et à des questions de mesure, puis opérationnalisés. L'utilisation de normes et standards dans le milieu archivistique permet une compréhension entre professionnels, et est un prérequis à l'élaboration collective d'instruments et de méthodologies. Dans ce sens, les normes et standards sont un vecteur d'échange et d'automatisation. Identifier et expliciter des éléments participant à la qualité des archives dans un tel milieu contribuent ainsi grandement à l'automatisation de la mesure et donc à son adoption. L'accent de ce travail a par conséquent été mis sur l'identification d'éléments pouvant permettre une automatisation de la mesure, et par là même offrir un système applicable à de nombreuses organisations. Enfin, il propose des perspectives futures en termes de mesure, englobant d'autres normes archivistiques

Les propriétés grammaticales du genre de l'offre d'emploi aux fondements d'une méthode de classement automatique.

Nous présentons un projet de fouille de textes qui vise à développer une méthode de classement automatique d'offres d'emploi et d'identification des impératifs de compétences ; la méthode s'appuie sur l'étude des termes au sein de constructions grammaticales prototypiques (Bourrigault et Jacquemin, 2000 ; Tutin, 2007) permettant de saisir la sémantique lexicale et ce d'autant mieux au sein de l'horizon interprétatif défini par un genre spécifique (Condamines, 2006). Notre corpus se compose de 13375 offres d'emploi couvrant l'ensemble des métiers et secteurs, et annotées automatiquement en dépendances suivant une technique décrite dans (De La Clergerie et al., 2009 ; Erk & Padó, 2008 ; Padó & Lapata, 2007). Les patrons relevés, qui associent un jargon des ressources humaines et un lexique spécifique au métier concerné, permettent de distinguer les " compétences " d'autres classes de locutions emblématiques (par ex. l'intitulé du poste etc.) (Loth, 2010), ainsi que de classer les compétences (savoir-faire, personnalité, formation etc.). L'étude questionne ainsi la caractérisation multi-dimensionnelle des genres (Biber, 1988, 1993 ; Malrieu & Rastier, 2001 ; Rastier, 2001) et les liens entre syntaxe et sémantique (paradigmes constructionnels typiques et sémantique résultante)

Les Noms de Localisation Interne : tentative de caractérisation sémantique à partir de données du basque et du français

The analysis of Internal Localization Nouns (ILNs) is considered here in the framework of the general studies on part-whole relations or meronomies. Data from Basque and French indicate that these lexical elements have semantic and syntactic properties which clearly differentiate them from other meronomic relations, in particular from component nouns usually used for designating functional parts of spatial entities. Beyond a strict opposition, it seems that ILNs diachronicly derive from component nouns and acquire, during such an evolution, semantic properties which make them real relational markers of spatial localization. More generally, this study on ILNs of Basque and French seems to indicate that there exists a general concept of location which plays a great part in the linguistic and cognitive classification of spatial entities and underlies the functioning of several linguistic markers of space

Vers un profil UML pour la conception de composants multivues

International audienceThis paper aims to present an UML profile based on multiviews components. A multiviews component allows to encapsulate and deliver information according to the user's point of view and offers mechanisms to manage the dynamic evolution of viewpoints and consistency among views. In this paper, we first present the notion of multiviews component and its integration into a UML profile, and thus detail an object-oriented multiviews modelling applied to a concrete example. The transition to the coding stage is described through a generic implementation pattern.L' objectif de cet article est de présenter un profil UML permettant la construction de composants logiciels multivues. Un composant multivues est une extension de la notion de composant UML permettant de stocker et restituer de l' information en fonction du profil de l' utilisateur (point de vue), et offrant la possibilité de changement dynamique de point de vue. Dans cet article, nous présentons tout d' abord la notion de classe multivues, puis le composant multivues et son intégration dans un profil UML. Nous illustrons à l' aide d' un exemple concret la mise en oeuvre d' une modélisation objet multivues. La transition vers la phase de codage est présentée à travers un patron d'implémentation générique

Analyse critique de quelques modèles sémiotiques de l’idéologie (première partie)

Ce texte s'adresse au problème de l'analyse sémiotique de la question de l'idéologie. Il montre la faiblesse des principaux dévelop- pements traditionnels sur ce point. Dans cette première partie, nous rejetons les théories des sémioticiens saussuriens (Hjelmslev, Barthes et Greimas), en raison de leur conception du langage et de la connotation. Dans la seconde partie, nous analyserons les théories sociosémiotiques de Kristeva, Morris et Eco. En conclusion, nous montrerons la pertinence d'une approche peircienne de cette problématique.This paper deals with the problem of analysing the question of ideology as a semiotic one. It shows the weakness of the main traditional developments on this issue. In this first part, the theories of saussurian semioticians (Hjelmslev, Barthes et Greimas) are rejected, because of their conception of language and connotation. In the second part, we will analyse the sociosemiotic theories of Kristeva, Morris and Eco. In conclusion, we will show the relevance of a peircean approach of this problematic