L'acceptation et l'utilisation des services Web en industrie se développent de par leursupport au développement d'application distribuées comme compositions d'entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d'une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l'état de l'art, nous développons une approchesymbolique de façon à éviter des problèmes d'explosion d'espace d'état dus à la largeutilisation de données XML dans les services Web. Cette approche est basée sur desmodèles symboliques (STS), l'exécution symbolique de ces modèles et l'utilisationd'un solveur SMT. De plus, nous proposons une approche de bout en bout, quiva de la spécification à l'aide d'un langage normalisé d'orchestration (ABPEL) etde la possible description d'objectifs de tests à la concrétisation et l'exécution enligne de cas de tests symboliques. Un point important est notre transformation demodèle entre ABPEL et les STS qui prend en compte les spécifications sémantiquesd'ABPEL. L'automatisation de notre approche est supportée par un ensemble d'outilsque nous avons développés.

Dans cette thèse, nous nous intéressons à une classe particulière de modèles stochastique de croissance de plantes structure-fonction à laquelle appartient le modèle GreenLab. L'objectif est double. En premier lieu, il s'agit d'étudier les processus stochastiques sous-jacents à l'organogenèse. Un nouveau cadre de travail combinatoire reposant sur l'utilisation de grammaires formelles a été établi dans le but d'étudier la distribution des nombres d'organes ou plus généralement des motifs dans la structure des plantes. Ce travail a abouti à la mise en place d'une méthode symbolique permettant le calcul de distributions associées à l'occurrence de mots dans des textes générés aléatoirement par des L-systèmes stochastiques. La deuxième partie de la thèse se concentre sur l'estimation des paramètres liés au processus de création de biomasse par photosynthèse et de son allocation. Le modèle de plante est alors écrit sous la forme d'un modèle de Markov caché et des méthodes d'inférence bayésienne sont utilisées pour résoudre le problème.

Depuis les années 1860 en Nouvelle-Calédonie, de nombreux textes évoquent les activités de la mine, son organisation, sa structure de commandement, la vie des mineurs et autres activités liées à la mine, les conflits entre les catégories sociales. L'attention se porte notamment sur Jules Garnier et son récit de voyage, sur les nouvelles de Baudoux et sa " Chanson des cobaleurs ", en passant par les romans et nouvelles de Mariotti, Quel langage spécifique est recrée par les textes littéraires ? Comment rendent-ils compte du véritable argot minier qui a existé et existe peut-être encore ? Ils témoignent surtout d'une partie de l'imaginaire de la mine développé en Nouvelle-Calédonie : celui qui s'est élaboré à travers le prisme changeant de l'idéologie coloniale de 1853 à 1953, c'est-à-dire, avec le souci d'écrire une " légende ", ou une "épopée " et de participer à la grandeur de l'empire colonial français. C'est, en effet, pendant cette période que la plupart des termes et des représentations -- notamment celles du pionnier -- qui servent encore à évoquer l'exploitation minière, ont été crées par les auteurs qui ont occupé l'espace littéraire de la Nouvelle-Calédonie. Pour traiter des représentations d'une notion ou d'une réalité dans un texte appartenant à la littérature, il a été nécessaire d'aborder le texte comme une construction. En effet, même les témoignages qui semblent marqués de la plus pure authenticité sont d'abord des faits de discours qu'il faut démonter, dont on décrit les relations dans un modèle qui est toujours dynamique. De même, les évolutions dans les représentations suivent ou anticipent les mutations historiques avec une temporalité qui propre à la vie imaginaire et symbolique des collectivités humaines.

A travers un état de l'art critique, cette thèse explore de nouvelles méthodes d'ingénierie des connaissances pour le développement d'une intelligence collective centrée sur la stimulation, l'expression et le partage de connaissances dans les milieux humains. Parallèlement aux recherches théoriques concernant l'épistémologie des langages symboliques et leurs éventuels dépassements par l'usage de langages allégoriques, les questions autour d'une méthode de conceptualisation à partir d'une cartographie éthico-ontologique sont abordées en référence à des conceptions issues de travaux philosophiques, anthropologiques et des sciences de l'information et de la communication. L'objectif est de poser les bases d'une recherche interdisciplinaire sur la conception d'un modèle générique de design d'information qui s'inspire de l'analogie du jardin pour cultiver des connaissances.

