Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

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

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

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

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Ce travail de thèse a pour objectif la définition d'une plate-forme logicielle pour l'interprétation d'orchestrations sur un cluster de bus logiciels. Nous proposons une approche qui permet d'offrir une haute disponibilité et une transparence d'utilisation aux usagers. Cette approche est dirigée par des modèles MDA où chaque niveau de modélisation est atteint après enrichissement de notre architecture avec des informations supplémentaires. Chaque enrichissement est défini comme une transformation entre deux niveaux adjacents. Notre premier niveau CIM se présente comme des spécifications formelles écrites en π-calcul polyadique d'ordre supérieur qui fournissent une définition formelle d'une architecture logicielle pour l'interprétation d'orchestration. Tout système distribué bâti sur cette architecture est capable d'interpréter différents types d'orchestrations de manière parallèle. Nos spécifications sont fortement inspirées du modèle classique bus logiciel, il décrit une architecture fortement modulable qui s'adapte au nombre d'orchestrations à traiter et au nombre de clients qui veulent accéder à ces orchestrations. Notre deuxième niveau PIM nous permet de définir un langage que nous avons baptisé π-DSL qui est un langage dédié aux orchestrations. Il introduit la notion de migration d'orchestrations au système de composition d'orchestration EIP défini par Gregor Hohpe. Le langage que nous définissons à ce niveau est dédié au domaine des orchestrations et permet de construire des orchestrations de façon simple et intuitive. Notre troisième niveau PSM nous permet d'enrichir le niveau précèdent en associant les concepts formels aux implantations concrètes. A ce niveau, nous introduisons des frameworks tels que les conteneurs OSGi, l'outil d'intégration de service Apache Camel ou bien le référentiel de code exécutable Apache Archiva. Ces frameworks sont enrichis dans le cadre de notre implantation afin qu'ils soient fidèles aux spécifications établies dans les niveaux supérieurs. Notre quatrième est dernier niveau est le niveau ISM qui présente le contexte d'exécution de l'architecture proposée. Il est obtenu en ajoutant des informations relatives à chaque outil. Nous avons transformé nos spécifications formelles définies en π-calcul d'ordre supérieur vers un réseau d'automates temporisés La définition complète des transformations d'une spécification à base d'EIP est une autre contribution de cette thèse. Ceci nous conduit à réaliser la transformation de notre spécification π-calcul dans le but de tendre vers une implémentation. Nous nous sommes intéressés à 2 types de propriétés liées à notre architecture : la transparence de localisation, la transparence d'échelle. Ces propriétés sont établies en utilisant notre réseau d'automates temporisés et avec l'emploi d'un outil reconnu dans le monde de la preuve par model-checking, l'outil UppAal. Ainsi, nous validons la possibilité d'établir des propriétés liées à la mobilité de code via un réseau d'automates. Dans le cadre de notre implantation, nous avons adapté les frameworks définis dans le cadre de notre PSM afin qu'ils respectent la modélisation formelle réalisée dans la première partie de cette thèse. Nous proposons aussi des outils en vue de l'édition. Ces outils couvrent tout le cycle de vie de l'architecture proposée. Notre framework d'interprétation apporte les transparences décrites dans nos modèles auxquelles s'ajoutent de nouvelles propriétés de transparences provenant de nos choix de réalisation. Pour mesurer le coût de la migration sur les orchestrations durant l'évaluation de notre framework nous utilisons SoapUI comme outil de mesure. Pour réduire au maximum les effets des perturbations sur le code source des différentes orchestrations, nous avons développé nos propres outils de mesure. Nos tests portent sur un comparateur de prix car il représente un scénario classique de benchmarking utilisé par d'autres frameworks d'orchestrations / This thesis aims to define a software platform for the interpretation of orchestrations on a cluster of ESBs. We propose an approach to provide high availability and transparency to users. This approach is model driven, where each modeling level is reached after enrichment of our architecture with additional information. Each enrichment is defined as a transformation between two adjacent levels. Our first level (CIM) is written as formal specifications in polyadic higher-order π-calculus that provide a formal definition of the software architecture that is used for the interpretation of orchestration. Any distributed system built on this architecture is able to interpret different types of orchestrations in parallel. Our specifications are based in traditional software model bus, it describes a highly scalable architecture that adapts to the count of orchestrations to be treated and the count of customers who want to access these orchestrations. Thus, location transparency, transparency of scale or the access transparency are enhanced through the specification of π-calculus terms. Our second level (PIM) allows us to define a language that we call π-DSL, this is a language dedicated to the orchestrations. It introduces the concept of migration of orchestrations system build on orchestration based on EIP composition defined by Gregor Hohpe. At this level, we define this language dedicated to the domain of orchestrations and helps build orchestrations in a simple and intuitive way. Our third level (PSM) enables us to enrich the previous level combining formal concepts to practical implementations. At this level, we introduce frameworks such as OSGi containers, the integration of Apache Camel Service or the Apache Archiva tool as repository of executable code. These frameworks are enhanced as part of our transformation, so they are compatible to the specifications laid down in the upper levels. The fourth and the last level (ISM) provides the executions context of the proposed architecture. It is obtained by adding information about each tool. This level represents the culmination of the MDA that we adopt in the context of our approach. We turned our formal specifications defined in higher order π-calculus to a network of timed automata. The definition of the complete transformation of an EIP based specification is another contribution of this thesis. Indeed, in order to automate our approach, we focused on the specification of the platform but also in the interpretation tools. This leads us to realize the transformation of our π-calculus specification in order to move towards an implementation. We are interested in two types of architecture related to our properties : Location transparency; Scale transparency. These properties are established using our network of timed automata and the use of a globally recognized proof using UppAal model-checking tool. Thus, we validate the feasibility of proofing the properties related to the mobility of code via a network of automata. As part of our implementation, we have adapted defined frameworks in our ISM in order to respect the formal modeling defined in the first part of this thesis. We also offer tools for editing, processing and the interpretation of orchestration in a distributed heterogeneous environment. These tools cover the entire life cycle of the proposed architecture. Our interpretation framework provides transparencies described in our models plus new properties transparencies from our implementation choices. To measure the cost of the migration of orchestrations during the evaluation of our framework, we use SoapUI as a measurement tool that interfaces with orchestrations by a web services interface. To minimize the effects of disturbances on the source code of different orchestrations, we have developed our own measurement tools

