Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur

Modélisation pour la gestion de modèles

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Alimentation d'un dépôt de code source pour l'analyse détaillée de systèmes de taille industrielle

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

Homomorphismes d'hypergraphes pour la subsomption en RDF/RDFS

baget2004aNational audienceRDFS is a knowledge representation language developped for the Semantic Web by the World Wide Web Consortium (W3C). Objects of this language (labelled graphs) are given formal model-theoretic semantics, allowing to define the subsumption relation between RDFS documents. In this paper, we reformulate subsumption into a kind of labelled hypergraphs homomorphism called projection. The huge similarities between this projection and the one defined for conceptual graphs allow us to translate many theoretical results and algorithms

Modélisation générique d'un retour d'expérience cognitif. Application à la prévention des risques

Nous avons défini dans cette thèse une architecture logicielle générique permettant de réaliser des applications de retour d'expérience cognitif. Ces derniers intègrent une formalisation de l'analyse experte et sont une alternative aux Systèmes à Bases de Connaissance. Les applications sont opérationnalisées à partir de la définition du modèle de l'expérience qui est basé sur une structure objet simple couplée avec le modèle des croyances transférables pour prendre en compte les intertitudes. Nous avons développé des algorithmes génériques de recherche adaptés à la formalisation retenue de l'entité expérience ainsi qu'un alogorithme d'extraction d'un indicateur du risque. Ces algorithmes sont basés sur une proposition de similarité ensembliste particulière. Le modèle générique est basé sur un modèle adaptatif (Adaptive Object Model). Nous avons appliqué une partie des résultats de la thèse dans le cadre d'un projet Européen INTERREG SUP (Sécurité Urgence Pyrénées)

Actes des 2èmes journées sur l’Ingénierie Dirigée

National audienceL’ingénierie dirigée par les modèles (IDM), appelée en anglais MDE (Model-Driven Engineering) ou aussi MDD (Model-Driven Development) place le modèle au centre du processus de conception et permet à cette notion de modèle de passer d’un rôle contemplatif à un rôle unificateur vis-à-vis des autres activités du cycle de développement du logiciel. L’IDM doit alors être vu non pas comme une révolution, mais comme un moyen d’intégrationde différents espaces techniques pour aller vers une production automatisée des logiciels.L’ingénierie dirigée par les modèles apporte alors des solutions à la construction de ces nouveaux logiciels en proposant des approches de modélisation, de métamodélisation, de détermination du domaine, de transformation et de prise en compte des plates-formes. Ces approches sont accompagnées de démarches de conception et de moyens de génération de code, mais également de validation et de vérification de la conformité des modèles produits vis-à-vis des métamodèles. Elles sont proches des idées actuelles comme la programmation générative, les langages spécifiques de domaine (DSL), le MIC (Model Integrating Computing) ou encore les usines à logiciels (Software factories). Après le succès des journées IDM à Paris en 2005, la seconde édition de ces journées se déroule à Lille et a pour objectif de rassembler les chercheurs francophones intéressés par ce domaine et souhaitant participer à la structuration de cette communauté scientifique émergente

Méthodologie d'ingénierie des connaissances pour la représentation des définitions lexicographiques dans le cadre de la théorie Sens-Texte

International audienceThe Meaning-Text Theory (MTT) is one of the most precise and exhaustive linguistic theories. Representing knowledge of the MTT is a challenge for applications in lexicography, but also for injecting fine grained linguistic knowledge in NLP systems. This paper describes the methodology and the main outcomes of our research in conducing a Knowledge Engineering approach to model the lexical knowledge of the MTT and formalize its semantics. We focus more specifically on linguistic predicates, linguistic representations, and lexicographic definitions. We drew our inspiration from Bachimont's methodology, and operated in three main steps: (i) we extended the domain conceptualization, (ii) we chose an adequate Knowledge Representation formalism, and (iii) we operationalized the formalism for logical reasoning, and for sharing and querying knowledge on the web of data.La Théorie Sens-Texte (TST) est l'une des théories linguistiques les plus précises d'un point de vue descriptif. En représenter les connaissances est un défi pour des applications de lexicographie, mais également pour injecter des connaissances linguistiques fines dans les systèmes de TALN. Cet article décrit la méthodologie et les principaux résultats de notre recherche qui consiste à mener une étude d'Ingénierie des Connaissances pour modéliser les connaissances lexicales sémantiques de la TST et en formaliser la sémantique. Nous nous intéressons plus particulièrement aux prédicats linguistiques, aux représentations linguistiques, et aux définitions lexicographiques. Nous nous sommes inspirés de la méthodologie de Bachimont, et avons opéré en trois étapes principales: (i) extension de la conceptualisation du domaine, (ii) recherche d'un formalisme de représentation des connaissances adapté, (iii) opérationalisation du formalisme pour le raisonnement logique et pour le partage et l'interrogation des connaissances sur le web des données

RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

ANTELOPE - Une plateforme industrielle de traitement linguistique

International audienceThe Antelope linguistic platform, inspired by Meaning-Text Theory, targets the syntactic and semantic analysis of texts, and can handle large corpora. Antelope integrates several pre-existing (parsing) components as well as broad-coverage linguistic data originating from various sources. Efforts towards integration of all components nonetheless make for a homogeneous platform. Our direct contribution deals with components for semantic analysis, and the formalization of a unified text analysis model. This paper introduces the platform and compares it with state-of-the-art projects. It offers to the NLP community a feedback from a software company, by underlining the architectural measures that should be taken to ensure that such complex software remains maintainable.La plate-forme de traitement linguistique Antelope, en partie basée sur la Théorie Sens-Texte (TST), permet l'analyse syntaxique et sémantique de textes sur des corpus de volume important. Antelope intègre plusieurs composants préexistants (pour l'analyse syntaxique) ainsi que des données linguistiques à large couverture provenant de différentes sources. Un effort d'intégration permet néanmoins d'offrir une plate-forme homogène. Notre contribution directe concerne l'ajout de composants d'analyse sémantique et la formalisation d'un modèle linguistique unifié. Cet article présente la plate-forme et la compare à d'autres projets de référence. Il propose un retour d'expérience d'un éditeur de logiciel vers la communauté du TAL, en soulignant les précautions architecturales à prendre pour qu'un tel ensemble complexe reste maintenable