Le but de mes travaux de recherche est de rendre, autant que possible, algorithmique l'étude des modèles composés par des équations différentielles paramétriques. Je me concentre aux algorithmes basés sur les symétries de Lie étendues pour les modèles de taille moyenne (environ vingt variables). Je présente deux méthodes de simplification exacte : la réduction du nombre des variables d'un modèle et sa reparamétrisation pour distinguer le rôle de ses paramètres. Les systèmes simplifiés sont équivalents aux systèmes originaux par des relations implicites ou explicites (suivant la méthode choisie). Ces algorithmes, grâce aux stratégies de calcul utilisées et aux restrictions sur les objets étudiés, ont une complexité temporelle polynomiale en la taille de l'entrée. Ils sont implémentés dans les paquetages MABSys et ExpandedLiePointSymmetry. Les modèles simplifiés issus de ces algorithmes facilitent diverses études comme l'analyse qualitative symbolique ou numérique. J'illustre mes travaux sur une famille de réseaux génétiques avec un seul gène autorégulé en faisant une analyse symbolique complète. Mon exemple principal appartient au domaine des réseaux de régulation génétique mais l'application des méthodes que je présente n'est pas limitée à la biologie intracellulaire.

La réalisation d'un outil d'aide à la conduite de projets, dans le domaine de l'aménagement en eau, nécessite l'étude du transfert de la connaissance, depuis les experts du domaine, vers l'outil informatique. L'architecture informatique de cette station de travail intelligente est présentée, avec comme paradigme, celui des systèmes experts de seconde génération: plusieurs niveaux de connaissance apparaissent qui nécessitent plusieurs formes d'acquisition de la connaissance. Pour l'acquisition de la connaissance profonde, un simulateur de projets est utilisé; et un système télématique, à base d'apprentissage automatique à partir d'exemples, permet de traiter l'acquisition de la connaissance de surface. Cet apprentissage est effectué au moyen de la construction incrémentale d'un réseau de dépendances perçues. Néanmoins, nous n'exigeons pas du système télématique qu'il apprenne seulement à partir d'exemples de problèmes résolus et fournis par les experts. Le système doit aussi être capable de dialoguer avec les experts de façon à faire valider la connaissance apprise. Ceci permet d'éviter l'introduction de certaines données erronées, tout en autorisant les changements de la base de connaissance dus à une éventuelle évolution du domaine (innovation technologique, évolution règlementaire, ...)

Hegel réinscrit l’idée d’autonomie kantienne au sein d’une totalité organisée par des médiations qui constituent le sujet et lui livrent un contenu normatif venant mettre en forme sa pratique et lui assigner sa signification et sa place au sein du processus de reproduction de la société. La philosophie substitue à la morale abstraite une éthicité concrète (Sittlichkeit) objectivée au sein de médiation institutionnelle (l’esprit objectif). Cette conception incarnée de la moralité, exprimée par Hegel dans la Philosophie du droit sera l’objet d’une critique sévère par le marxisme au nom de l’émancipation de la puissance instituante de la société civile et des sujets, si bien que bon nombre d’interprètes contemporains de Marx le présentent comme un individualiste, un naturaliste et un économiciste. La théorie critique contemporaine, chez Axel Honneth, s’est-elle aussi repliée sur une conception naturaliste et intersubjectiviste de la théorie de la reconnaissance, puisée chez le jeune Hegel, où l’amour, l’amitié et la reconnaissance réciproque sont présentés comme des préalables à l’établissement d’une relation de communication, et servent de modèle pour penser l’ensemble du lien social. À l’encontre de ces approches, notamment à l’aide des travaux de Vincent Descombes et du sociologue québécois Michel Freitag, je cherche à revaloriser l’institutionnalisme hégélien et son concept d’esprit objectif. J’illustre aussi, avec Moishe Postone, comment toute théorie critique contemporaine doit, si elle espère réellement développer une critique des sociétés capitalistes avancées, pouvoir retrouver en Marx un penseur de la totalité et des médiations aliénées ou fétichisées (la forme-valeur) et articuler à la critique de la médiation des rapports sociaux par le travail abstrait une revalorisation de des médiations symboliques et politico-institutionnelles, de l’esprit objectif, en tant que seule la transcendance d’une dimension de sens objectivée peut suppléer à la régulation des rapports sociaux par la forme aliénée propre à la valeur abstraite. La revalorisation du concept d’esprit objectif hégélien, c’est-à-dire du pôle d’objectivité normative instituée, m’apparaît l’une des conditions sine qua non pour réorienter la théorie critique vers la dialectique qui, seule, lui évitera les écueils de l’intersubjectivisme, du dualisme et du nominalisme.

