Tesi sul tema "Echange des données"

Nous discernons deux classes de modèles de programmation parallèles : les modèles à grain fin et ceux à gros grain. Les modèles gros grain disposent d'une multitude de bibliothèques facilitant l'implantation de leurs algorithmes respectifs. Cette thèse s'articule autour de la bibliothèque SSCRAP qui implantait initialement le modèle CGM. Nous l'avons étendu pour supporter les modèles PRO et BSP. Nous avons élaboré et intégré à SSCRAP un modèle d'échange, un modèle de synchronisation et un modèle d'exécution. En vue d'améliorer son rendement sur les architectures à mémoire partagée, nous avons également conçu et implanté une nouvelle interface de communication de bas niveau pour SSCRAP. Les études expérimentales que nous avons menées par la suite ont permis de mettre en évidence le très bon rendement de SSCRAP et d'étendre la preuve de validité aux algorithmes et aux modèles à gros grain
We can distinguish two classes of parallel models: models with fine grain and those with coarse grain. The coarse grain models have a multitude of dedicated libraries facilitating the implementation of their respective algorithms. This thesis focuses on the library SSCRAP which is initially designed for the CGM model. We extended the support of SSCRAP to the model BSP and PRO. Indeed, we proposed and integrated on SSCRAP a new exchange model, a new synchronization model and a new execution model. In order to improve the efficiency of SSCRAP on shared memory architecture, we also designed and implemented a new interface of low level communication. The experimental studies highlight the very good behaviour of SSCRAP and then extend the proof of validity as well to the algorithms as to the coarse grain models

Nous vivons dans un monde d'échange où les erreurs sont partout. Il est donc essentiel de pouvoir vérifier approximativement si on est « proche » ou « loin » de satisfaire une propriété particulière. La motivation est alors de développer des techniques pour s'échanger des données gigantesques mais aussi imparfaites. Le sujet de cette thèse est l'étude de traitements approchés, qui prennent en compte les erreurs, et la comparaison, du point de vue de la complexité, entre traitements exacts et approchés. D'un point de vue théorique, le cœur de l'échange de donnée est la transformation de mots et d'arbres. Cette thèse montre que l'on sait décider l'équivalence approchée des machines à états finis pour une distance particulière, puis étend la décision à un type de transducteurs linéaires d’arbres inspirés par XSLT. Pour ce faire, une méthode d'approximation des instances (mots ou arbres), des automates, et des transducteurs linéaires de ces instances est proposée. Son intérêt majeur est la possibilité de pouvoir relier la distance d'édition avec déplacements entre deux transducteurs à la distance géométrique (la norme L_1) entre leurs représentations. Cette approximation géométrique permet aussi de décider de la consistance approchée d'une instance en temps constant, ie indépendamment de la taille de l'entrée. L’implémentation d’un nouvel outil de visualisation et d’échange de structures est finalement illustrée : les transducteurs pondérés simulent le calcul de certaines distances, et des transductions sont proposées pour la création de cartes d’audience et la visualisation de résultats de requêtes OLAP
We live in a world of exchange where errors are everywhere. Being able to verify approximately if a property is close or far to be satisfied is essential therefore. This leads to develop techniques to exchange huge and imperfect data. The subject of this thesis is the study of approximated processes that are taking errors into account, and of the comparison between exact and approximated processes as far as complexity is concerned. From a theoretical point of view, the heart of data exchange is the transformation of words and trees. This thesis shows that it is possible to decide the approximate equivalence of Finite State Machines for a particular distance, and extends the decision to a type of linear tree transducers inspired by XSLT. To that end, a method to approximate instances (word or tree), languages and transducers of these instances is introduced. Its main interest lies in the possibility of linking the edit distance with moves between two transducers with the geometrical distance (L1 norm) between their embeddings. This geometrical embedding also enables to decide the approximate consistency of an instance in constant time, i. E. Independently from the input size. Finally, the implementation of data exchange is illustrated: weighted transductions are used to simulate computations of distances between languages, and tree transductions are used to build maps of log files and to visualize results of an OLAP query

