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

Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc 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écification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

Une approche ontologique pour formaliser la connaissance experte dans le modèle du contrôle de conformité en construction.

International audienceCet article présente un modèle pour le contrôle semi-automatique dela conformité d'un projet de construction par rapport aux normes du bâtiment. Les projets de construction sont décrits par des graphes RDF et les normes par des requêtes SPARQL. Notre approche se base sur l'appariement des représentations des requêtes de conformité avec celles des projets de construction, en prenant en compte des connaissances ontologiques. Elle vise à la production d'un bilan de conformité - sur la base de l'interprétation du résultat de cet appariement - qui explique les raisons éventuelles de nonconformité. L'efficacité de notre approche repose d'une part sur l'extraction des connaissances du domaine guidée par ce but spécifique de contrôle de conformité. D'autre part, notre modèle intègre des connaissances expertes sur le processus de contrôle qui prennent la forme d'une base d'annotations des requêtes de conformité et d'une organisation de la base de requêtes permettant leur ordonnancement dans le processus de contrôle

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

Proposition d'un modèle relationnel d'indexation syntagmatique : mise en oeuvre dans le système iota

National audienceNous présentons un modèle supportant une indexation à base de syntagmes. Cette modélisation inclut une description formelle des termes d'indexation, un processus de dérivation, une fonction de correspondance, une sémantique du langage d'indexation et une fonction de pondération de la orrespondance entre termes d'indexation. Elle met en évidence les éléments qui doivent permettre de guider la conception de Systèmes de Recherche d'Informations à base de mots composés. Nous proposons également un choix de techniques pour mettre en oeuvre ce modèle, particulièrement dans l'extraction automatique des syntagmes et dans leur pondération pour le calcul de la mesure pertinence d'un document par rapport à une requête

An ontological view in telemedicine.

The verification and validation of information system models impact on the adequacy and appropriateness of using the value of telemedicine services for continuously optimizing healthcare outcomes. We have defined a methodology to help the modeling and rigorous analysis of the requirements of information systems in telemedicine. On one hand, this methodology will be based on a formal representation of requirements (systemic, generic domain, etc.) within a knowledge base that will be a requirements repository. On the other hand, this methodology will use conceptual graphs for the formalization of ontology of activities and the production of arguments related to the formal verification of models built from this ontology. We describe an example illustrating the engagement of conceptual graph procedures to model the contextual situations in the telemedicine development. We also discuss the way in which ethical issues will actually take place in telemedicine applications

Exploitation des connaissances issues des processus de retour d'expérience industriels

Depuis plusieurs années, dans le secteur industriel, l amélioration continue constitue un aspect important de la famille de normes ISO 9000 maintenue par l organisation ISO (International Organization for Standardization). Elle se concentre sur l amélioration de la satisfaction du client en passant par des améliorations continues et incrémentales des produits, des services et des processus. Afin de répondre à ces exigences, un point clé consiste à optimiser le processus de résolution de problèmes qui vise à analyser et résoudre les problèmes courants pour éviter de nouvelles occurrences. Différents processus de résolution de problèmes ont été définis et sont implantés dans les entreprises. L un des plus connu est sans doute la méthode PLAN-DO-CHECK-ACT (PDCA), également connue sous le nom de Roue de Deming . D autres méthodes sont également utilisées comme : 8 Disciplines (8D) également appelée TOPS (Team-Oriented Problem Solving), Six sigma ou DMAIC (Define, Measure, Analyze, Improve and Control), 7 step, etc. Les activités principales dans ces processus sont : la formation d une équipe de résolution de problème, la description et l évaluation de la criticité des événements, l analyse des événements afin d en rechercher les causes racine et valider cette analyse, la proposition d une solution au problème et son application (solution curative), la suggestion d actions pour éviter une nouvelle occurrence du problème (solution préventive, leçons apprises, etc.). Dans cette logique d amélioration continue, un processus de Retour d Expérience (Rex) est une représentation générique focalisé sur l'acquisition des connaissances des experts en phase de résolution de problème et sur la réutilisation de ces connaissances pour résoudre ou éviter de nouveaux problèmes. Une base de connaissances de retour d'expérience va servir de pivot entre la phase d'acquisition et la phase d'exploitation. Les points abordés dans le travail de thèse seront les suivants : Représenter les différentes composantes d'une expérience en utilisant les processus de résolution de problème comme support de capitalisation. Instrumenter les processus de capitalisation et d exploitation Formaliser des mécanismes de recherche d expérience, Formaliser des mécanismes de réutilisation d analyses expertes - Développer un outil support de retour d expérience sur une architecture Web.Continuous improvement of industrial processes is increasingly a key element of competitiveness for industrial systems. Management of experience feedback takes place in this framework to build, analyze and facilitate the reuse of immaterial potential of an organization in order to make it better in achieving its processes and / or products. For several years, the need for continuous improvement of products and processes has led many companies to set up standardized problem solving processes. For this purpose, different Problem Solving Processes are commonly used in the industrial field such as: 8D, PDCA (Plan Do Check Act), DMAICS (Define Measure Analyze Improve Control Standardize) or, more recently, the 9S process (9Steps). The main activities in the problem solving process are: The composition of the problem solving team, the description and assessment of the problem highlighted by events, the analysis of events to identify their root causes and their validation, the formulation of the problem solutions and their application checking (corrective actions), the action suggestions to prevent from a new occurrence of the problem (preventive actions, lessons learned, etc.). During the Problem Solving Processes, the intellectual investment of experts is often considerable. We propose to define mechanisms to reuse previously performed analysis (already solved issues) to guide the resolution of a new problem. The main contributions of this research work are : The structuring of a cognitive experience feedback framework allowing a flexible exploitation of expert knowledge: we propose a formal representation of an experience (according to the problem solving processes). - The definition of two mechanisms to exploit the context and analysis in these experiences. The specification and development of Experience Feedback Support Framework ProWhy offering methodological and software support for knowledge management (KM), and in particular for capitalization and exploitation phases of experience feedback processes.TOULOUSE-INP (315552154) / SudocSudocFranceF

Transformer les Open Data brutes en graphes enrichis en vue d'une intégration dans les systèmes OLAP

National audienceThe Open Data integration in the decision systems is challenged by the absence of schema, the raw data and the semantic and structural heterogeneousness. In the literature, the most of authors studies the integration of RDF’Open Data in information systems besides the little percentage of available data in this format. On the other hand, few works are interested of Excel’Open Data despite they represent more than 90% of the available data.In this paper, we provide an automatic process that transforms raw Open Data in exploitable rich graphs. This process is validated by the users. This is part of our generic approach for integrating theOpen Data into multidimensional data warehouse.L’intégration des Open Data dans les systèmes OLAP est difficile en raison de l’absence de schémas sources, l’aspect brut des données et l’hétérogénéité sémantique et structurelle. La plupart des travaux existants s’intéressent aux Open Data de format RDF qui restent actuellement minoritairement disponibles. En revanche, peu de travaux s’intéressent aux Open Data de format brut, par exemple Excel qui représentent pourtant plus que 90% des données ouvertes disponibles. Dans cet article, nous proposons un processus automatique de transformation des Open Data brutes en graphes enrichis exploitables pour l’intégration. Ce processus est validé par l’utilisateur et s’inscrit dans notre démarche d’intégration des Open Data dans les entrepôts de données multidimensionnelles

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