Les infrastructures d'information géospatiale (IIG) sont des systèmes à la fois techniques, sociaux, organisationnels et économiques. Ces infrastructures visent à démocratiser l'accès et l'utilisation des informations géographiques en vue de les rendre plus utiles à tous les niveaux de la société. Ce faisant, elles promeuvent le renforcement des capacités et des connaissances des individus afin d’accroître leur participation à la prise de décision publique et donc à la gestion du territoire. Cependant, la réalisation des IIG semble très dispendieuse et les résultats, autres que techniques, ne sont pas facilement observables. Par conséquent, il faut disposer des éléments nécessaires pour démontrer, notamment sur les plans social et politique, que les IIG sont beaucoup plus que de simples solutions géomatiques novatrices profitant de la flambée des technologies de l'information. Ces éléments étant encore méconnus, il est difficile de « vendre » ces infrastructures et d’obtenir les ressources requises pour leur réalisation. Le but de cette recherche est de proposer un cadre théorique comportant les critères d’évaluation des IIG et les règles permettant de tenir compte du contexte dans lequel chaque infrastructure est enracinée. Pour l’atteindre, nous avons mené une recherche qualitative, inductive et exploratoire. Elle a été conduite en trois phases. Dans la première, nous avons fait une revue bibliographique détaillée. À la deuxième, un sondage international a été réalisé selon les principes des études Delphi. Dans la troisième, deux études de cas ont été menées, l’une en Suisse et l’autre en Uruguay. Nous avons conclu que l’évaluation des IIG est, en soi, un processus participatif et de construction sociale de ce genre d’infrastructure. Ce processus doit être mené selon les critères associés à deux dimensions majeures : la « dimension qualité » et la « dimension vertu ». Chaque dimension est composée de zones d'évaluation. Nous proposons le paradigme de la valeur sociale d'usage comme le plus important critère d’évaluation. Les résultats obtenus apportent des éléments essentiels permettant d’évaluer et surtout de favoriser le succès des initiatives IIG. L’idée d'un processus évaluatif utile - servant à promouvoir l'apprentissage, la participation citoyenne et la transformation sociale - sous-tend le cadre d’évaluation proposé. / Many countries around the world are constructing Spatial Data Infrastructures (SDI). In order to meet more important SDI expectations and goals, several approaches have been conducted. However, the literature suggests that SDI initiatives do not necessarily meet the major users’ needs and that the most important objectives have not yet been reached. This fact raises a number of questions, mainly the issue as to whether or not the real usefulness of SDI initiatives is limited. If this were the case, SDI projects would not be sufficiently justified and consequently available resources scarcer. Therefore, it becomes necessary to evaluate SDI initiatives. In spite of this, there does not exist, to date, enough valid or widespread criteria based upon which SDI can be evaluated. Hence, it is essential that relevant criteria be defined, through which it is possible to evaluate such approaches, as well as their results. In order to reach this goal, we conducted qualitative research to develop a theoretical framework for the evaluation of SDI projects, through the identification and description of common success criteria across different contextual backgrounds. Our first step was to conceptualize the evaluation and success antecedents through the literature. Secondly, an International Web Survey was conducted applying Delphi study basis. Finally, the core of this research was two SDI case studies. Switzerland and Uruguay were examined in order to gain better understanding of criteria and context. We propose that SDI evaluation should be a process that involves everyone in the social construction of these infrastructures. Thus, SDI can be evaluated based on two major dimensions: "Quality Dimension" and "Virtue Dimension". Each dimension is composed of evaluation zones. We suggest that SDI can become largely valuable projects only if they are useful to society. This two-dimensional evaluation framework should be a good tool to help SDI organizations to estimate and improve the success of SDI initiatives. It allows the definition of conditions under which the SDI objectives may be planned and judged, while respecting the diversity of approaches adopted by each community. The notion of useful assessment, promoting training and social transformation, underlies the theoretical framework proposed.

