Notre travail s'insère dans la problématique de l'accès à l'information spatiale présente dans des corpus textuels territoriaux. Nous proposons d'aller au-delà des systèmes de recherche d'information classiques basés sur l'analyse statistique des documents, peu adaptés pour ce cas particulier, via un traitement linguistique ciblé interprétant l'information spatiale. Notre hypothèse est que des traitements relativement peu coûteux suffisent à dégager l'essentiel de l'information. Ils sont un bon point de départ pour une interprétation plus poussée par la suite, utilisant les propriétés géographiques de l'information extraite afin de développer un système d'indexation à plusieurs niveaux d'abstraction.<br />Nous proposons en effet une méthode de recherche d'information spatiale multi-niveaux indexant un corpus textuel brut. Cette méthode qui extrait l'information d'un corpus et l'interprète, permet d'améliorer l'efficacité de systèmes de recherche d'information à chaque fois que l'interrogation comporte une connotation spatiale. L'interprétation permet en outre de retrouver le contexte dans lequel l'information spatiale a été utilisée. En particulier, elle permet d'indexer des unités de texte en leur associant des contextes de type itinéraire, description locale ou comparaison de lieux.

La mise en place de systèmes d’information hospitaliers centrés sur les processus de soins est porteuse de qualité des soins, de gestion éclairée des ressources et de productivité. C’est une nécessité qui s’impose à tous les pays quelque soit leur niveau de développement. Une question se pose toutefois : Étant données les différences de contextes financiers, technologiques et humains, faut-il, en Afrique, conduire une stratégie différenciée pour atteindre cet objectif partagé? Le but de notre travail était de mettre en place un modèle adapté au contexte culturel et économique des pays en développement. Notre méthodologie a été basée sur l’adaptation et l’implémentation d’un Open Source. Ces travaux ont permis la réalisation et la validation d’un modèle au Mali que nous avons baptisé Cinz@n. Il a été implémenté et testé à l’hôpital mère enfant de Bamako. Au delà de l’implémentation logicielle, l’accompagnement du changement et la formation, des personnes a été l’objet d’une attention particulière. Les résultats de l’évaluation de la couverture fonctionnelle, de l’ergonomique du système et de satisfaction des utilisateurs sont satisfaisants. 84% des utilisateurs pensent que le système a permis d’améliorer la qualité du travail, 100% des utilisateurs se sont dit prêts à continuer l’expérience. Cette même proportion a recommandé l’extension du système à tous les services de l’hôpital. L’analyse qualitative de la base des données a démontré un suivi rigoureux des consignes d’identification. Nous pouvons conclure que Cinz@n, ayant coûté que près de dix milles euros d’investissement et largement accepté par les utilisateurs peut servir de modèle pour l’Afrique Francophone. / The implementation of hospital information systems focused on care processes has been shown to improve the quality of care, the management of resources, and the productivity. These benefits are necessary in all countries, regardless of their level of development. However, a question does arise: “Given the differences in financial, technological and human contexts, should we, in Africa, undertake a differentiated strategy to achieve these shared goals?”. The aim of our study was to develop a model adapted to the cultural and economical contexts of developing countries. Our methodology was based on the adaptation and implementation of an Open Source software. This work led to the development and validation of a model in Mali named Cinz@n. It has been implemented and tested at the Mother-Child hospital in Bamako. Beyond the software implementation, change management and the training of stakeholders have been the subject of special attention. The results of the evaluation of the functional coverage, the ergonomics of the system and user satisfaction are satisfactory. 84% of users consider that the system has improved the quality of their work, and 100% of users are willing to continue the experiment, also recommending the extension of the system to all hospital departments. The qualitative analysis of the database showed strict usage of the patient identification procedures. We conclude that Cinz@n, with an investment cost of about ten thousand euros, and a wide acceptance by users can be a model for other implementations in French Speaking Africa.

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

