Élaboration d'un banc d'essai pour la comparaison de SGBDR de modèles différents

Ces dernières années, le domaine des bases de données a beaucoup évolué. De nombreux modèles ont émergé de part et d'autre : XML, ODBMS, Map Reduce... Ces modèles ont pour objectif de résoudre les problèmes existants du modèle relationnel. Et pourtant, aucun n'a réussi à détrôner SQL, la variante la plus connue du modèle relationnel. Cela révèle tout d'abord un problème vis-à-vis du modèle relationnel tel qu'implémenté par SQL qui ne s'adapte pas à toutes les applications. Cela révèle aussi l'incapacité des nouveaux modèles à pallier les lacunes de SQL tout en conservant ses forces : son expressivité et sa capacité à assurer l'intégrité des données. Ces caractéristiques restent primordiales pour de nombreuses applications et ne peuvent donc pas être ignorées. Notre intuition est donc qu'il ne faut pas totalement mettre de côté le modèle relationnel de Codd [10], mais plutôt l'améliorer. Étant donné que seul le langage relationnel SQL a su s'imposer, l'évaluation des SGBD relationnels s'est toujours faite en ne considérant que celui-ci. De plus, les bancs d'essai existants considèrent le facteur de l'efficience comme le plus important à évaluer, probablement car c'est le critère qui dépend davantage de l'implémentation du langage faite par les SGBD que des variantes dialectiques du langage. Nous nous sommes donc donnée [i.e. donnés] pour objectif de définir un banc d'essai plus large permettant d'évaluer des modèles relationnels différents en prenant en compte des critères plus variés et tout aussi importants tels que la validité, la disponibilité, la sécurité et l'expressivité. Le banc d'essai ainsi défini a été implémenté pour deux SGBDR basés sur SQL : Oracle et PostgreSQL. L'implémentation pour des SGBDR basés sur des modèles différents étant laissée pour des travaux futurs. Les résultats obtenus nous ont tout d'abord permis de démontrer la pertinence de notre banc d'essai. Malgré le fait que les deux SGBD soient basés sur le langage SQL, le banc d'essai a révélé des différences pour la majorité des critères définis. Ainsi, Oracle se démarque en ce qui concerne la validité des données. Contrairement à PostgreSQL, il ne présente pas de lacunes pouvant compromettre l'intégrité des données. Oracle se démarque aussi en ce qui concerne la sécurité. Les mécanismes présents y sont plus complets et plus flexibles. PostgreSQL, lui, se démarque par rapport à l'expressivité du dialecte SQL utilisé. Des fonctionnalités primordiales sont présentes tandis qu'elles sont absentes sous Oracle. Au niveau de l'efficience, nos résultats révèlent une différence quant à la gestion des optimisations, car selon les fonctionnalités testées, le SGBD le plus efficient est différent. Cependant, aucun des SGBD ne se démarque. Pour finir, en ce qui concerne le critère de disponibilité des données, les résultats sont identiques pour les deux SGBD. Cette identification des lacunes propres à ces deux SGBD nous permettra par la suite de tirer des enseignements de ces problèmes de manière à ne pas les reproduire pour notre nouveau modèle

Évaluation multicritères du site WEB du Ministère des Ressources Humaines et Développement Social du Canada

Le développement d'applications s'appuyant sur le Web a connu ces dernières années une très forte croissance. Dans le secteur public, les sites Web sont devenus l'épine dorsale du système informatique du gouvernement car leur importance est vitale à cause des services essentiels qu'ils offrent aux citoyens et aux entreprises. Le besoin de mettre au point des principes et méthodes spécifiques au développement de ce type d'applications d'une manière générale, et à l'évaluation de leur qualité se fait de plus en plus ressentir dans l'industrie du génie logiciel. En effet, l'évaluation quantitative de la qualité des applications Web (critères et métriques) est très récente. Dans ce mémoire, nous présentons d'abord les deux principales méthodes traditionnelles d'évaluation de la qualité des sites Web du gouvernement du Canada, à savoir l'analyse de la conformité à des normes et directives gouvernementales du Canada et la méthode de calcul de l'indice de maturité des services publics en ligne puis par la suite les principales composantes d'une méthode nouvelle, WebQEM (Web Quality Evaluation Method), à savoir l'arbre de qualité basé sur la norme ISO 9126 et la structure mathématique du modèle WebQEM. Finalement, nous proposons une adaptation de la méthode WebQEM pour son application à l'environnement spécifique du ministère RHDSC, ce qui conduira à une évaluation du niveau de satisfactions de 10 facteurs de qualité du site Web de ce ministère. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Évaluation quantitative, Qualité, Arbre de qualité, WebQEM, ISO 9126