La récente transformation numérique de l'industrie a entraîné de nombreux avantages, allant de produits de meilleure qualité à une productivité accrue et à des délais de mise sur le marché plus courts. Dans ce monde numérique, les données sont devenues un élément essentiel dans de nombreuses décisions et processus critiques au sein et entre les organisations. L'échange de données est désormais un processus clé pour la communication, la collaboration et l'efficacité des organisations. L'adoption par l'industrie 4.0 de technologies de communication modernes a rendu ces données disponibles et partageables à un rythme plus rapide que nous ne pouvons les consommer ou les suivre. Cette vitesse apporte des défis importants tels que l'interopérabilité des données et la traçabilité des données, deux défis interdépendants auxquels les industriels sont confrontés et doivent comprendre pour adopter la meilleure position pour les relever. D'une part, les problèmes d'interopérabilité des données sont un frein à des innovations et des collaborations plus rapides. Le volume croissant d'échanges de données est associé à un nombre accru de systèmes hétérogènes qui ont besoin de communiquer et de se comprendre. Les normes d'information sont une solution prouvée, mais leur processus de développement long et complexe les empêche de suivre le rythme rapide de l'environnement qu'elles ont besoin de soutenir et d'assurer l'interopérabilité, ce qui ralentit leur adoption. Cette thèse propose une transition de la gestion de projet prédictive à adaptative avec l'utilisation de méthodes Agiles pour raccourcir les itérations de développement et augmenter la vitesse de livraison, augmentant ainsi l'adoption des normes. Alors que les environnements adaptatifs se sont révélés être une solution viable pour aligner les normes sur le rythme rapide de l'innovation de l'industrie, la plupart des solutions de gestion des exigences des projets n'ont pas évolué pour s'adapter à ce changement. Cette thèse introduit également un modèle pour soutenir une meilleure élicitation des exigences lors de l'élaboration des normes avec une traçabilité et une visibilité accrues. D'autre part, les décisions basées sur les données sont exposées à la vitesse à laquelle les données falsifiées peuvent se propager dans les organisations et corrompre ces décisions. Avec un temps moyen pour identifier (MTTI) et un temps moyen pour contenir (MTTC) une telle menace déjà proche de 300 jours, la croissance constante des données produites et échangées ne fera qu'accroître le MTTI et le MTTC. Bien que les signatures numériques aient déjà prouvé leur utilité pour identifier une telle corruption, un cadre formel de traçabilité des données est toujours nécessaire pour suivre l'échange de données sur des réseaux vastes et complexes d'organisations afin d'identifier et de contenir la propagation des données corrompues. Cette thèse analyse les cadres de cybersécurité existants, leurs limites et introduit un nouveau cadre basé sur des normes, sous la forme d'un profil NIST CSF étendu, pour se préparer, atténuer, gérer et suivre les attaques de manipulation de données. Ce cadre est également accompagné de conseils de mise en œuvre pour faciliter son adoption et sa mise en œuvre par les organisations de toutes tailles
The recent digital transformation of the manufacturing world has resulted in numerous benefits, from higher quality products to enhanced productivity and shorter time to market. In this digital world, data has become a critical element in many critical decisions and processes within and across organizations. Data exchange is now a key process for the organizations' communication, collaboration, and efficiency. Industry 4.0 adoption of modern communication technologies has made this data available and shareable at a quicker rate than we can consume or track it. This speed brings significant challenges such as data interoperability and data traceability, two interdependent challenges that manufacturers face and must understand to adopt the best position to address them. On one hand, data interoperability challenges delay faster innovation and collaboration. The growing volume of data exchange is associated with an increased number of heterogeneous systems that need to communicate with and understand each other. Information standards are a proven solution, yet their long and complex development process impedes them from keeping up with the fast-paced environment they need to support and provide interoperability for, slowing down their adoption. This thesis proposes a transition from predictive to adaptive project management with the use of Agile methods to shorten the development iterations and increase the delivery velocity, increasing standards adoption. While adaptive environments have shown to be a viable solution to align standards with the fast pace of industry innovation, most project requirements management solutions have not evolved to accommodate this change. This thesis also introduces a model to support better requirement elicitation during standards development with increased traceability and visibility. On the other hand, data-driven decisions are exposed to the speed at which tampered data can propagate through organizations and corrupt these decisions. With the mean time to identify (MTTI) and mean time to contain (MTTC) such a threat already close to 300 days, the constant growth of data produced and exchanged will only push the MTTI and MTTC upwards. While digital signatures have already proven their use in identifying such corruption, there is still a need for formal data traceability framework to track data exchange across large and complex networks of organizations to identify and contain the propagation of corrupted data. This thesis analyses existing cybersecurity frameworks, their limitations, and introduces a new standard-based framework, in the form of an extended NIST CSF profile, to prepare against, mitigate, manage, and track data manipulation attacks. This framework is also accompanied with implementation guidance to facilitate its adoption and implementation by organizations of all sizes