Nous vivons ces dernières années une prise de conscience généralisée des problématiques de développement durable. Le fait de ne pas en tenir compte peut induire une perte de revenus et avoir des effets néfastes sur l'image de l'entreprise et sa réputation. À cet égard, plusieurs mesures ont été proposées. En particulier, l'implantation des SI verts (systèmes d'information verts) (Green Information Systems [Green IS]) afin de promouvoir le développement durable. Cette émergence des SI verts engendre un ensemble de changements organisationnels qui mènent l'organisation à affronter d'importants défis. Par conséquent, l'objectif principal de notre étude est d'analyser ces défis à partir des perceptions des personnes ayant participé à la réalisation du projet d'implantation de SI verts. Il s'agit en fait d'étudier l'implantation des SI verts approchée comme processus de changement organisationnel (les technochanges verts). Autrement dit, nous essayons de comprendre le changement organisationnel accompagnant ce type de projets technologiques environnementaux. Nous allons aussi nous intéresser aux compétences fondamentales vertes nécessaires à l'implantation des SI verts. C'est en collaborant avec quatre organisations canadiennes du secteur financier que nous avons réalisé une étude qualitative permettant d'explorer un nouveau cadre théorique en application des solutions aux problèmes environnementaux. Ce travail ouvrira une nouvelle perspective pour la recherche et la pratique. Mots clés SI verts, technochanges verts, changement organisationnel, compétences fondamentales vertes.

Au fil des années, la nécessité de tirer profit de données géospatiales, dans tous domaines d’application, a été bien établie et les innovations dans l’utilisation de ces données ne se dénombrent plus. Cependant, les outils géomatiques traditionnels utilisés afin d’exploiter ces données, malgré leur évolution technologique remarquable des dernières années, comportent des lacunes au niveau de la visualisation, de l’interaction et de leur capacité de collaboration qui peuvent limiter la compréhension de l’espace par un public utilisateur non-expert. Pour répondre à ces limites, la technologie de réalité augmentée offre des possibilités intéressantes en ce qui a trait à la visualisation et l’interaction avec les données géospatiales 3D. Malgré les récentes avancées technologiques dans ce domaine, ce type d’application demeure peu exploré, particulièrement en contexte géospatial, ce qui fait en sorte que le développement de systèmes de réalité augmentée reste un processus laborieux et expérimental. Considérant ceci, nous proposons une étude établissant les bases du développement de systèmes interactifs et collaboratifs de réalité augmentée géospatial. Pour cette étude, nous avons choisi de retenir le contexte d’application du design et de l’aménagement urbain, un domaine dans lequel l’interaction et la visualisation de l’espace jouent un rôle central. La première partie de ce travail présente les résultats de la recherche conceptuelle et littéraire menée préalablement au développement de notre prototype. La deuxième partie présente le prototype développé en suivant la méthodologie Unified Process pour le développement logiciel ainsi que les résultats de la phase d’expérimentation du prototype menée par la suite. À la lumière des travaux réalisés, il nous est apparu évident que la réalité augmentée présente un potentiel très intéressant pour répondre aux limites des outils traditionnels mais que la réalisation d’une solution complète nécessiterait l’intervention d’une quantité de ressources qui dépasse le cadre d’un travail de maitrise. / Over the years, the usefulness of geospatial data, in any given field, has been well established and countless innovations in the usage of such data have appeared. However, traditional geomatic tools used for the exploitation of data, despite their remarkable technological evolution in recent years, still contain certain limits concerning 3D visualization, interaction and their collaboration capacity that can limit spatial comprehension by a public of non-expert users. To overcome these limits, augmented reality technologies demonstrate interesting possibilities regarding the interaction and visualization of 3D geospatial data. In spite of the recent technological advances, these types of applications remain poorly explored, especially in geospatial contexts. Consequently, the development of geospatial augmented reality systems remains a laborious and experimental process. Considering this, we propose a study to establish the basis for the development of geospatial interactive and collaborative augmented reality systems. We have chosen to inscribe this study in the urban design and planning context, a domain of application for which the interaction and visualization of space plays a central role. The first part of this study presents the results of our literary and conceptual research, undertaken prior to the development of our prototype. The second part presents the prototype developed following the Unified Process methodology for software development as well as the results of the prototype experimentation step conducted afterwards. This research project completed, it appears obvious to us that augmented reality presents an interesting potential to overcome the limits of traditional geomatic tools. However, the realization of a complete solution would require the intervention of a larger pool of resources that are unavailable in the scope of a master’s project.

Un problème dans la réalisation de projets SOLAP est la difficulté des utilisateurs à exprimer leurs besoins et leurs attentes en début d'analyse de système. Cette technologie étant totalement nouvelle, les utilisateurs ne découvrent tout son potentiel qu'après une certaine période d'utilisation et c'est à ce moment que de nouveaux besoins surgissent. Nos travaux ont donc pour objectif principal de faciliter l'analyse en proposant un environnement de découverte des besoins des utilisateurs. Pour cela, nous proposons le concept de maquettage d'apprentissage pour accélérer l'apprentissage de la solution par les utilisateurs et pour leur suggérer de nouvelles possibilités. Cela leur permet de rapidement définir leurs besoins généraux et de mieux concevoir et exprimer de nouveaux besoins plus détaillés. Nous élaborons aussi des scénarios pour intégrer le maquettage dans un processus de développement. Puis, nous concevons un outil de maquettage basé sur des caractéristiques du maquettage d'application SOLAP identifiées dans notre recherche.