Exploitation des réseaux principaux des voiries d'agglomération : schéma directeur d'exploitation de la route : réseaux de niveau 1. Guide méthodologique

Le guide pour l'exploitation des réseaux de niveau 1 s'inscrit dans le cadre du Schéma Directeur d'Exploitation de la Route ; il est destiné en premier lieu aux gestionnaires de réseaux, mais également aux concepteurs de la politique d'exploitation, qu'ils soient les uns et les autres liés à l'État ou aux collectivités locales. Ce document est un guide méthodologique au sens strict du terme, c'est-à-dire qu'il propose une démarche allant de la définition de la problématique à non pas la conception du projet mais plutôt à la fourniture des éléments de réflexion pour avancer dans les études préalables à cette conception. Les recommandations données dans cet ouvrage sont le fruit d'expériences. Néanmoins sur un certain nombres de points, l'état actuel des connaissances ne permettant pas de se prononcer, le parti a été de porter à connaissance les solutions envisageables sans se prononcer de façon décisive. C'est pourquoi, les éléments proposés ne constituent en aucun cas un cadre rigide mais bien au contraire une base pour mettre en lumière les pièges à éviter et donner quelques conseils. De plus, en fonction du contexte local, des amendements à la démarche générale pourront être proposés . Le domaine traité étant en constante évolution, des éditions ultérieures pourront s'enrichir des expériences et des technologies à venir. Le guide se compose de quatre grandes parties : - la première propose une démarche d'études lors de ce que nous avons appelé la phase préparatoire, - la deuxième développe plutôt les éléments utiles pour des études permettant une bonne conduite de l'opération, - la troisième expose le volet évaluation qui nécessairement recouvre les deux premières parties. Il est complété par une quatrième partie composée des annexes et d'une bibliographie, visant à développer de manière plus fine quelques thèmes que nous avons jugé pertinent d'évoquer mais sans rechercher l'exhaustivité et à fournir une base de documents auxquels le lecteur pourra s'intéresser. Pour pouvoir faire une bonne utilisation de ce document, il est recommandé dans un premier temps de faire une lecture complète pour s'imprégner de la démarche globale suggérée. Il est ensuite conseillé de travailler de manière linéaire partie par partie au moins pour les deux premières, car les différents chapitres de ces parties forment un tout et caractérisent un niveau d'élaboration du projet . Néanmoins certaines informations demandées dans les dossiers sanctionnant la première partie sont fournies dans la seconde . Cependant, comme le niveau de détail demandé dans ces documents est moins important que celui proposé dans le texte de cette seconde partie, il a été jugé préférable de les présenter en une seule fois et de faire référence aux chapitres correspondants pour l'élaboration du contenu des dossiers. D'autre part, le lecteur trouvera quelquefois des redites . Cette approche a été choisie pour éviter des allers-retours trop importants eu égard au fait que le document peut être utilisé de manière ponctuelle quelquefois pour préciser ou appréhender un point particulie

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérication de contrats

With Model Driven Engineering models are the heart of software development. Thesemodels evolve through transformations. In this thesis our interest was the validationfor these model transformations by testing, and more precisely the test oracles. Wepropose two approaches to assist the tester to create these oracles. With the first ap-proach this assistance is passive; we provide the tester with a new oracle function.The test oracles created with this new oracle function control only part of the modelproduced by the transformation under test. We defined the notion of partial verdict,described the situations where having a partial verdict is beneficial for the tester andhow to test a transformation in this context. We developed a tool implementing thisproposal, and ran experiments with it. With the second approach, we provide a moreactive assistance about test oracles’ quality. We study the quality of a set of modeltransformation test oracles. We consider that the quality of a set of oracles is linkedto its ability to detect faults in the transformation under test. We show the limits ofmutation analysis which is used for this purpose, then we propose a new approach thatcorrects part of these drawbacks. We measure the coverage of the output meta-modelby the set of oracles we consider. Our approach does not depend on the language usedfor the transformation under test’s implementation. It also provides the tester withhints on how to improve her oracles. We defined a process to evaluate meta-modelcoverage and qualify test oracles. We developed a tool implementing our approach tovalidate it through experimentations.L'utilisation croissante des composants et des services logiciels dans les différents secteursd'activité (télécommunications, transports, énergie, finance, santé, etc.) exige desmoyens (modèles, méthodes, outils, etc.) rigoureux afin de maîtriser leur production etd'évaluer leur qualité. En particulier, il est crucial de pouvoir garantir leur bon fonctionnementen amont de leur déploiement lors du développement modulaire de systèmes logiciels.Kmelia est un modèle à composants multi-services développé dans le but de construiredes composants logiciels et des assemblages prouvés corrects. Trois objectifs principauxsont visés dans cette thèse. Le premier consiste à enrichir le pouvoir d'expression du modèle Kmelia avec un langage de données afin de satisfaire le double besoin de spécificationet de vérification. Le deuxième vise l'élaboration d'un cadre de développement fondé sur lanotion de contrats multi-niveaux. L'intérêt de tels contrats est de maîtriser la constructionprogressive des systèmes à base de composants et d'automatiser le processus de leur véri-fication. Nous nous focalisons dans cette thèse sur la vérification des contrats fonctionnelsen utilisant la méthode B. Le troisième objectif est l'instrumentation de notre approchedans la plate-forme COSTO/Kmelia. Nous avons implanté un prototype permettant deconnecter COSTO aux différents outils associés à la méthode B. Ce prototype permet deconstruire les machines B à partir des spécifications Kmelia en fonction des propriétés à vé-rifier. Nous montrons que la preuve des spécifications B générées garantit la cohérence desspécifications Kmelia de départ. Les illustrations basées sur l'exemple CoCoME confortentnos propositions