Les travaux présentés portent sur l'intégration de la programmation basée entités des machines-outils à commande numérique (MOCN). Cette programmation émergente s'appuie sur les concepts véhiculés par le standard STEP-NC et la norme ISO 14649. Quatre axes de recherche sont proposés. Le premier concerne l'évolution de la programmation actuelle vers la programmation basée entités et l'enrichissement du standard STEP-NC. Pour ceci, nous proposons deux contributions principales au standard STEP-NC dans le cadre de notre participation au comité normatif de l'ISO 14649 : l'intégration de stratégies d'usinage à motifs avec pour application l'usinage trochoïdal et le tréflage, et l'élaboration d'un modèle fonctionnel STEP-NC des MOCN. Le deuxième axe se focalise sur l'évolution du système de fabrication pour tirer profit de la programmation basée entités. Nous proposons un concept de système étendu de fabrication intégrée XMIS (eXtended Manufacturing Integrated System) ainsi qu'une déclinaison concrète à travers la CAO étendue et la CN étendue. Au cours du troisième axe, nous étendons l'étude à l''intégration de plusieurs procédés au sein d'une même gamme de fabrication STEP-NC et étudions l'organisation des outils de simulation dans ce contexte multi-process avec la description d'espaces de simulation. Le quatrième axe porte sur la validation et la mise en œuvre des concepts proposés avec le développement de la plate-forme SPAIM (STEP-NC Platform for Advanced and Intelligent Manufacturing) qui intégre la programmation basée entités du modèle à la pièce usinée sur des moyens industriels et montre l'impact multidirectionnel des modifications tout au long de la chaîne numérique.

De nombreux mécanismes de sécurité ont été proposés pour les réseaux fixes et mobiles. Bien que ces mécanismes aient pu répondre à un ensemble d'exigences de sécurité, ils demeurent uniquement efficaces dans un contexte spécifique lié aux hypothèses et aux exigences restrictives qui ont été émises lors de la conception. Dans un premier temps, nous définissons une liste d'exigences en sécurité qui permet d'analyser les solutions de sécurité les plus déployées. Dans un second temps, nous proposons d'étendre le protocole SSL/TLS avec de nouveaux services. SSL/TLS est une solution de sécurité générique et transparente aux applications. Ainsi, il ne couvre pas les besoins spécifiques à certaines classes d'application telles que les applications de paiement sur Internet. Notre propositions d'intégrer le protocole d'échange des clés ISAKMP avec SSL/TLS permet de fournir, entre autres, la protection d'identité des utilisateurs et l'unification des associations de sécurité. Afin d'étendre l'utilisation de SSL/TLS vers les systèmes de paiement sur Internet, nous intégrons un module générique pour la génération d'une preuve de non répudiation dans le protocole SSL/TLS. Par ailleurs, toutes ces propositions restent, cernées par le problème d'interopérabilité avec les anciennes versions de chaque protocole. Ce qui rend la satisfaction de tous les besoins à travers un des protocoles existants irréalisables. Pour cela, nous proposons finalement de concevoir et de valider un nouveau protocole de sécurité qui intègre nativement l'évolution des protocoles de sécurité des échangeset des réseaux d'une manière performante. Nous avons appelé ce protocole SEP (Secure and Extensible Protocol)
Many security mechanisms have been proposed for wired and wireless networks. Although these mechanisms have answered some security requirements, they remain efficient in a specific context related to the assumptions and the restrictive requirements which have been emitted at the time of their design. Firstly, we define a list of security requirements which make it possible to analyze the most deployed security solutions. Secondly, we propose to extend the SSL/TLS protocol with new services. SSL/TLS is a transparent security solution. Thus, security services providedto applications are the same. SSL/TLS does not meet specific needs to some classes of applications such as internet payment applications. We integrate the Internet Security Association and Key Management Protocol (ISAKMP) in SSL/TLS to provide, among others, identity protection and unification of security associations. In order to extend the use of SSL/TLS towards the Internet payment systems, we integrate a generic signature module in SSL/TLS that generate a non repudiation proof over all exchanged data. This module is interoperable with SSL/TLS and TLS Extensions standards. However, all these proposals suffer from the lack of interoperability with their previous versions. This will make it impossible to satisfy all the security needs through one existing protocol. Thus, we propose to design, validate and develop a new security protocol, which natively integrates the evolutions of the security protocols, in a powerful and elegant way. We called this protocol SEP for Secure and Extensible Protocol