La sécurité est un élément crucial dans le développement d'un système d'information. On ne peut pas concevoir un système bancaire sans préoccupation sécuritaire. La sensibilité des données d'un système hospitalier nécessite que la sécurité soit la composante majeure d'un tel logiciel. Le contrôle d'accès est un des nombreux aspects de la sécurité. Il permet de définir les conditions de l'exécution d'actions dans un système par un utilisateur. Entre les différentes phases de conception d'une politique de contrôle d'accès et son application effective sur un système déployé, de nombreuses étapes peuvent introduire des erreurs ou des failles non souhaitables. L'utilisation de méthodes formelles est une réponse à ces préoccupations dans le cadre de la modélisation de politiques de contrôle d'accès. L'algèbre de processus EB3 permet une modélisation formelle de systèmes d'information. Son extension EB3SEC a été conçue pour la spécification de politiques de contrôle d'accès. Le langage ASTD, combinaison des statecharts de Harel et des opérateurs de EB3, permet de modéliser graphiquement et formellement un système d'information. Cependant, ces deux méthodes manquent d'outils de vérification et de validation qui permettent de prouver ou de vérifier des propriétés de sécurité indispensables à la validation de politiques de contrôle d'accès. De plus, il est important de pouvoir prouver que l'implémentation d'une politique correspond bien à sa spécification abstraite. Cette thèse définit des règles de traduction de EB3 vers ASTD, d'ASTD vers event-B et vers B. Elle décrit également une architecture formelle exprimée en B d'un filtre de contrôle d'accès pour les systèmes d'information. Cette modélisation en B permet de prouver des propriétés à l'aide du prouveur B ou de vérifier des propriétés avec ProB, un vérificateur de modèles. Enfin, une stratégie de raffinement B pour obtenir une implémentation de ce filtre de contrôle d'accès est présentée. Les raffinements B étant prouvés, l'implémentation correspond donc au modèle initial de la politique de contrôle d'accès / Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most important features of the software. Access control is one of many security aspects of an IS. It defines permitted or forbidden execution of system's actions by a user. Between the conception of an access control policy and its effective deployment on an IS, several steps can introduce unacceptable errors. Using formal methods may be an answer to reduce errors during the modeling of access control policies. Using the process algebra EB3, one can formally model IS. Its extension, EB3SEC, was created in order to model access control policies. The ASTD notation combines Harel's Statecharts and EB3 operators into a graphical and formal notation that can be used in order to model IS. However, both methods lack tools allowing a designer to prove or verify security properties in order to validate an access control policy. Furthermore, the implementation of an access control policy must correspond to its abstract specification. This thesis defines translation rules from EB3 to ASTD, from ASTD to event-B and from ASTD to B. It also introduces a formal architecture expressed using the B notation in order to enforce a policy over an IS. This modeling of access control policies in B can be used in order to prove properties, thanks to the B prover, but also to verify properties using ProB, a model checker for B. Finally, a refinement strategy for the access control policy into an implementation is proposed. B refinements are proved, this ensures that the implementation corresponds to the initial model of the access control policy

Tous les pays à ex-orientation socialiste, au Sud, à l'Est comme en Asie, qui se sont engagés dans un processus de transition à une économie de marché ont inscrit dans leur programme de transformation, soit spontanément par stratégie délibérée, soit sous l'effet de facteurs exogènes en particulier les exigences des investisseurs étrangers et les conditionnalités des institutions internationales de financement, la réforme du système comptable national.La transition à un système comptable adapté aux exigences de la globalisation, de l'ouverture économique et des transformations structurelles qui en découlent est souvent problématique dans ces pays au sens où ce type de changement induit souvent une démarche politico-législative complexe et de lourdes mesures connexes de mise en place d'un organisme de normalisation comptable, de création des professions de comptable et d'audit, de choix de l'approche de normalisation, de positionnement par rapport aux modèles dominants et de mobilisation de fonds souvent importants.Cette thèse s'intéresse particulièrement à un facteur qui fut souvent négligé mais qui se révèle être d'une importance capitale: la culture. ce travail a pour objectif d'étudier la pertinence de l'harmonisation comptable en Algérie avec le référentiel comptable international. / All countries with a socialist orientation, in the South, in the East and in Asia, which have embarked on a process of transition to a market economy have included in their transformation program, either spontaneously by deliberate strategy, or under the effect of exogenous factors especially the requirements of foreign investors and the conditionalities of international financial institutions, the reform of the national accounting system.The transition to an accounting system adapted to the requirements of globalization, economic openness and the resulting structural transformations is often problematic in these countries in the sense that this type of change often leads to a complex politico-legislative approach and heavy measures. related to the establishment of an accounting standard-setting body, the creation of accounting and auditing professions, the choice of the standardization approach, the positioning of dominant models and the mobilization of often significant funds.This thesis is particularly interested in a factor that has often been neglected but which turns out to be of paramount importance: culture. this work aims to study the relevance of accounting harmonization in Algeria with the international accounting standards.