La santé et le droit de l'immigration : une perspective comparative du Canada et de la France

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maître en droit LL.M."Depuis longtemps, les pays s'intéressent aux conditions de santé des immigrants au moment d'autoriser leur entrée au pays pour y demeurer. C'est pourquoi les examens médicaux des demandeurs d'immigration font partie des démarches à suivre pour leur admission. Dans ce mémoire, nous proposons une analyse des implications de la santé dans le champ de l'immigration, en focalisant l'attention sur les situations particulières du Canada et de la France. Nous avons examiné les cadres juridiques des deux pays, ainsi que le contexte européen. Nous avons pris en considération trois approches mettant l'accent sur la santé et la sécurité publiques, des considérations économiques et des considérations d'ordre humanitaire. Nous avons observé que la portée des contrôles médicaux à effectuer varie selon l'orientation adoptée. Dans l'approche économique, l'examen de la condition médicale des requérants est plus exhaustive, et l'information de nature prédictive présente de l'intérêt. Bien que les objectifs des examens médicaux de l'immigration soient eux-mêmes légitimes, le caractère sensible des renseignements de santé, y compris génétiques, dont l'utilisation peut être vue comme une source possible de discrimination ou d'intervention injustifiée dans la vie privée des individus, requiert la plus grande prudence et le respect des principes largement reconnus relatifs au consentement et à la confidentialité. L'exigence d'un lien raisonnable et proportionné entre l'information demandée et les buts de la politique d'immigration doit également être respectée afin d'arriver à un juste équilibre entre la sauvegarde des intérêts considérés légitimes et les droits des personnes et leur dignité.For a long time countries have been interested in the health conditions of immigrants in order to authorize their entry and to remain there. This is why the medical examination of immigration applicants is done as part of the admission requirements. In this thesis, we propose an analysis of the health implications in the immigration field by focusing on the particular situations of Canada and France. We examine the legal framework of the two countries, as weIl as the European context. We identify three approaches concentrated in the public health and safety, the economic considerations and the humanitarian reasons. We observe that the range of medical controls to be carried out varies according to the adopted approach. From the economic perspective, the examination of the medical condition of the applicants is more exhaustive, and the predictive information captures sorne attention. Although the objectives of the medical examination in the immigration field are themselves legitimate, the sensitive nature of the health information, including genetic information, can be seen as a possible source of discrimination or unjustified intervention in private life. This imposes the greatest prudence and respect of the well-known principles of consent and confidentiality. The requirement of a reasonable and proportioned link between the required information and the goals of the immigration policies must also be respected, in order to achieve the right balance between the legitimate interests of countries and the rights of the people

Cadre commercial : un statut, des parcours