Les urgences sanitaires de portée internationale font partie de ces risques que les Etats, pris isolément, ne peuvent gérer seul pour assurer la permanence du bien-être de leur population. Cette thèse explore alors la possibilité de pallier l'insuffisante intégration de la communauté internationale en matière de gestion de ce qui sera considéré comme des risques biologiques, par l'établissement d'un système de gouvernance internationale et globale fondée sur l'échange d'informations. Pour le fonctionnement de ce système, l'information doit être produite mais elle doit également avoir la possibilité juridique d'être échangée. Dans ce contexte, l'échange d'informations se doit d'être organisé de manière à tenir compte des caractères juridiques des informations utiles à la gestion de ces risques. L'étude des conditions de cet échange met alors en évidence le rôle essentiel du droit dans l'organisation des conditions de l'efficience de ces échanges, et dès lors dans le fonctionnement de ce système de gouvernance. Elle en montre aussi les limites
Public health emergencies of international concern are part of those risks that can not be efficiently managed by States on their own to ensure the longstanding well-being of their population. This thesis explores the possibility to supersede the international community's lack of integration for the management of what will be considered as biological risks, by the designing of an international and global governance system based on the exchange of information. For the functionning of this system, information will need to be produced and have the capacity to be exchanged. In this context, information exchanges ought to be organised, in order to take into account the legal specifities of the information involved. The study will thus aim at emphasizing on the essential role of law in the organisation of those exchanges but also on its limitations

Cette thèse porte sur l'analyse des données MOZAIC pour améliorer la connaissance
des ´échanges stratosphère-troposphère (STE) au niveau du cas d'étude ou au niveau global saisonnier. L'utilisation de techniques lagrangiennes et du modèle meso-échelle MESO-NHmet en évidence l'importance des STE sur la distribution chimique de l'UTLS dans un casde cyclogenèse d'été. Une ´étude lagrangienne d'un second cas d'étude montre que les zonesfrontales des moyennes latitudes peuvent être responsables d'une stratification en couchesde masses d'air issues de différents courants cohérents. Enfin, l'impact des STE sur lesdistributions saisonnières d'ozone et du CO aux moyennes latitudes dans la zone UTLS estprésente. Un nouveau repère dynamique permet un replacement cohérent des observationsle long des dorsales et des thalwegs d'altitude. La formation d'une couche de mélange audessus de la tropopause, et les variations chimiques saisonnières sont présentées. Une analyse lagrangienne des variations zonales est tentée.

Cette thèse porte sur l'analyse des données MOZAIC pour améliorer la connaissance des ´échanges stratosphère-troposphère (STE) au niveau du cas d'étude ou au niveau global saisonnier. L'utilisation de techniques lagrangiennes et du modèle meso-échelle MESO-NHmet en évidence l'importance des STE sur la distribution chimique de l'UTLS dans un casde cyclogenèse d'été. Une ´étude lagrangienne d'un second cas d'étude montre que les zonesfrontales des moyennes latitudes peuvent être responsables d'une stratification en couchesde masses d'air issues de différents courants cohérents. Enfin, l'impact des STE sur lesdistributions saisonnières d'ozone et du CO aux moyennes latitudes dans la zone UTLS estprésente. Un nouveau repère dynamique permet un replacement cohérent des observationsle long des dorsales et des thalwegs d'altitude. La formation d'une couche de mélange audessus de la tropopause, et les variations chimiques saisonnières sont présentées. Une analyse lagrangienne des variations zonales est tentée
This thesis aims atMOZAIC data analyses and to improve understanding of Stratosphere-Troposphere Exchange (STE) on case study scale or global scale. The use of Lagrangiantechniques and the mesoscale model MESO-NH underlines importance of STE into a summertimecyclogenesis case study. It characterizes a deep stratospheric intrusion and theimpact of convective mixing across the tropopause on chemical distribution into the UTLSregion. A lagrangian analysis of a second case study shows that frontal zones of midlatitudesare able to layered stratify air masses processed by coherent airstreams. Finally, a studyshows the impact of STE on seasonal distribution of ozone and CO at midlatitudes UTLSregion. A dynamical referential, link to the vertical structure of baroclinic waves, allows acoherent reshape of observations along upper troughs and upper ridges. The mixing layerformation over the tropopause and seasonal chemical variations are shown. A lagrangiananalyses of zonal variations is tented

