192 research outputs found
La linguistique au contact de l'informatique : de la construction des grammaires aux grammaires de construction
National audienceLes auteurs proposent un essai d'histoire rationnelle d'un aspect du programme gĂ©nĂ©ratif dans sa relation Ă l'informatique, celui qui va de la dĂ©finition de la notion de grammaire par Chomsky, et en particulier de la caractĂ©risation mathĂ©matique des grammaires possibles (la linguistique algĂ©brique), Ă la conception de grammaires multidimensionnelles qui trouvent dans les systĂšmes de reprĂ©sentation des connaissances leur fondation formelle. Les auteurs distinguent trois moments : (a) l'Ă©mergence du programme gĂ©nĂ©ratif et de la notion de grammaire gĂ©nĂ©rative ; (b) le mouvement de rĂ©forme qui se cristallise dans le refus de la forme transformationnelle de la grammaire et qui voit l'invention de nombreux nouveaux formalismes qui auront tous la caractĂ©ristique d'ĂȘtre dĂ©claratifs ; (c) le dĂ©veloppement des grammaires multidimensionnelles qui sont chargĂ©es d'intĂ©grer les analyses des dimensions formelles (syntaxe et phonologie) et non formelles (sĂ©mantique, pragmatique) des langues
Conception, connaissance et concept
(pp.219-244). Grenoble : IMAG.AprĂšs un rappel rapide des propositions des recherches actuelles, nous proposons une dĂ©finition et une formalisation du concept de conception pour rĂ©soudre le problĂšme de modĂ©lisation posĂ© par la coexistence chez un sujet de structures mentales contradictoires du point de vue d'un observateur de leurs mises en Ćuvre, et cependant cohĂ©rentes lorsqu'elles sont replacĂ©es dans le contexte d'une mise en Ćuvre particuliĂšre dans le rĂ©fĂ©rentiel du sujet (en gĂ©nĂ©rale une classe de situations ou de tĂąches)
MĂ©thodes formelles de haut niveau pour la conception de systĂšmes Ă©lectroniques fiables
ThÚse numérisée par la Direction des bibliothÚques de l'Université de Montréal
Génération modulaire de grammaires formelles
The work presented in this thesis aim at facilitating the development of resources for natural language processing. Resources of this type take different forms, because of the existence of several levels of linguistic description (syntax, morphology, semantics, . . . ) and of several formalisms proposed for the description of natural languages at each one of these levels. The formalisms featuring different types of structures, a unique description language is not enough: it is necessary to create a domain specific language (or DSL) for every formalism, and to implement a new tool which uses this language, which is a long a complex task. For this reason, we propose in this thesis a method to assemble in a modular way development frameworks specific to tasks of linguistic resource generation. The frameworks assembled thanks to our method are based on the fundamental concepts of the XMG (eXtensible MetaGrammar) approach, allowing the generation of tree based grammars. The method is based on the assembling of a description language from reusable bricks, and according to a unique specification file. The totality of the processing chain for the DSL is automatically assembled thanks to the same specification. In a first time, we validated this approach by recreating the XMG tool from elementary bricks. Some collaborations with linguists also brought us to assemble compilers allowing the description of morphology and semantics.Les travaux prĂ©sentĂ©s dans cette thĂšse visent Ă faciliter le dĂ©veloppement de ressources pour le traitement automatique des langues. Les ressources de ce type prennent des formes trĂšs diverses, en raison de lâexistence de diffĂ©rents niveaux dâĂ©tude de la langue (syntaxe, morphologie, sĂ©mantique,. . . ) et de diffĂ©rents formalismes proposĂ©s pour la description des langues Ă chacun de ces niveaux. Les formalismes faisant intervenir diffĂ©rents types de structures, un unique langage de description nâest pas suffisant : il est nĂ©cessaire pour chaque formalisme de crĂ©er un langage dĂ©diĂ© (ou DSL), et dâimplĂ©menter un nouvel outil utilisant ce langage, ce qui est une tĂąche longue et complexe. Pour cette raison, nous proposons dans cette thĂšse une mĂ©thode pour assembler modulairement, et adapter, des cadres de dĂ©veloppement spĂ©cifiques Ă des tĂąches de gĂ©nĂ©ration de ressources langagiĂšres. Les cadres de dĂ©veloppement crĂ©Ă©s sont construits autour des concepts fondamentaux de lâapproche XMG (eXtensible MetaGrammar), Ă savoir disposer dâun langage de description permettant la dĂ©finition modulaire dâabstractions sur des structures linguistiques, ainsi que leur combinaison non-dĂ©terministe (câest Ă dire au moyen des opĂ©rateurs logiques de conjonction et disjonction). La mĂ©thode se base sur lâassemblage dâun langage de description Ă partir de briques rĂ©utilisables, et dâaprĂšs un fichier unique de spĂ©cification. LâintĂ©gralitĂ© de la chaĂźne de traitement pour le DSL ainsi dĂ©fini est assemblĂ©e automatiquement dâaprĂšs cette mĂȘme spĂ©cification. Nous avons dans un premier temps validĂ© cette approche en recrĂ©ant lâoutil XMG Ă partir de briques Ă©lĂ©mentaires. Des collaborations avec des linguistes nous ont Ă©galement amenĂ© Ă assembler des compilateurs permettant la description de la morphologie de lâIkota (langue bantoue) et de la sĂ©mantique (au moyen de la thĂ©orie des frames)
VĂ©rification de modĂšles de processus dâentreprise : une approche formelle.
Dans le cycle de vie de dĂ©veloppement dâun systĂšme industriel, les phases de vĂ©rification et, si possible de validation, impactent notablement sur la qualitĂ© du systĂšme final câest Ă dire son adĂ©quation et sa pertinence vis-Ă -vis de ses objectifs cibles. Dans le domaine de la ModĂ©lisation dâEntreprise, il existe peu dâoutils de vĂ©rification et/ou de validation basĂ©s sur dâautres approches que la simulation. Cet article prĂ©sente une approche formelle pour la vĂ©rification des modĂšles de processus dâentreprise par preuve de propriĂ©tĂ©s. Cette dĂ©marche sâappuie tout dâabord sur la construction dâune ontologie du domaine concernĂ© visant Ă dĂ©finir rigoureusement le vocabulaire qui sera utilisĂ© pendant les phases de vĂ©rification. Elle met ensuite en Ćuvre des mĂ©canismes de traduction et de raisonnement utilisant les graphes conceptuels qui sâavĂšrent aisĂ©s Ă manipuler dans un milieu industriel. Une mise en Ćuvre de la dĂ©marche de vĂ©rification proprement dite est enfin proposĂ©e afin de dĂ©montrer lâintĂ©rĂȘt de ce type dâapproche dans le domaine
Vérification et validation de politiques de contrÎle d'accÚs dans le domaine médical
Dans le domaine meÌdical, la numeÌrisation des documents et lâutilisation des dossiers patient eÌlectroniques (DPE, ou en anglais EHR pour Electronic Health Record) offrent de nombreux avantages, tels que la faciliteÌ de recherche et de transmission de ces donneÌes. Les systeÌmes informatiques doivent reprendre ainsi progressivement le roÌle traditionnellement tenu par les archivistes, roÌle qui comprenait notamment la gestion des acceÌs aÌ ces donneÌes sensibles. Ces derniers doivent en effet eÌtre rigoureusement controÌleÌs pour tenir compte des souhaits de confidentialiteÌ des patients, des reÌgles des eÌtablissements et de la leÌgislation en vigueur. SGAC, ou Solution de Gestion AutomatiseÌe du Consentement, a pour but de fournir une solution dans laquelle lâacceÌs aux donneÌes du patient serait non seulement baseÌe sur les reÌgles mises en place par le patient lui-meÌme mais aussi sur le reÌglement de lâeÌtablissement et sur la leÌgislation. Cependant, cette liberteÌ octroyeÌe au patient est source de divers probleÌmes : conflits, masquage des donneÌes neÌcessaires aux soins ou encore tout simplement erreurs de saisie. Pour effectuer ces veÌrifications, les meÌthodes formelles fournissent des moyens fiables de veÌrification de proprieÌteÌs tels que les preuves ou la veÌrification de modeÌles. Cette theÌse propose des meÌthodes de veÌrification adapteÌes aÌ SGAC pour le patient : elle introduit le modeÌle formel de SGAC, des meÌthodes de veÌrifications de proprieÌteÌs. Afin de mener ces veÌrifications de manieÌre automatiseÌe, SGAC est modeÌliseÌ en B et Alloy ; ces diffeÌrentes modeÌlisations donnent acceÌs aux outils Alloy et ProB, et ainsi aÌ la veÌrification automatiseÌe de proprieÌteÌs via la veÌrification de modeÌles ou model checking.Abstract : In healthcare, data digitization and the use of the Electronic Health Records (EHR) offer several benefits, such as the reduction of the space occupied by data, or the ease of data search or data exchanges. IT systems must gradually take up the archivistâs role by managing the accesses over sensitive data, which have to be compliant with patient wishes, hospital rules, as well as laws and regulations. SGAC, or Solution de Gestion AutomatiseÌe du Consentement (Automated Consent Management Solution), aims to provide a solution in which access to patient data would be based on patient rules, hospital rules and laws. However, the freedom granted to the patient can cause several problems : conflicts, concealment of crucial data needed to treat the patient adequately, and data-capture errors. Therefore, verification and validation of policies are essential : formal methods provide reliable ways, such as proofs or model checking, to conduct verifications of properties. This thesis provides verification methods applied on SGAC for the patient : it introduces the formal model of SGAC, methods to verify properties such as data access resolution, hidden data detection or redundant rule identification. Modeling of SGAC in B and Alloy provides access to the tools Alloy and ProB, and thus, automated property verification through model checking
- âŠ