À la suite de la structuration de la politique de l’État russe envers ses émigrés, ainsi que d’une vague de protestation en Russie à la fin de l’année 2011, a émergé une nouvelle communauté politique russe en France. Celle-ci s’est progressivement construite autour des discours et des activités politiques des migrants russes en direction de leur pays d'origine. Les motivations de ces migrants sont à rechercher dans leurs sentiments d’appartenance à la Russie. Deux figures idéal-typiques clés se sont révélées au cours de notre recherche : d'une part, le « compatriote », défini par les autorités russes qui prônent l'unité de leurs ressortissants disséminés à travers le monde et en appellent à dépasser les clivages du passé et, d'autre part, l’ « expatriote », qui refuse d'être représenté par l'État russe et rejette la définition « officielle » de ses sentiments d'appartenance ; d'un côté donc, le compatriote, retrouvant la fierté d'être et de se dire Russe ; de l'autre, l'expatriote, traversé par le sentiment d'être Russe malgré lui et de devoir assumer, en la transformant, cette condition. Bien qu'ayant des conceptions fort différentes, et souvent contradictoires, de ce que devrait être la Russie, le compatriote et l'expatriote ne peuvent être opposés de manière binaire dans la mesure où ils ne cessent d'interagir et échangent même parfois leurs positions respectives. Le lieu de ces interactions, c'est la communauté politique russe en tant qu'arène de discours et de pratiques politiques en recomposition permanente. / Following the structuring of the Russian State policy towards its emigrants and a wave of protest in Russia at the end of 2011, a Russian political community emerged in France. It was progressively constructed through discourses and political activities of Russian immigrants towards their country of origin. The motivations of these migrants are to be found in their sentiments of belonging to Russia. Two ideal-typical figures have been revealed throughout the research process: the “compatriot”, defined by the Russian authorities that preach for the unity of Russian people disseminated around the world and call them to go beyond the divisions of the past, and the “expatriot” who refuses to be represented by the Russian State and rejects the “official” definition of his sense of belonging; on the one hand, there is the compatriot who retrieves the pride to be and to call himself Russian; on the other hand, there is the expatriot who feels Russian despite himself and has to assume this condition while transforming it. Even if their conceptions of what Russia should be are really different and often contradictory, the compatriot and the expatriot could not be opposed in binary terms, as they do not stop interacting and sometimes even exchange their respective positions. The location of these interactions is the Russian political community qua an arena of discourses and political practices in permanent reconstruction.