Le Haut Commissariat des Nations Unies pour les Réfugiés (HCR) publie chaque année des statistiques alarmantes quant à l'augmentation du nombre de personnes déplacées dans le monde en raison de conflits. Des millions d'individus se retrouvent dans des installations pour réfugiés qui s'étendent sur de vastes espaces et perdurent dans le temps. Le choix rapide d'un emplacement le plus optimal possible s'avère donc indispensable pour l'établissement d'un camp viable. Les systèmes d'infirmations géographiques (SIG), en tant qu'outil d'aide à la décision en matière de sélection de site, peuvent apporter une grande contribution en ce sens. Le présent mémoire présente une recherche exploratoire de l'état des SIG dans le secteur humanitaire, plus précisément dans le cadre de la désignation des sites pour l'implantation de quartiers provisoires pour des populations délocalisées. Premièrement, afin de prendre connaissance des besoins des experts dans le domaine, un inventaire et une analyse des critères de sélection est effectuée. Dans un second temps, une description des logiques de sélection employées donne lieu à une meilleure compréhension des méthodes de travail dans lesquels s'insèrent les critères relevés. Cette stratégie permet d'évaluer la potentielle utilité et faisabilité technique des SIG en réponse aux exigences des travailleurs du milieu. Les possibles raisons de la sous-utilisation des SIG pour la détermination de zones d'hébergement temporaires sont ensuite discutées, dans le but de fournir des pistes de réflexion à de futures recherches visant une optimisation de l'emploi des SIG en faisant face aux impératifs du secteur humanitaire.

Face à l'évolution incessante des systèmes d'informations et de leur complexité croissante, l'enjeu, sans nul doute le plus important dans les années à venir, est de construire le « parfait » système d'informations ou du moins maintenir un système d'informations cohérent, compréhensible, non impossible à gérer et au sein duquel les labyrinthes ne conduisent pas à des impasses ou nulle part. Longtemps cantonnées dans une vision purement informatique, les organisations ne peuvent se passer d'une approche qui englobe aussi bien le monde des métiers que celui de l'informatique. Adopter une vision par processus métier, au lieu de celle par projet, par application ou par besoin isolé, contribuera certainement à instaurer un langage commun à travers lequel les responsables métiers et les techniciens de l'information communiquent et font correspondre leurs perceptions globales de la réalité opérationnelle de l'entreprise et ses conséquences sur les visions organisationnelle et informationnelle dont ils ont respectivement la charge. Cependant, la prolifération des méthodes et des outils de modélisation et leur complexité ne facilitent guère cette unification des vues. Dans ce travail, nous nous sommes intéressés aux processus métier et à leur modélisation. Le but de cette étude est de présenter un échantillon des méthodes et des outils disponibles sur le marché et traitant de la modélisation des processus métier, et de s'en inspirer afin de proposer les principes d'une nouvelle méthode qui soit simple, facile à utiliser et surtout applicable dans son intégralité. Cet objectif de simplicité, de facilité et d'intégralité émane principalement du constat que les méthodes actuelles sont trop complexes pour l'usager, soit par le langage utilisé, souvent sophistiqué ou trop technique, soit par leur recherche d'universalité (être applicables à tous les cas et à toutes les organisations). Ensuite, nous avons appliqué la méthode, proposée, à un cas réel afin de nous permettre de détecter les points forts, les points faibles ainsi que la perception des acteurs qui ont participé à l'application de la méthode. Un bilan sur les apports de la méthode proposée ainsi que ses limites et ses perspectives est fourni en conclusion.