Le développement d'applications pour l'informatique pervasive présente un certain nombre de défis pour l'ingénierie des logiciels. En particulier, l'adaptation des applications sensibles au contexte : adaptation à l’environnement (localisation, temps, condition, …), à la connectivité (débit, protocole, …), aux limitations de l'appareil (écran, format de média, …) et même à l’utilisateur (handicap physique, capacité, …). Dans ce contexte où le multimédia, la mobilité des utilisateurs et l'ubiquité des applications se généralisent, les fournisseurs de logiciel souhaitent offrir des applications adaptables (sensibles au contexte). Beaucoup d’efforts ont été consacrés à l’assemblage et au réassemblage de composants, ainsi qu’à l’adaptation fonctionnelle par remplacement ou reconfiguration des composants afin de satisfaire le nouveau besoin ou le nouveau contexte. La problématique que nous abordons dans cette thèse est celle de l’hétérogénéité comportementale ou sémantique des composants. L’objectif est de fournir des mécanismes permettant l’adaptation des flux de données multimédia dans des applications basées composants. Pour cela, l’architecture doit être capable de vérifier la possibilité d’assemblage des composants à partir de leurs manifestes (un manifeste doit contenir les informations techniques d’un composant). L’assemblage peut ne pas se faire pour deux raisons : incompatibilité fonctionnelle et/ou comportementale. Notre travail porte sur la deuxième raison, dans le cas où les interfaces d’un composant ne seront pas compatibles avec celles des composants voisins. Par exemple un composant fournit des images de type PNG, alors que l’autre n’accepte que des images JPEG. La mise en évidence de l’interopérabilité des composants dans un assemblage est une nécessité dans de telles approches. En effet, les architectures logicielles valident les aspects fonctionnels, ce qui n’est pas suffisant pour garantir un assemblage réaliste et remédier aux problèmes d’hétérogénéité des flux de données échangés. Nous proposons, pour mettre en évidence l’interopérabilité et permettre de trouver des solutions aux problèmes d’hétérogénéité, une approche basée modèle appelée MMSA (Meta-model for MultiMedia Software Architecture). Elle permet la description d’architectures logicielles exprimant un système logiciel comme une collection de composants qui manipulent différents types et formats de données et qui interagissent par l’intermédiaire de connecteurs d’adaptation. Nous définissons aussi un profil UML 2.0 pour exprimer et modéliser les nouveaux concepts et contraintes du méta modèle MMSA. La transition vers un profil UML est assurée par les mécanismes d'extension fournis par UML 2.0 afin d'améliorer la vérification et la cohérence des architectures décrites en MMSA. Nous proposons pour assurer la cohérence des applications vis à vis des changements du contexte, une plate-forme d’adaptation dynamique. Cette plate-forme surveille et contrôle l’exécution des applications multimédia afin de détecter les changements éventuels du contexte. En cas d’un changement, la plate-forme cherche les solutions possibles et prend la décision adéquate pour l’adaptation de l’application au nouveau contexte. Ensuite, la plate-forme cherche et choisit les services d’adaptation nécessaires afin de les intégrer dans des connecteurs d’adaptation et les réassembler avec les composants métiers de l’application. Afin d’examiner la projection de MMSA en UML 2.0, les contraintes OCL ont été évaluées dynamiquement sur un modèle de système de surveillance. Nous proposons aux architectes logiciels, un outil qui donne la possibilité de vérifier le modèle d’architecture à chaque modification afin d’assurer sa cohérence structurelle et sémantique. Les différents tests et validations effectués sur les modèles d’architecture garantissent parfaitement notre projection. / The development of applications for pervasive computing presents a number of challenges for software engineering. In particular, the adaptation of context-aware applications: adapting to the environment (location, time, condition, etc.), connectivity (bit-rate, protocol, etc.), the limitations of the device (screen size media ...) and even the user (physical handicaps, ability, etc.). The programmer is always faced with a complex combination of factors that occur throughout the application. In this context where the multimedia, the mobility of user and the ubiquitous application generalizes, providers want to offer adaptable software applications (context sensitive). Much effort has been devoted to assembly and reassembly of components, thus to the functional adaptation by replacement or reconfiguration of the components in order to satisfy the new need or the new context. The problem we tackle in this thesis is that of semantic and behavioral heterogeneity of components. The objective is to provide mechanisms for adapting multimedia data flows in applications based components, i.e. ensuring the assembly of heterogeneous components. For this, the architecture must be able to check the possibility of assembling components from the manifest (a manifest must contain the technical information of component). The assembly may not accept for two reasons: functional and/or behavioral incompatibility. Our work focuses on the second reason, in case the interfaces of component will not be compatible with the interfaces of adjacent components. For example, it provides images of PNG type, while the other accepts only JPEG images. The taken into account of components interoperability in an assembly is a necessity in such approaches. Indeed, software architectures validate the functional aspects, which is not sufficient to ensure a realistic assembly and to remedy the problems of heterogeneous of data flow exchanged. We propose to take into account the interoperability and to find solutions to problems of heterogeneity, an approach called model MMSA (Meta-Model for Multimedia Software Architecture). It allows the description of software architectures expressing a software system as a collection of components that handle various data types and formats and which interact through connectors to adaptation. We also define a UML 2.0 profile to express and model the new concepts and constraints of MMSA meta-model. The transition to a UML profile is provided by the extension mechanisms provided by UML 2.0 in order to improve the verification and consistency of architectures described in MMSA. We propose for ensure the coherence of applications aim at screw of changing context, a platform of dynamic adaptations. The dynamic adaptation is the process by which a software application is modified in order to take into account a change, be it level of the environment or the application itself, the platform monitors and controls the execution of multimedia applications to detect any change of context. In the event of a change, the platform seeks the possible solutions and takes the appropriate decision to adapt the application to the new context. Then, the platform seeks and selected the services of adaptation necessary in order to integrate them in connectors of adaptation and reassembled with the business components of application. In order to examine the projection of MMSA in UML 2.0, the OCL constraints were dynamically evaluated on a model of monitoring system. We have proposed to the software architects, a tool which gives the possibility of checking the model of architecture to each modification in order to ensure its structural and semantic coherence. The various tests and validations carried out on the models of architecture guarantee our projection perfectly. This visual model supports the creation and the management of models MMSA for software applications.