Le theme de ce travail est l'etablissemnt du bilan d'energie a l'interface sol-atmosphere en zone tropicale a l'aide de donnees meteorologiques conventionnelles. Etablir le bilan d'energie en un site revient a estimer les divers flux d'energie en ce point: flux de chaleur sensible et de chaleur latente, rayonnement net et flux de chaleur dans le sol. La necessite d'estimer ce bilan en routine a l'echelle journaliere (pour l'agrometeorologie, par exemple) impose l'utilisation de donnees de routine du reseau conventionnel (tel le reseau asecna en afrique de l'ouest) en entree d'un modele numerique de surface approprie. Le but de ce travail est de justifier cette demarche. Tout d'abord, on presente des donnees micrometeorologiques recueillies dans une zone de savane de l'afrique de l'ouest. Il s'agit de mesures de precision des donnees aerologiques primaires (temperature et humidite de l'air, vent) et des flux d'energie au sol. On montre ensuite comment ces donnees ont servi a qualifier des modeles de surface, les premieres comme donnees d'entree, les secondes comme etalon de comparaison modele/mesures. Ces tests ont ete conduits dans diverses conditions meteorologiques, d'humidite du sol et de couvert vegetal. Ils ont permis de qualifier un modele de surface simple en vue de l'etablissement du bilan: calculs et mesures concordent avec des ecarts de 10 a 20% en moyenne journaliere. Enfin, les donnees de routine d'une station asecna ont ete qualifiees pour les calculs de bilan: les tests ont montre qu'elles pouvaient etre utilisees en entree du modele precedemment valide sans alterer la precision des estimations des moyennes journalieres des flux de facon sensible, ce qui permet de conclure que le bilan energetique local moyen de la surface peut etre etabli ainsi en routine

La gestion de l’information technique et administrative produite durant le cycle de vie d’un projet de construction est envisageable via une description structurée des données. Cette description destinée à l’utilisateur mais aussi à l’ordinateur peut s’exprimer selon un langage (tel EXPRESS) qui devrait permettre l’inter-opérabilité des systèmes informatiques qui la mettent en œuvre. Ces derniers manipulent ainsi une structure unique et non ambiguë de données, assurant de la sorte l’intégrité et la cohérence de l’information produite et manipulée. La description de cette structure est communément appelée « Modèle de Données ». Le document est le support favori de description d’un projet d’ingénierie. Il constitue la base conceptuelle et réglementaire de tout processus industriel. L’analyse des documents produits durant le cycle de vie d’un produit révèle l’importance de leur cadre descriptif, législatif et juridique, comme en témoigne l’exemple du Cahier des Clauses Techniques Particulières (CCTP). Le CCTP est un des documents essentiels issu des études détaillées d’un projet. Il se distingue notamment par son volume et par la pertinence de son contenu : il définit les conditions particulières d’exécution des ouvrages et complète leur description faite au travers des plans techniques. La consultation des entrepreneurs impose la répartition des corps d’état en lots de travaux. Les conséquences essentielles d’une telle démarche concernent la coordination de l’exécution des ouvrages et les responsabilités postérieures à leur achèvement. Tous ces détails et notamment tous ceux portant sur les limites de prestations entre lots doivent être judicieusement traités par le lot en question. Cette thèse se propose de démontrer la possibilité de génération de pièces écrites via un modèle de données supportant la description formelle, physique et performancielle d’un projet de construction. Il s’agit de proposer une structure logique de document, à partir de laquelle est dérivée la définition type du CCTP de référence (DTD CCTP) en langage SGMI. Les éléments de la DTD sont ensuite instanciés afin de produire la version balisée du CCTP. Une telle mise en œuvre permet entre autres la génération du sommaire, des listes de références ainsi que des liens hypertextes internes et externes au document. Nous proposons par la suite un modèle d’association permettant l’indexation des concepts du modèle de données du bâtiment par des items documentaires du CCTP. C’est au travers des instances de ce modèle qu’est produit le CCTP projet, moyennant tous les contrôles de cohérences internes et externes au document. Cette approche assure une qualité maximale des pièces descriptives d’un projet et contribue à la diminution des risques d’erreurs liés au processus complexe de conception/réalisation/maintenance d’une opération de construction. En guise de conclusion, nous proposons une généralisation de cette approche à tout type de document « projet »
The handling and management of a construction project information through its life cycle require to impose order and structure in the data description. The latter is intended for both project actor and computer use. It is therefore expressed in an appropriate language whose neutral aspect enables the inter-operability and the sharing of computer-based information within an open software infrastructure. This approach improves the communication, relevance and effectiveness of the information flow between the actors. This building structure description is commonly called a « data model ». The document is the traditional support of an enginering project description. It constitutes the conceptual and the regulation basis for any enginering process. The deep analysis of the documents produced within a project life cycle emphasises the importance and the relevance o their legal and specification aspects as indicated by the full specification document « CCTP ». The CCTP is one of the essential documents issued from the detailed design stage. It distinguishes by the volume and the relevancy of its content : it defines the particular conditions for the execution of the works and thus completes their description made through the technical drawings. The consultation of the contractors imposes the decomposition of the construction tasks info work packages. The main consequences of such approach concerns the management and the coordination of the works realization in conjonction with the other work packages. All these details should be rigorously handled. Thus, the participant main worry is to be able to produce at the right moment a detailed full specification compatible with the ones previously generated and reflecting the real description of the construction project, provided by a building data model. This thesis demonstrates th feasibility of the generation of project documents via a date model supporting the physical, formal and performative description of a construction project. It consists of propsing a document logical structure, which is used to derive the Document Type Definition (DTD) of the CCTP according to the SGML language. The DTD elements are instanciated in order to produce a marked version of the CCTP. This approach enables the generation of the contents, the references list and the hypertext links. Moreover, we propose an association model through which building data model concepts are indexed to the documentary items of the marked CCTP. The project applied CCTP is then produced thanks to the instances of the association model in consideration of which the internal and external coherency of the CCTP is achieved. This approach insures a high quality of the full specifications documents of a projects and contributes to diminish the mistakes and errors due to the complexity of the design/construction/maintenance process. We finaly propose a generalisation of this approach to any project document

L'étude de la couche limite atmosphérique (CLA) est indispensable pour différents types d'investigations (études des propriétés atmosphériques, surveillance de la pollution, études environnementales). Cette thèse est consacrée à l'étude des propriétés atmosphériques dans la CLA, la turbulence de petite échelle et les précipitations, à partir du radar CURIE. Les données de CURIE, en ciel clair dont le vent, ont été analysées et comparées avec d'autres instruments de télédétection sur le site de SIRTA (radar UHF, Sodar et Lidar). Les résultats ont montré que CURIE est un instrument adapté à l'étude de la CLA jusqu'à 700m d'altitude. D'autres paramètres comme la turbulence d'indice Cn², l'inversion radiative matinale et l'entraînement sommital associé peuvent être estimés. En cas de précipitation, des comparaisons ont été effectuées avec un disdromètre et ont montré que CURIE dans les très basses couches permet l'étude des précipitations. Un cas de précipitation de neige a été également étudié. Des méthodes de représentations spectrales et une méthode de séparation du signal provenant de la turbulence en présence de précipitation ont été développées qui ouvrent une piste de recherche, utilisant le radar CURIE pour l'analyse des mouvements turbulents en présence de précipitation.

Résumé

Le cadre théorique de la contingence structurelle associe généralement « contexte, structure et performance » (Burns et Stalker, 1961; Woodward, 1965; Lawrence et Lorsch, 1967 ;Mintzberg, 1979).Le besoin de tester cette théorie dans l’environnement d’un pays sous développé (PSD) nous a conduit, dans cette recherche, à l’utilisation d’un cadre réduit basé uniquement sur des liens entre la technologie (remplacée par TI) et la structure (Galbraith, 1972 ;Lacrampe, 1974 ;Leifer, 1988).

Notre cadre théorique s’appuie sur les approches managériales, économiques et organisationnelles des TI et de l’EDI (Leavitt, 1968 ;Scott Morton, 1991). Il utilise la théorie contingente de la gestion comptable (Otley, 1980; Chapman, 1997) et des systèmes d’information comptable AIS (Sutton, 1995; Maudlin et Ruchala, 1999; Baldwin et alii, 2000; Dunk, 2001) comme domaine d’opérationnalisation (système d’information fonctionnel).

\
Doctorat en Sciences économiques et de gestion
info:eu-repo/semantics/nonPublished

La tendance contemporaine vers plus de transparence dans la vie des affaires illustre une désaffection générale pour toute forme de confidentialité. Toutefois, cette dernière bénéficie de traductions juridiques dont les sources lui confèrent une indéniable légitimité. Cette observation doit amener à reconnaître l'existence d'un "principe de confidentialité". La rencontre des normes sur la prévention de la criminalité financière avec le principe de confidentialité est source d'insécurité juridique, non seulement pour les professionnels assujettis aux obligations de lutte anti-blanchiment et contre le financement du terrorisme, mais également pour tous les individus dont les données son traitées dans ce cadre. Ces deux blocs de normes aux logiques contradictoires tendant pourtant vers des objectifs communs : le respect des droits fondamentaux. Néanmoins, les excès liés à l'utilisation potentiellement illicite des outils juridiques offerts par l'un, et les défauts des dispositions constituant l'autre, font obstacle à l'application efficace et mesurée du droit. Cette étude se propose d'analyser ces principes antagonistes pour mieux envisager leur équilibre latent au moyen de solutions préservant leurs intérêts propres et concourant à l'amélioration de la sécurité juridique. Dans cette optique, l'exercice de droit comparé permet de parfaire l'interprétation des obligations de vigilance tout en plaidant la réhabilitation du principe de confidentialité. Il témoigne de l'émergence d'un véritable "droit du blanchiment", et en particulier de son volet préventif qui occupe désormais une place prépondérante dans le domaine de la régulation bancaire et financière
The recent trend towards transaprency in business highlights a more global disenchantment with the concept of secrecy. The concept of secrecy benefits from various legal expressions whose origins give it as undisputable legitimacy. This observation leads us to recognise the existence of a "Principle of confidentiality". The clash betxeen the rules of Financial Crime prevention and this principle of confidentiality is causing legal uncertainty not only for professional subject to Anti-money laundering and counter-terrorism financing regulations but also gor persons whose data is being processed. These two sets of conflicting rules nevertheless share a common goal, namely to ensure respect for fundamental rights. Notwithstanding this, both the risk of abuse of legal instruments offered by one set for illegitimate purposes and the shortcomings attached to the other set potentially hinder the efficient and reasonable use of Law. This study aims at analysing antagonistic principles to reach a certain balance by applying solutions which preserve their respective interests and contribute to legal certainty. In this regard, the comparative law analysis helps better interpret customer due diligence measures whilst rehabilitating the arguments in favour of the principle of confidentiality. This shows the development of e genuine AML/CFT Law and in particular its preventive aspects that form a major part of the Banking and Financial Regulations

Un des buts actuels de l'informatique est de tendre vers le bureau sans papiers. Une de ces branches appelee edi (echange de donnees informatise) est normalise au sein des nations-unies sous le nom de edifact. Les donnees sont echangees a l'interieur de messages. La norme fournit un langage de description de ces messages. Nous avons pu constater en interrogeant le monde industriel et commercial que l'echange d'informations commerciales sous une forme normalisee etait un besoin des industries et administrations, mais il n'existe pas a ce jour de systemes simples et universels permettant de repondre a ce besoin. Notre propos est la conception d'un systeme de communication base sur edifact. Ce systeme comprend deux types de machines edifact: une station utilisateur et un centre de traitement, et utilise des reseaux de communication. La partie communication, ouverte, necessite la definition d'un reseau virtuel. Nous proposons sur ce reseau virtuel un protocole de communication multi-trafic. La station utilisateur doit etre conviviale (facilite d'utilisation, reconfiguration du message en fonction des donnees utilisees), capable de comprendre et d'integrer simplement tous les types de message. Pour cela nous decrivons un sur ensemble au langage de description des documents permettant d'integrer ces contraintes. Le centre de traitement sert de centre de communication et de serveur d'informations. Toute information circulant dans le systeme est sous forme edifact. Pour eviter des problemes de transformation nous avons defini une base d'informations et ses interrogations en edifact

XML est devenu le format standard d’échange de données. Nous souhaitons construire un environnement multi-système où des systèmes locaux travaillent en harmonie avec un système global, qui est une évolution conservatrice des systèmes locaux. Dans cet environnement, l’échange de données se fait dans les deux sens. Pour y parvenir nous avons besoin d’un mapping entre les schémas des systèmes. Le but du mapping est d’assurer l’évolution des schémas et de guider l’adaptation des documents entre les schémas concernés. Nous proposons des outils pour faciliter l’évolution de base de données XML. Ces outils permettent de : (i) calculer un mapping entre le schéma global et les schémas locaux, et d’adapter les documents ; (ii) calculer les contraintes d’intégrité du système global à partir de celles des systèmes locaux ; (iii) comparer les schémas de deux systèmes pour pouvoir remplacer un système par celui qui le contient ; (iv) corriger un nouveau document qui est invalide par rapport au schéma d’un système, afin de l’ajouter au système. Des expériences ont été menées sur des données synthétiques et réelles pour montrer l’efficacité de nos méthodes
XML has become the de facto format for data exchange. We aim at establishing a multi-system environment where some local original systems work in harmony with a global integrated system, which is a conservative evolution of local ones. Data exchange is possible in both directions, allowing activities on both levels. For this purpose, we need schema mapping whose is to ensure schema evolution, and to guide the construction of a document translator, allowing automatic data adaptation wrt type evolution. We propose a set of tools to help dealing with XML database evolution. These tools are used : (i) to compute a mapping capable of obtaining a global schema which is a conservative extension of original local schemas, and to adapt XML documents ; (ii) to compute the set of integrity constraints for the global system on the basis of the local ones ; (iii) to compare XML types of two systems in order to replace a system by another one ; (iv) to correct a new document with respect to an XML schema. Experimental results are discussed, showing the efficiency of our methods in many situations

Les circuits integres d'aujourd'hui sont fabriques en utilisant des technologies submicroniques, ce qui permet de realiser un systeme entier sur une seule puce de silicium. On a alors assiste a la naissance du concept de design-reuse qui, par reutilisation des blocs fonctionnels externes, offre aux concepteurs des solutions pour atteindre le systeme-sur-puce. Ces blocs sont aussi appeles composants virtuels (vc) ou proprietes intellectuelles (ip). Ce nouveau concept induit, beaucoup de problemes nouveaux. Le tout premier probleme rencontre par un integrateur d'ip, est l'absence de normes et d'informations sur les ips. Pour connaitre les produits existants, il doit disposer d'un indice lui permettant de demarrer sa recherche d'ip. Le travail de cette these se situe dans ce contexte et a contribue a resoudre ce probleme. Dans un premier temps, un format standard de description recapitulative d'ip (isdf) a ete elabore pour decrire, de facon concise, les caracteristiques principales d'un ip, selon les exigences des integrateurs potentiels d'ip. Ensuite, un arbre de taxonomie (classification) a ete defini pour classer les ips par categorie, selon leur domaine d'application. Des techniques de balisage pour regrouper differentes offres avec la meme fonctionnalite sont presentees. Elles assurent une recherche efficace. L'acces repandu au reseau internet a conduit au developpement d'une base de donnees orientee internet qui incorpore l'isdf, la taxonomie et les balises pour offrir un outil efficace, et permettre l'echange d'informations sur les ips a l'echelle mondiale. L'ecriture de la base de donnees en java a permit sont extension rapide vers un systeme de gestion de catalogue d'ips sur intranet, dont le format et la taxonomie sont parametrables. Ce travail a suivi de pres, et contribue aux directives de la virtual socket interface alliance (vsia), un organisme dont le but est de definir des normes pour le developpement et l'integration d'ips.