Les systèmes écologiques sont complexes car composés d'une multitude d'éléments en interaction. Ces interactions, entre espèces par exemple, forment des réseaux qui présentent des propriétés structurelles déterminantes pour la réponse du système écologique entier aux perturbations.Pour mieux identifier cette réponse, il est donc important de cartographier les interactions présentes dans les communautés écologiques et de comprendre leurs variations dans le temps et l'espace.Dans ce travail, nous avons utilisé les communautés de plantes comme systèmes écologiques modèles afin (i) d'identifier à partir de patrons spatiaux certains motifs présents dans les réseaux d'interaction écologiques (les boucles de rétroaction) et (ii) de cartographier les réseaux d'interactions (tels que mesurés par les associations spatiales entre plantes)le long de gradients de stress. Pour ce faire, nous avons utilisé deux jeux de données documentant des communautés de plantes de clairières subalpines (Etats-Unis) et méditerranéennes (La Crau, France). Nos résultats montrent que les boucles de rétroaction peuvent être inferées à partir des patrons spatiaux présents dans les communautés de plantes, permettant ainsi d'identifier des communautés pouvant répondre de manière abrupte aux perturbations. Les interactions entre plantes (déduites de leurs associations spatiales) dépendent fortement du stress appliqué à la communauté, et présentent une résilience faible aux évènements de perturbation.Ce travail montre que les interactions entre plantes peuvent être cartographiées in situ à partir des associations spatiales. Il ouvre la voie vers une meilleure compréhension et capacité d'anticipation de la réponse des communautés écologiques face aux perturbations. / Ecological systems are not simple but composed of many different elements(species, for example) interacting with each other. These networks ofinteractions exhibit structural properties that determine ecological systems’ability to absorb and recover from perturbations. Mappinginteractions along with their changes in time and space is therefore key tounderstand and predict empirical communities' response to global changes.In this thesis, we used plant communities as model systems (i) to explore howspatial patterns may help identify feedbacks loops which make communities morefragile to upcoming changes and (ii) to map species interactions in empiricalcommunities and describe how they change along stress gradients and recover fromperturbations. To do so, we used two datasets documenting plant communities insubalpine meadows (USA) and Mediterranean grasslands (France).Our results show that feedback loops can be inferred to some extent from thespatial patterns of plant communities and hence help identify communities thatmay respond more abruptly to perturbations. Going to a more detailed level ofdescription, plant-plant interactions (as measured through spatial associations)were shown to respond strongly and consistently to stress but exhibited a weakresilience to disturbances.This work shows that plant-plant interactions -- which are linked to the response of the community to perturbations -- can be uncovered using spatial patterns. It paves the way towards a better understanding and a better anticipation capacity of how ecological communities might reorganize when subject to disturbances.

Le patrimoine culturel immatériel (PCI) est la catégorie émergeante créée par l’UNESCO grâce à la convention de 2003. Celle-ci permet de protéger des éléments culturels intangibles, jusqu’alors sous la responsabilité unique des individus et communautés en ayant la charge. Ce moyen innovant mis à leur disposition permet aujourd’hui de percevoir des savoir-faire et pratiques sous un jour nouveau. Dans notre travail de thèse nous posons comme hypothèse principale, qu’une pédagogie, définie comme une pratique, peut être inscrite sur les listes du patrimoine culturel immatériel. Pour étayer cette hypothèse, notre étude s’appuie sur l’exemple de la pédagogie mise en œuvre par J.-F. Oberlin au Ban de la Roche (XVIIIème siècle). Un PCI devant être vivant et renouvelé en permanence, nous examinons par la suite, les réinterprétations successives de ses héritiers, jusqu’à celle développée par la communauté de pratique du musée Oberlin de Waldersbach. Nous nous appuyons plus particulièrement sur son service éducatif (La Maison des Enfants). / Intangible cultural heritage (ICH) is the emerging category created by UNESCO through the 2003 convention which helps protect intangible cultural elements, hitherto under responsibility of individuals and communities in charge. This innovative approach of protecting such elements provides new ways to valorize them. The main hypothesis of this PHD work is that pedagogy, defined as a practice, can be entered in the lists of intangible cultural heritage. To support this hypothesis, our study uses the example of pedagogy implemented by J.-F. Oberlin in Ban de la Roche (XVIII century). An ICH has to be alive and renewed permanently. That is why we examine later its successive reinterpretations made by his heirs until the one developed by the community of practice within the Oberlin museum Waldersbach. We focus particularly on its educational service (La Maison des Enfants).

Dans la foulée des débats entourant la définition et la compréhension de l’Acadie, dans ses dimensions identitaires et territoriales, cette thèse se veut un regard analytique sur l’adéquation entre la fête, le territoire et l’identité. Par l’étude du 4e Congrès mondial acadien tenu en août 2009 dans la Péninsule acadienne au Nouveau-Brunswick, nous cherchons à mieux cerner le rôle géographique de la fête, de même que son importance dans le développement des collectivités minoritaires comme l’Acadie. Ainsi, en étudiant trois terrains différents, soit le terrain géographique tel que dévoilé dans le jeu politique d’échelles performé par les organisateurs, celui des identités telles qu’elles sont exprimées dans le discours des participants et celui de l’action et des performances spatiales des gens et des paysages, nous tentons de démontrer que le CMA est une fête qui témoigne certes de l’ambivalence de l’Acadie et de nos sociétés contemporaines, mais dans un contexte qui se veut essentiellement culturel, unificateur et rassembleur. En ce sens, il se constitue un événement qui permet à la communauté de se vitaliser, de se renouveler et de s’ancrer non plus uniquement dans un passé trouble, mais dans un présent et un avenir riches de possibilités. Sans nécessairement trancher le débat, cette analyse se veut porteuse d’une réflexion positive pour la communauté acadienne, tout en permettant d’élargir le propos théorique et méthodologique sur la fête en géographie.