Partant du constat que les cartes de bruit actuelles (quantitatives) doivent nécessairement inclure des données qualitatives pour être plus opérantes, ce travail propose d'explorer quelques pistes pour montrer comment on peut représenter les qualités d'une situation sonore urbaine sur une carte. S'appuyant sur les trois caractères fondamentaux de l'espace sonore humain {temporalité, discrétion, métabole), ainsi que sur les principales approches théoriques de la qualité sonore développées à ce jour (les objets sonores, les effets sonores, les notions d'environnement, de milieu et de paysage sonores, les ambiances sonores), il cherche à voir comment une carte des qualités sonores peut être possible. Pour ce faire, il propose de multiples cartes, destinées chacune à aborder certains des problèmes cités précédemment, et réalisées lors de deux étapes de recherche successives (l'une sur support papier et l'autre sur support informatique, SIG). Par un bref retour analytique, il cherche ensuite à voir ce qui a pu être réalisé (introduction du temps sur la carte, multiples aspects qualitatifs traités, etc.), ce qui s'est avéré irréalisable (représentation exhaustive des effets ou des ambiances sonores), ainsi que les limites des systèmes proposés (en particulier en ce qui concerne la répartition spatiale des phénomènes et l'approche sensible des individus). Sur la base de ces expériences, il esquisse alors une première ébauche de ce que pourrait être un cadre théorique et méthodologique global de la représentation des qualités de l'espace sonore humain. Et enfin, il propose quelques nouvelles pistes de recherche susceptibles de faire avancer l'étude de la cartographie sonore qualitative.

Depuis quelques années, l'interopérabilité des applications est devenue le leitmotiv des développeurs et concepteurs en ingénierie système. Cette importance a donné lieu à d'innombrables travaux de recherche avec chacun une définition particulière plus au moins formelle de l'interopérabilité entre applications. La plupart des approches pour l'interopérabilité existant dans l'entreprise ont pour objectif principal l'ajustement et l'adaptation des types et structures de données nécessaire à la mise en œuvre de collaboration entre entreprises. Dans le domaine des entreprises manufacturières, le produit est une composante centrale. Des travaux scientifiques proposent des solutions pour la prise en compte des systèmes d'information issus des produits, tout au long de leur cycle de vie. Mais ces informations sont souvent non corrélées. La gestion des données de produit (PDM) est couramment mise en œuvre pour gérer toute l'information relative aux produits durant tout leur cycle de vie. La modélisation des processus de fabrication et de gestion est largement répandue et appliquée tant aux produits physiques qu'aux services. Cependant, ces modèles sont généralement des "îlots" indépendants ne tenant pas compte de la problématique d'interopérabilité des applications supportant ces modèles. L'objectif de cette thèse est d'étudier cette problématique d'interopérabilité appliquée aux applications utilisées dans l'entreprise manufacturière et de définir un modèle ontologique de la connaissance des entreprises relatives aux produits qu'elles fabriquent, sur la base des données techniques de produits, pour assurer l'interopérabilité des systèmes d'entreprise supports, basés sur un échange d'information centrée sur le produit. Le résultat attendu de ce travail de recherche concerne la formalisation d'une méthodologie d'identification des informations de gestion techniques des produits, sous la forme d'une ontologie, pour l'interopérabilité des applications d'entreprises manufacturières, sur la base des standards existants tels que l'ISO 10303 et l'IEC 62264.

Il s'agit de concevoir et de réaliser une chaîne d'outils pour évaluer des projets de réaménagement de gravières en eau en milieu alluvionnaire qui soit en accord avec les dispositifs prévus par le législateur. Ce dernier est particulièrement sensible aux impacts de la future gravière sur les écoulements d'eau souterrains et superficiels ainsi que sur la modification des paysages. Une réhabilitation réussie des sites après exploitation repose aujourd'hui sur les principes, désormais bien connus, de réaménagement intégré des gravières. Les modèles hydrauliques et hydrodynamiques, couplés à une base de données géographiques de type S.I.G., simulent la réponse de l'aquifère à l'aménagement, mettant ainsi en évidence les paramètres clés à prendre en compte. Les paramètres paysagers, issus de l'écologie du paysage, sont déterminés en utilisant les propriétés topologiques et géométriques des objets. La valeur générale d'une telle composition d'outils nécessite de recourir à une analyse multicritère pour décomposer le système complexe étudié. Il s'agit d'organiser et de hiérarchiser ces critères en tenant compte de leurs relations essentielles. La contribution de chaque critère y est appréciée au moyen d'une pondération effectuée, eu égard à l'impossibilité d'en acquérir une mesure « mathématiquement » précise, au moyen d'une démarche d'expertise contrôlée par une évaluation de la cohérence. Ainsi constituée, cette arborescence sert de support pour évaluer l'adéquation entre la vocation future du plan d'eau telle qu'elle est envisagée par l'aménageur et les potentialités « écologiques » réelles du milieu. Le site d'application se localise en bordure du fleuve Loire, au coeur de la plaine du Forez ( 42-France). Sur ce territoire, deux gestionnaires principaux sont impliqués : d'une part un exploitant de granulats qui a délaissé le lit mineur du fleuve pour le lit majeur, et, d'autre part une association de protection de la nature qui a réhabilité les plans d'eau laissés après exploitation, en s'appuyant sur le savoir-faire de l'exploitant.

L'évolution rapide de la documentation dans l'enseignement secondaire a marqué et complexifié l'organisation des systèmes d'information et les pratiques professionnelles des documentalistes. Des questionnements autour de la professionnalisation du métier, de l'organisation en réseau des systèmes d'information ou encore du choix de la formation à l'information dans le cadre d'une discipline scolaire sont abordés sur le terrain spécifique de l'enseignement agricole par une approche méthodologique croisée.<br />Ces interrogations montrent la nécessité de repenser les liens entre les pratiques et leurs référents théoriques comme susceptibles de constituer un socle scientifique et professionnel commun et un cadre d'analyse constructif. Ainsi les Sciences de l'Information et de la Communication peuvent éclairer les problèmes soulevés au travers de la définition d'un réseau de concepts propres à l'information-documentation et d'une réflexion épistémologique. Cette centration sur les SIC n'exclut pas des apports complémentaires comme ceux de la sociologie du travail ou des Sciences de l'Education sur les questions de professionnalisation, de formation et d'enseignement. L'hypothèse d'une interaction productive entre recherche scientifique et évolution des pratiques professionnelles permet de repenser la place des savoirs et d'envisager une meilleure appréhension et compréhension des phénomènes informationnels en jeu dans l'enseignement secondaire en France.