Cette étude se situe dans un double contexte de croissance des populations commerciales et du développement des ressources en cadres dans les entreprises. A priori, la promotion interne de commerciaux au statut de cadre, qui est l'occasion de donner à une population souvent encore peu diplômée une possibilité d'évoluer dans l'entreprise, serait attractive pour ces derniers. L'acquisition de ce statut serait, en effet, un symbole de reconnaissance des compétences et un vecteur supplémentaire de motivation au travail. Le présent rapport analyse trois types de population afin de déterminer l'attrait réel du statut cadre chez les commerciaux. Ainsi, pour les employés de la grande distribution, l'évolution vers le cadre « manager » symbolise une progression dans la hiérarchie. L'organisation taylorienne de ce secteur favorise particulièrement l'accès au statut cadre. Il n'en demeure pas moins que de nombreux freins atténuent l'attrait pour ce statut. Dans le secteur des Mutuelles d'Assurances, le statut de cadre n'est pas directement associé au management et relève de l'expertise du technicien d'assurances. Dans ce type de bureaucratie professionnelle les places sont rares et l'implication des employés dépend plus largement de l'adhésion à un système de valeurs et à un collectif de travail que d'une évolution hiérarchique potentielle. Enfin, chez les « commerciaux types », que l'auteur désigne ainsi car ils sont rémunérés à la commission et sont en contact direct avec la clientèle, le statut de cadre commercial " fonctionnel " n'est pas toujours associé à l'idée d'évolution personnelle mais est davantage synonyme d'un changement d'activité, le management étant incompatible avec l'activité commerciale antérieure. La reconversion professionnelle qu'il implique et la position inconfortable qu'il confère ne séduisent ainsi que peu les commerciaux types. Ce rapport souligne l'existence d'une gestion des ressources humaines très différente des employés commerciaux en fonction de l'activité, et d'un attrait limité pour ce statut selon la population étudiée. Il permet de mieux cerner les particularités des populations commerciales et nuance l'effet positif de l'accès au statut de cadre dans la gestion des carrières comme un élément d'implication et de motivation. Le type d'organisation, les caractéristiques socio-démographiques et le type de commercial jouent, en effet, un rôle essentiel dans l'implication de ces populations

Apprivoiser MoReq : pour archiver et conserver l’information

L’objectif de ce document, fondé sur la mise en commun d’expériences multiples, est de fournir à tout responsable d’un projet d’archivage électronique, quel que soit son profil (informaticien, archiviste, responsable métier, juriste…) un guide pratique des questions à poser et des actions à mener pour mettre en place un système cohérent, fiable et assimilable par l’ensemble des acteurs concernés, à l’appui d’une politique d’archivage de l’entreprise

La mesure des dimensions de la qualité des archives électroniques: apport des textes normatifs en matière d'archivage électronique à long terme

Mesurer l'adéquation d'un produit ou d'un service, en regard d'exigences, d'attentes ou de besoins formulés par un individu ou imposés par un système institutionnel, est une activité qui doit être effectuée par la totalité des organisations. Le secteur des archives est également concerné par cette revue de la qualité. S'assurer de l'adéquation des documents d'activité et des archives est en effet la garantie, pour ces derniers, de répondre à des besoins probatoires, d'information, ou encore de recherche. L'irruption des technologies numériques dans l'ensemble des activités humaines rend cette revue périodique de la qualité encore plus indispensable. En effet, dans un milieu en constante évolution, où l'obsolescence des systèmes de lecture des documents électroniques augmente le risque de perte ou de dégradation des archives, s'assurer du niveau adéquat de qualité permet de satisfaire aux exigences. Ainsi, les institutions en charge des archives ont la responsabilité de conserver des documents authentiques, fiables, intègres et exploitables. Le but principal de ce travail est de livrer une réflexion théorique sur l'apport des normes et standards en matière d'archivage électronique à long terme dans la mesure des qualités des archives. A cette fin, trois textes normatifs ont été retenus : le modèle de référence OAIS, le standard d'encodage et de transfert de métadonnées METS, et enfin le dictionnaire de données pour les métadonnées de préservation PREMIS. Les éléments participant à la mesure des dimensions de la qualité des archives identifiés dans les normes et standards cités ci-dessus, ont été explicités et organisés selon un cadre conceptuel issu de la littérature existante sur le sujet. Afin de juger de leur pertinence, ils ont été associés à des variables et à des questions de mesure, puis opérationnalisés. L'utilisation de normes et standards dans le milieu archivistique permet une compréhension entre professionnels, et est un prérequis à l'élaboration collective d'instruments et de méthodologies. Dans ce sens, les normes et standards sont un vecteur d'échange et d'automatisation. Identifier et expliciter des éléments participant à la qualité des archives dans un tel milieu contribuent ainsi grandement à l'automatisation de la mesure et donc à son adoption. L'accent de ce travail a par conséquent été mis sur l'identification d'éléments pouvant permettre une automatisation de la mesure, et par là même offrir un système applicable à de nombreuses organisations. Enfin, il propose des perspectives futures en termes de mesure, englobant d'autres normes archivistiques