Résumé: Les propriétés que l'on souhaite exprimer sur les applications système d'information ne peuvent se restreindre aux propriétés statiques, dites propriétés d'invariance, qui portent sur des états du système pris au même moment. En effet, certaines propriétés, dites propriétés dynamiques, peuvent faire référence à l'état passé ou futur du système. Les travaux existants sur la vérification de telles propriétés utilisent généralement le model checking dont l'efficacité pour le domaine des systèmes d'information est plutôt réduite à cause de l'explosion combinatoire de l'espace des états. Aussi, les techniques, fondées sur la preuve, requièrent des connaissances assez avancées en termes de raisonnement mathématique et sont donc difficiles à mettre en œuvre d'autant plus que ces dernières ne sont pas outillées. Pour pallier ces limites, nous proposons dans cette thèse des méthodes de vérification de propriétés dynamiques basées sur la preuve en utilisant la méthode formelle B. Nous nous intéressons principalement aux propriétés d'atteignabilité et de précédence pour lesquelles nous avons défini des méthodes de génération d'obligations de preuve permettant de les prouver. Une propriété d'atteignabilité permet d'exprimer qu'il existe au moins une exécution du système qui permet d'atteindre un état cible à partir d'un état initial donné. Par contre, la propriété de précédence permet de s'assurer qu'un état donné du système est toujours précédé par un autre état. Afin de rendre ces différentes approches opérationnelles, nous avons développé un outil support qui permet de décharger l'utilisateur de la tâche de génération d'obligations de preuve qui peut être longue et fastidieuse.||Abstract: The properties that we would like to express on data-intensive applications cannot be limited to static properties, called invariance properties , that depend on states taken at the same time. Indeed, some properties, called dynamic properties, may refer to the past or the future states of the system. Existing work on the verification of such properties typically use model checking whose effectiveness for data-intensive applications is rather limited due to the combinatorial explosion of the state space. In addition, the techniques, based on the proof, require fairly advanced knowledge and mathematical reasoning especially that they are not always supported by tools. To overcome these limitations, we propose in this thesis proof-based verification approaches that use the B formal method. We are mainly interested in reachability and precedence properties for which we defined formal rules to generate proof obligations that permit to discharge them. A reachability property expresses that there is at least one execution scenario that permits to reach a target state from a given initial state while a precedence property ensures that a given system state is always preceded by another state. To make these different approaches workable, we have developed a support tool that permits to discharge the users from tedious and error-prone tasks.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les délais d'obtention des services attendus. Nous proposons ainsi une approche pour mesurer, a priori, le degré d'interopérabilité (ou de non interopérabilité) entre modèles conceptuels de systèmes d'information d'entreprise, afin de donner à une entreprise la possibilité d'évaluer sa propre capacité à interopérer et donc de prévoir les éventuels problèmes avant la mise en place d'un partenariat. Il s'agit ainsi de définir des indicateurs et des métriques tant quantitatifs que qualitatifs, permettant de qualifier l'interopérabilité entre les systèmes d'entreprises et de proposer des stratégies d'amélioration lorsque le niveau d'interopérabilité est évalué comme insuffisant / Within the context of collaborative enterprise information systems, these works aim to propose an approach for assessing the interoperability and the non-interoperability. In fact, the non-interoperability poses a series of challenging problems to the industrial community. Indeed, the non-interoperability leads to significant costs. The majority of these costs are attributable to the time and resources spent to put in place interfaces for exchanging information. This mainly affects enterprise global performance by increasing the cost and the delay to obtain the expected services. We suggest to address enterprise interoperability measurement in order to allow to any enterprise to fully evaluate, a priori, its own capacity to interoperate, and therefore to anticipate possible problems before a partnership. Our works consist in defining indicators and metrics to quantify and then to qualify the interoperability between the enterprise systems and to propose some improvement strategies when the evaluated interoperability level is not sufficient

Ce mémoire résume 10 ans de travail autour de l'étude des concepts à la base des systèmes de détection d'intrusions. Nous présentons en premier lieu les grandes caractéristiques des systèmes de détection d'intrusions : la source des données à analyser, l'approche de détection retenue, l'architecture de l'outil de détection d'intrusions, la granularité de l'analyse et le comportement en cas de détection. Nous positionnons alors nos travaux relativement à ces caractéristiques. Nous mettons ensuite en en avant parmi nos travaux en cours, ceux qui nous paraissent les plus à même d'apporter des réponses aux problèmes actuels de la détection d'intrusions. Ces travaux présentent une caractéristique commune : ils prennent en compte les caractéristiques du système surveillé : topologie, types de machine, logiciels installés, failles connues, politique de sécurité en vigueur. Nous présentons le travail fait dans le cadre de la thèse de Benjamin Morin autour de la corrélation des alertes issues des outils de détection d'intrusions, puis les travaux réalisés dans le cadre de la thèse de Jacob Zimmermann autour du contrôle d'accès tolérant aux intrusions. Comme il se doit, ce mémoire se conclu par la présentation de quelques perspectives de recherche.