Ce mémoire porte sur les mouvements migratoires contre-centriques, à la fois contre-courant de la ville et de la modernité. Ces mouvements, certes statistiquement marginaux, soulèvent la question de l'attractivité spécifique de la marginalité géographique, et plus spécifiquement l'appréciation de la ruralité comme milieu de vie. Cette valeur symbolique du rural prend d'autant plus d'importance dans un contexte de mobilité géographique des populations, a fortiori chez les jeunes. Les décisions de migrations tendent ainsi à magnifier le rôle dévolu à chaque type d'espace dont la représentation est confrontée à la construction d'un projet de vie. Par ailleurs, les représentations du rural étudiées sont considérées comme émergeant d'un contexte idéologique visant à faire rupture avec la modernité. Plus précisément, ce mémoire aborde l'hypothèse d'un discours ruraliste contemporain qui constituerait une quête d'authenticité, à la fois à rebours et en continuité avec la modernité. Cette authenticité résiderait dans la conquête par soi-même d'une vérité profonde, sensible et naturelle, intime et intense. En ce sens, c'est la vacuité relative de l'espace rural qui se trouverait alors interpellée. Les données de cette étude ont été recueillies lors de rencontres de groupes visant à cerner les représentations respectives de la ruralité et de l'urbanité chez des jeunes ruraux ainsi que de jeunes urbains. Les participants mentionnaient un grand nombre d'énoncés sur la campagne et la ville et indiquaient pour chacun leur niveau d'attractivité. Il en résulte un portrait assez détaillé des expressions symboliques et normatives opposant la campagne et la ville comme milieux de vie. Dans un premier temps, on remarque à quel point les attractifs ruraux mentionnés par les participants coïncident avec des éléments d'une quête d'authenticité: tradition, nature, intimité et communauté, ce qui confirme très solidement notre hypothèse de départ. De plus, nous avons découvert que le nouveau partage symbolique urbain-rural peut être ramené à l'opposition canonique entre le privé et le public. La ville est la Cité, le lieu de la mise en commun des ressources, espace institutionnel et organisationnel, lieu de revendication et de consommation. Pour sa part, la ruralité apparaît non seulement comme un milieu de vie agréable, mais plutôt comme l'incarnation de l'idée même de milieu de vie. Lieu d'expression de l'intimité et du domestique, la campagne est aussi lieu de ressourcement, aux sources primaires et primordiales de la nature et de la culture à travers le paysage et la tradition. Mais l'opposition entre ville et campagne, ce lieu commun servant de point de départ de l'analyse, n'est pas toujours tranchée. En effet, on voit certes se profiler une différenciation fonctionnelle et symbolique des espaces, mais celle-ci tend toutefois à s'indifférencier dans l'usage et l'appartenance, sinon simultanés, du moins alternants, des deux types d'espace. La radicalisation des valeurs symboliques des espaces va ainsi de pair avec l'enchevêtrement de leurs foncions.

L'organisation internationale pour les migrations (OIM) estime à deux cent quatorze millions de migrants dans le monde en 2008. À partir de ce constat, nous nous sommes intéressés à une catégorie spécifique : celle des réfugiés (aujourd'hui estimés à plus de 15,2 millions). Les migrations sont souvent le résultat de politiques différentes pour chaque pays. Ce mémoire questionne l'intégration des réfugiés dans leur société d'accueil d'un point de vue sociologique. La question sous jacente est de savoir comment ces populations déplacées s'intègrent dans leur société d'accueil. Pour mettre en lumière notre question, nous avons ciblé un groupe en particulier : les réfugiés colombiens au Québec. C'est ainsi que ce travail de recherche aura pour objectif par une approche interactionniste et des outils ethnométhodologiques d'observer comment ces populations déplacées s'intègrent dans leur société d'accueil. Nous avons mis l'accent sur les interactions socioculturelles pour pouvoir mieux comprendre le ressenti de ces réfugiés dans un modèle d'intégration interculturelle. La question centrale de notre étude est de savoir quelles sont les interactions socioculturelles entre les réfugiés colombiens et l'ensemble de la société québécoise. Quelles sont-elles? Comment s'organisent-elles? Quels en sont les principaux facteurs (tel que la langue, le sport...)? Quelles sont les principales difficultés rencontrées par les réfugiés colombiens une fois sur le sol québécois? De quelle manière l'interculturalisme influence t-il les interactions? Notre problématique aura donc pour but de mieux saisir ces interactions et de comprendre le lien entre la théorie ct la pratique; à l'image du sociologue américain Anselm Strauss « de construire un pont au dessus du gouffre semblant séparer les études à grande et à petite échelle » (Strauss, 1992, p.13). Pour cela, nous avons fait treize entrevues en profondeur, sept à Montréal et six à Québec afin de dégager les principales caractéristiques de ces interactions et de pouvoir ainsi éviter la dichotomie entre « micro » et « macro ». ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Immigrations forcées, conflit armé, intégration socioculturelle, approche interactionniste, microsociologie, politiques publiques d'intégration, macrosociologie, Canada, Québec, Colombie.

Le traitement des branchements conditionnels est un problème spécifique à la simulation symbolique. La gestion de la Condition de Chemin consiste à déterminer si la valeur de vérité d'une condition est contenue dans tous les choix qui ont été opérés sur les tests précédemment rencontrés, ou si, au contraire, le choix de cette valeur est laissé à la libre appréciation de l'utilisateur : c'est le rôle de l'opérateur de choix. Cet opérateur et les propriétés qui le caractérisent sont définis. Son application sur des expressions particulières, puis dans le cas général est ensuite étudiée.