Le travail aborde la modélisation et l’analyse de systèmes complexes, caractérisés, dans un cadre incertain et évolutif, par de nombreuses interactions entre composants. Dans un cadre de gestion des risques, le travail vise à créer un modèle causal spatio-temporel pour l’explication et la probabilisation de certains événements redoutés à des fins de diagnostic et de pronostic. Le travail de modélisation est basé sur l’approche bayésienne et, plus particulièrement, sur les Réseaux Bayésiens (RB). Dans l’optique de considérer des systèmes de grande taille et de représenter leur complexité spatio-temporelle, leur caractère multiéchelles et incertain dans un cadre dynamique, l’idée de ce travail est alors d’étendre le concept des Réseaux Bayesiens Dynamiques (RBD) et d’utiliser le paradigme Orienté Objet pour l’appliquer aux réseaux bayésiens. Dans leur forme actuelle, les réseaux bayésiens orientés objet permettent de créer des instances réutilisables mais non instanciables. En d’autres termes, cela implique que l’objet généré est susceptible d’être appelé plusieurs fois dans la construction d’un modèle mais sans pour autant que ces paramètres (tables de probabilités marginales ou conditionnelles) ne soient modifiés. Ce travail de thèse vise à combler cette lacune en proposant une approche structurée permettant de construire des grands systèmes à base d’objets (caractérisés par des réseaux bayésiens simples) dont les paramètres peuvent être actualisés en fonction de l’instant ou du contexte de leur appel et de leur utilisation. Ce concept est concrétisé sous la forme de Réseaux Bayésiens Multidimensionnels par leur propension à combiner plusieurs dimensions qu’elles soient spatiales ou temporelles. / The work addresses the modelling and analysis of complex systems, characterized, in an uncertain and evolving framework, by numerous interactions between components. Within a risk management framework, the work aims to create a spatio-temporal causal model for the explanation and probability of certain feared events for diagnostic and prognostic purposes. The modelling work is based on the Bayesian approach and, more specifically, on the Bayesian Networks (BN). In an attempt to consider large-scale systems and represent their spatio-temporal complexity, their multi-scale and uncertain character in a dynamic framework, the idea of this work is then to extend the concept of Dynamic Bayesian Networks (DBN) and use the Object Oriented paradigm to apply it to Bayesian networks. In their current form, object-oriented Bayesian networks can create reusable but not instantiable instances. In other words, this implies that the generated object is likely to be called several times in the construction of a model, but without these parameters (marginal or conditional probabilities tables) being modified. This thesis aims to fill this gap by proposing a structured approach to construct large object-based systems (characterized by simple Bayesian networks) whose parameters can be updated according to the moment or context of their call and use. This concept is embodied in the form of Bayesian Multidimensional Networks by their propensity to combine several dimensions, whether spatial or temporal.

Les grands robots marcheurs sont des systèmes mécatroniques poly-articulés complexes qui cristallisent la volonté des humains de conférer leurs capacités à des artefacts, l’une d’entre elle étant la locomotion bipède, et plus particulièrement la conservation de l’équilibre face à des perturbations extérieures. Cette thèse propose un stabilisateur postural ainsi que sa mise en œuvre sur le système locomoteur BIP 2000.Ce robot anthropomorphique possède quinze degrés de libertés actionnés par moteurs électriques et a reçu un nouvel automate ainsi que des variateurs industriels lors de la mise à jour réalisée dans le cadre de ces travaux. Un contrôleur a été conçu et implémenté en suivant les principes de la programmation orientée objet afin de fournir une modularité qui s’inspire de la symétrie naturelle des humanoïdes. Cet aspect a conduit à l’élaboration d’un ensemble d’outils mathématiques permettant de calculer l’ensemble des modèles d’un robot composé de sous-robots dont on connaîtrait déjà les modèles. Le contrôleur permet notamment à la machine de suivre des trajectoires calculées hors ligne par des algorithmes de génération de marches dynamiques ainsi que de tester le stabilisateur postural.Ce dernier consiste en un contrôle en position du robot physique par la consigne d’un robot virtuel de modèle dégradé, commandé en effort, soumis à des champs électrostatiques contraignant sa configuration articulaire. Les tests effectués ont permis de montrer la faisabilité de la méthode. / Big walking robots are complex multi-joints mechanical systems which crystallize the human will to confer their capabilities on artefacts, one of them being the bipedal locomotion and more especially the balance keeping against external disturbances. This thesis proposes a balance stabilizer under operating conditions displayed on the locomotor system BIP 2000.This anthropomorphic robot has got fifteen electrically actuated degree of freedom and an Industrial controller. A new software has been developed with an object-oriented programming approach in order to propose the modularity required by the emulated and natural human symmetry. This consideration leads to the development of a mathematical tool allowing the computation of every modelling of a serial robot which is the sum of multiple sub robots with already known modelling. The implemented software also enables the robot to run offline generated dynamic walking trajectories and to test the balance stabilizer.We explore in this thesis the feasibility of controlling the center of gravity of a multibody robotic system with electrostatic fields acting on its virtual counterpart in order to guarantee its balance. Experimental results confirm the potential of the proposed approach.

L'objet de cette thèse est d'analyser l'émergence d'un objet technique, un portail numérique de produits de formation, en identifiant tous les actants qu'un tel projet a mobilisés et en tentant de saisir la logique de leurs interactions pour en dégager les différentes configurations sociotechniques qui se succèdent, les lois ou les régularités qui les rendent représentatives d'un processus d'innovation technique. À partir d'une enquête de terrain fortement inspirée d'une démarche ethnographique, cette recherche dresse l'inventaire de douze portails numériques qui se sont succédés entre 1998 et 2008 dans les Universités de Grenoble et décrit dans le même mouvement les acteurs, leurs positions (convergentes ou contradictoires), les différents points de vue en présence et les enjeux politiques, techniques, économiques, etc.Empruntant le concept d'objet-frontière pour englober cet ensemble d'environnements numériques successifs et communs à un territoire universitaire, l'étude donne une importance aux objets dans l'action et offre une méthode de compréhension des points d'association et de rupture entre les différents actants mobilisés. L'objectif est de modéliser les interactions qui s'établissent à chaque nouveau « prototype » de portail et qui traduisent des chaînes d'associations (techniques, économiques, politiques et d'utilisation) faisant apparaître différents réseaux.En référence à la théorie de l'acteur-réseau, l'analyse des processus de fabrication des portails consiste à identifier les mécanismes à l'œuvre dans les mouvements générateurs de ces réseaux. Cette sociologie conduit à porter un regard particulier sur le portail, considéré comme la résultante d'une combinaison d'associations entre des actants humains et non-humains. Le portail est alors une mise en forme des relations d'entités hétérogènes sociales et techniques. Pour comprendre ces mécanismes de construction, d'ajustement ou de stabilisation des liens entre les entités du réseau, la démarche consiste, dans un premier temps, en partant de l'historique des douze portails, à transposer l'ensemble des données observées dans un espace topographique (schémas, tableaux) et d'y faire figurer les relations qui se nouent entre les différents actants par la médiation de l'objet technique.Cette mise en scène des douze réseaux, à partir de l'objet technique en tant que point de repère des transformations successives de l'objet-frontière, permet dans un second temps de réaliser une analyse de la structure des réseaux, c'est-à-dire de l'ensemble des données et des agencements entre ces données qui structurent un espace. L'analyse consiste alors à interpréter la structure obtenue pour rendre compte des agencements particuliers. Pour chacun des douze portails, cette recherche met en lumière des structures particulières de réseaux et des propriétés spécifiques de constitution, de déformation et de disparition auxquelles sont soumis ces collectifs hybrides. Le rapprochement itératif et méthodique entre ces structures permet de les classer en trois ensembles distincts : les réseaux autocentrés, les réseaux coopératifs et les réseaux ouverts. Ces derniers révèlent des propriétés spécifiques, notamment : - que la compétition symbolique ou économique est une force structurante du réseau ; – que l'objet technique est un composant dont la plasticité dépend davantage de la structure du réseau que de ses caractéristiques techniques ; – que le potentiel d'action d'une entité (c'est-à-dire sa capacité à créer de la différence au sein du réseau) est lié à sa capacité à établir des associations. L'ensemble de ces propriétés traduit des processus d'innovation qui amènent à questionner le modèle de l'innovation de P. Flichy quant à la distinction des deux cadres dans l'objet-frontière et le modèle de la traduction quant à son principe de symétrie. / The purpose of this thesis is to analyze the emergence of a technical object - a digital portal for training products - by identifying all actors that such a project has mobilized and trying to grasp the logic of their interactions to define the various socio-technical configurations laws or regularities that make them representative of a technical innovation process. From a field survey strongly inspired by an ethnographic approach, this research provides an inventory of twelve digital portals that succeeded between 1998 and 2008 at the Universities of Grenoble while describing actors and their positions (converging or contradictory), the different point of view, and the political, technical and economic stakes.Borrowing from the boundary object concept to include this set of successive digital environments common to a university territory study gives importance to objects in action and provides a method of understanding of the association and breaking points between mobilized actors. The objective is to model the interactions established for each new "prototype" portal, which represent chains of associations (technical, economic, political and usage) thus revealing different networks.With reference to the theory of the actor-network, this analysis of the design process of portals aims to identify the mechanisms at work in generating these networks. This sociology implies taking a particular look at the portal, considered as the result of a combination of associations between human and non-human actors. The portal is there by shaped by the heterogeneous social and technical relationships of the actors who designed it.To understand these mechanisms of construction, adjustment or stabilization of the links between network entities, the approach starts with an historical overview of the twelve portals in order to transpose all of the observed data into a topographical space (diagrams, tables) and to include the relationships established between actants through the mediation of the technical object.This presentation of the twelve networks, which considers the technical object as a landmark of successive transformations of the boundary object, then makes it possible to perform an analysis of the network structure, that is say of the set of data and and how the relationships between this data structure a space. The analysis then consists in interpreting the resulting structure to account for special relationships. For each of the twelve portals, this research highlights specific network structures and specific properties of the constitution, deformation and loss that these hybrid collectives are subject to. The iterative and systematic connection between these structures can be classified into three distinct groups: self-centered networks, collaborative networks and open networks. These groups reveal specific properties, including: - symbolic or economic competition is a structuring force of the network; - the technical object is a component whose plasticity depends more on the structure of the network than on its technical characteristics; - the action potential of an entity (that is to say its ability to create difference within the network) is related to its ability to establish associations.All of these innovation processes lead us to question the P. Flichy model of innovation regarding the distinction of the two boundary object frameworks and in the model of the actor-network in its principle of symmetry.

Cette thèse traite de la compilation efficace des langages à objets en héritage multiple. La programmation objet est caractérisée par un mécanisme fondamental, emph{la liaison tardive} --- la méthode appelée dépend du type dynamique d'un paramètre distingué, le emph{receveur}. L'efficacité de ce mécanisme nécessite une implémentation adéquate qui est conditionnée par le schéma de compilation utilisé --- compilation séparée avec chargement dynamique, compilation globale, etc. Cependant la programmation par objets présente une apparente incompatibilité entre trois termes : l'héritage multiple, l'efficacité et l'owa --- en particulier, le chargement dynamique. Nous avons étudié les techniques d'implémentation compatibles avec l'héritage multiple couramment utilisées ainsi qu'une alternative prometteuse, le ph. Nous nous plaçons dans le cadre du typage statique, donc nos conclusions peuvent valoir pour des langages comme cpp, eiffel, java, csharp, etc. Différents schémas de compilation sont considérés, de l'owa à l'cwa. Ces techniques et ces schémas ont été mis en uvre dans le compilateur auto-gène du langage prm. L'influence sur l'efficacité de tous ces éléments a été testée dans un protocole expérimental rigoureux de méta-compilation et les tests ont été réalisés sur une variété de processeurs différents. Les résultats des ces expérimentations sont discutés et comparés aux évaluations a priori effectuées sur les techniques d'implémentation. Ils confirment aussi que le ph est une technique d'implémentation intéressante pour le sous-typage multiple à la java. / His thesis is about efficient compilation of object oriented language with multiple inheritance.Object oriented programing is characterized by a main mechanism, emph{late binding} --- invoked method only depends on the dynamic type of one special parameter, the emph{receiver}.In order to be efficient this mechanism needs an implementation which depends on some compilation scheme --- separate compilation with dynamic loading, global compilation, etc.However object oriented programming present akin of incompatibility between three terms: multiple inheritance, efficiency and open world assumption --- especially with dynamic loading.In this thesis, we have studied common implementation techniques compatible with multiple inheritance and a promising alternative, perfect class hashing.The context of this study is static typing, our conclusion holds for languages like cpp, eiffel, java, csharp, etc.Different compilation schemes are considered, from open world assumption to closed world assumption.These techniques and schemes are implemented in the prm bootstraped compiler.Efficiency influence of all this artifacts has been tested with a rigorous meta-compilation experimental protocol and these tests have been performed on a variety of different processors.Results of these experiments are discuss and compared to an a priori evaluations of implementations techniquesThey mainly confirm perfect class hashing as an interesting implementation for multiple subtyping, a la java.

Les applications orientées objet de tailles significatives ont des dépendances complexes et nombreuses, et généralement ne disposent pas d'architectures logicielles explicites. Par conséquent, elles sont difficiles à maintenir, et certaines parties de ces applications sont difficiles à réutiliser. Le paradigme de développement à base de composants est né pour améliorer ces aspects et pour soutenir la maintenabilité et la réutilisation efficaces. Il offre une meilleure compréhensibilité à travers une vue d'architecture de haut niveau. Ainsi, la migration des applications orientées objet à celles à base de composants contribuera à améliorer ces caractéristiques, et de soutenir l'évolution des logiciels et la future maintenance.Dans cette thèse, nous proposons une approche pour transformer automatiquement les applications orientées objet à celles à base de composants. Plus particulièrement, l'entrée de l'approche est le résultat fourni par la récupération de l'architecture logicielle: une description de l'architecture à base de composants. Ainsi, notre approche transforme le code source orienté objet afin de produire des composants déployables. Nous nous concentrons sur la transformation des dépendances orientées objet en celles basées sur les interfaces. De plus, nous passons du concept d'objet au concept d'instance d'un composant. En outre, nous fournissons une approche de transformation déclarative en utilisant des langages dédiés. Nous démontrons notre approche sur de nombreux modèles de composants bien connus. / Large object-oriented applications have complex and numerousdependencies, and usually do not have explicitsoftware architectures. Therefore they are hard to maintain, and parts of themare difficult to reuse. Component-based development paradigm emergedfor improving these aspects and for supporting effectivemaintainability and reuse. It provides better understandabilitythrough a high-level architecture view of the application. Thus, migrating object-oriented applications to component-based ones will contribute to improve these characteristics, and support software evolution and future maintenance.In this dissertation, we propose an approach to automatically transform object-oriented applications tocomponent-based ones. More particularly, the input of the approach isthe result provided by software architecture recovery: acomponent-based architecture description. Then, our approachtransforms the object-oriented source code in order to producedeployable components. We focus on transforming object-oriented dependencies into interface-based ones. Moreover, we move from the concept of object to the concept of component instance. Furthermore, we provide a declarative transformation approach using domain-specific languages. We demonstrate our approach on many well-known component models.

Submitted by Jadson Francisco de Jesus SILVA (jadson@uefs.br) on 2018-02-01T23:11:01Z No. of bitstreams: 1 Vers?o final da Disserta??o1.pdf: 3017302 bytes, checksum: f9901a41619b1d9779d506122c6ab349 (MD5) / Made available in DSpace on 2018-02-01T23:11:01Z (GMT). No. of bitstreams: 1 Vers?o final da Disserta??o1.pdf: 3017302 bytes, checksum: f9901a41619b1d9779d506122c6ab349 (MD5) Previous issue date: 2017-02-20 / Funda??o de Amparo ? Pesquisa do Estado da Bahia - FAPEB / La recherche traite de la production de sens dans les textes produits en langue portugaise comme seconde (L2) par des ?tudiants sourds de l'?cole municipale Professeur Raimundo Mata de la ville de Catu-BA. Les ?crits sont analys?s ? partir des ?l?ments r?f?rentiels, soulignant l'importance pour les ?tudiants sourds de ma?triser ? la fois la langue de signes br?silienne (LIBRAS) et la langue portugaise ?crite. Afin de traiter l'importance de l'?criture en portugais pour les sourds dans les espaces sociaux, nous nous appuyons sur les ?tudes de Skliar (2009, 2005), Silva (2001), Lodi (2009), F?vero (2003) , Koch (1997), Marcuschi (2008) et Guarinello (2007). Nous avons choisi comme objet d'?tude la forme de r?f?rence du sourd dans ses productions textuelles. A partir du r?cit de film, ont ?t? analys?s deux productions ?crites par deux ?tudiants de la 9?me ann?e d'?tude matinale, tous ?g?s de 19 ans, de l'ann?e scolaire 2016. Nous avons identifi?s les strat?gies utilis?es par ceux-ci dans leurs productions textuelles qui sont responsables de la production de sens et nous apercevons que les sourds ont une forme particuli?re de se r?f?rer en portugais, caract?ris? par une r?f?rence construite plus ? partir des ?l?ments non verbaux que par des ?l?ments strictement verbaux . / Esta pesquisa trata da produ??o de sentido em textos produzidos em l?ngua portuguesa como segunda l?ngua (L2), por alunos surdos, da Escola Municipal Professor Raimundo Mata da cidade de Catu ? BA. S?o analisados os escritos a partir dos elementos referenciais, destacando a import?ncia que tem para o aluno surdo dominar tanto a L?ngua Brasileira de Sinais- LIBRAS, como a l?ngua portuguesa escrita. Para tratarmos da import?ncia que a produ??o escrita em portugu?s tem para o surdo nos espa?os sociais, apropriamo-nos dos estudos de Quadros (1997), Skliar (2009, 2005), Silva (2001), Lodi (2009), F?vero (2003), Koch (1997), Marcuschi (2008) e Guarinello (2007). Elegemos como objeto de estudo o modo como o surdo referencia em suas produ??es textuais. A partir do reconto de filme foram analisadas duas produ??es escritas do ano letivo de 2016, de dois alunos do 9? ano, do turno matutino, ambos com 19 anos. Identificamos as estrat?gias utilizadas por estes em suas produ??es textuais que s?o respons?veis pela produ??o de sentido e percebemos que o surdo tem um modo particular de referenciar em portugu?s, caracterizado por uma refer?ncia constru?da mais a partir dos elementos n?o-verbais do que por elementos estritamente verbais.

En France, face aux problèmes liés au réseau d’assainissement hérité du XIXème siècle, une solution consiste à gérer les eaux pluviales par des techniques « alternatives » au réseau. Le « tout tuyau » fait place à un ensemble d’objets techniques hybrides, composés d’éléments naturels et de matériaux synthétisés. Ces « objets de nature » présentent une apparence mixte (naturelle/artificielle) et assurent des fonctions multiples qui peuvent rendre leur intégration difficile. Dans quelles mesures l’appropriation des objets de nature par les publics est-elle difficile? Comment s’établit la place des objets de nature dans la ville? Cette thèse vise plusieurs objectifs. Il s’agit de renseigner les relations entre publics et objets de nature, d’obtenir des éléments sur les pratiques et usages des publics et d’apporter une réflexion sur la manière d’étudier les comportements humains. Pour se faire, trois enquêtes basées sur de l’observation directe doublée par une prise d’images systématisée ont été menées au cours de quatre saisons et à travers 12 études de cas réparties au sein de la métropole lyonnaise. Ces enquêtes ont tout d’abord permis de préciser la construction de l’objet de nature en tant qu’instrument à travers le concept de genèse instrumentale de Rabardel. Ensuite, les pratiques, usages ainsi que les conditions d’utilisation des dispositifs ont pu être définis grâce aux comportements observés chez les publics. Enfin, les avantages et limites de l’observation directe et des conditions d’analyse des données ont été discutés dans le but d’apporter des pistes d’amélioration à cette méthodologie pour de futures études. / To better manage storm water and to respond to problems related to the sanitation networks conceived in the 19th Century, some alternative techniques, other than networks, are being put forward. The “all tubes” concept is giving way to various technical objects of a hybrid nature made up of natural components and synthesized material. The physical appearance of these “natural objects” is double (both natural and artificial) and they fulfil various purposes. Thus, their insertion in the landscape can be delicate. How are these natural objects seized by society? In this process are any difficulties encountered? How is the place for natural objects defined in a city? The purpose of this dissertation is triple: (1) gather information on the relationship between societies and natural objects, (2) collect data on the public's use and practices, (3) discuss a methodology to study human behavior. Three inquiries were carried out during the four seasons of the year and in twelve sites; they were based on direct observation and systematized photography. Based on the fieldwork and the concept of “genèse instrumentale” developed by Rabardel, a discussion was developed on the building of a natural object as a tool. Subsequently, based on the observation of the public, practices, uses and the conditions in which these natural objects are used were defined. The dissertation concludes by highlighting the advantages and the limits of direct observation, and by developing the biases such as the context in which the data was analyzed, in order to suggest some possible methodological enhancements which could help future studies.

Dans cette thèse, nous nous intéressons aux modèles de calcul dans les réseaux d'objets à capacité restreinte, tels que les réseaux de capteurs sans fil. Nous nous focalisons sur les protocoles de population proposés par Angluin et al. Dans ce modèle, les objets sont représentés par des agents à états finis, passivement mobiles, communiquant entre paires et formant un réseau asynchrone et anonyme. Nous présentons deux études comparatives qui nous permettent par la suite de proposer une approche établissant le lien des protocoles de population avec deux autres modèles : le modèle des tâches avec les systèmes de réécritures de graphes, et le modèle asynchrone et anonyme d'échange de messages. Nous passons ensuite au problème d'ordonnancement dans les protocoles de population. Nous proposons un nouvel ordonnanceur probabiliste, 1-central, basé sur les rendez-vous randomisés et appelé HS Scheduler. Contrairement aux autres ordonnanceurs,il permet à plus d'une paire de communiquer à la fois. Nous prouvons qu'il est équitable avec probabilité 1. Nous analysons par la suite les termes Nous analysons par la suite les temps de stabilisation de certains protocoles s'exécutant sous le Random Scheduler ou le HS Scheduleret sur différentes topologies du graphe d'interaction. Nous prouvons que le HS Scheduler est équivalent en temps au Random Scheduler quand le graphe d'interaction est complet mais qu'il permet une stabilisation plus rapide quand le graphe est aléatoire. Par la suite,nous proposons un autre ordonnanceur qui prend en considération les états des agents et permet d'introduire la terminaison à certains protocoles : le Prorotol Aware HS Scheduler.Nous prouvons qu'il est équitable avec probabilité 1. Nous faisons l'analyse des temps de stabilisation de certains protocoles s'exécutant sous cet ordonnanceur en considérant différentes topologies du graphe d'interaction. Finalement, nous implémentons et simulons sur ViSiDiA l'ensemble des scénarios étudiés et validons nos résultats théoriques. / In this work, we consider computing models for networks of tiny objects suchas wireless sensor networks. We focus on the population protocols, a pairwise computationalmodel introduced by Angluin et al. where the tiny objects are represented byanonymous, passively mobile, finite state agents forming asynchronous networks. Weestablish two comparative studies between the population protocol model (and its extensions)and the two following ones: tasks with graph relabeling systems, and anonymousasynchronous message passing. These studies aim to establish possible mappings betweenthe population protocols and these two models. We then focus on the scheduling of thepairwise interactions in population protocols. We propose the HS Scheduler, a new probabilistic1-central scheduler based on randomized handshakes. Compared to the existingschedulers, this scheduler allows to more than one pair of agents to communicate simultaneously.We prove that this scheduler is fair with probability 1. We thereafter presentanalyses of the complexity of the stabilization time of some protocols running under thescheduling of the Random Scheduler and the HS Scheduler, and over different topologiesof the interaction graph. We prove that these two schedulers are time equivalent withComputing Models for Networks of Tiny Objects iiirespect to these protocols when the interaction graph is complete, however computationsunder the HS Scheduler stabilize faster when the interaction graph is random. We then introducethe Protocol Aware HS Scheduler, a slightly modifed version of the HS Schedulerthat takes into account the states of the agents and allows termination in some protocols.We also prove that this scheduler is fair with probability 1. We present analyses of thetime complexity of some protocols running under the scheduling of the Protocol AwareHS Scheduler and over dfferent structures of the interaction graph. We implement thedifferent scenarios in ViSiDiA, and validate through simulations our theoretical results.

Actuellement, l’implémentation des services (modèles SOAP et RESTful) et de leurs applications clientes est de plus en plus basée sur la programmation par objet. Ainsi, les cadriciels orientés-objets pour les services Web sont essentiellement composés de deux couches : une couche à objets qui enveloppe une couche à services. Dans ce contexte, deux principes sont nécessaires pour la spécification de ces cadriciels : (i) En premier lieu, un couplage faible entre les deux couches, ce qui permet de cacher la complexité des détails techniques de la couche à services dans la couche à objets et de faire évoluer la couche à services avec un impact minimal sur la couche à objets (ii) En second lieu, une interopérabilité induite par le principe de substitution associée au sous-typage dans la couche à objets. Dans cette thèse, nous présentons d’abord les faiblesses existantes dans les cadriciels orientés-objets liés à ces deux principes. Ensuite, nous proposons une nouvelle spécification pour ces cadriciels en vue de résoudre ces problèmes. Comme application, nous décrivons la mise en œuvre de notre spécification dans le cadriciel cxf, à la fois pour SOAP et RESTful. / Today, the implementation of services (SOAP and RESTful models) and of client applications is increasingly based on object-oriented programming languages. Thus, object-oriented frameworks for Web services are essentially composed with two levels: an object level built over a service level. In this context, two properties could be particularly required in the specification of these frameworks: (i)First a loose coupling between the two levels, which allows the complex technical details of the service level to be hidden at the object level and the service level to be evolved with a minimal impact on the object level, (ii) Second, an interoperability induced by the substitution principle associated to subtyping in the object level, which allows to freely convert a value of a subtype into a supertype. In this thesis, first we present the existing weaknesses of object-oriented frameworks related to these two requirements. Then, we propose a new specification for object-oriented Web service frameworks in order to resolve these problems. As an application, we provide an implementation of our specification in the cxf framework, for both SOAP and RESTful models.

Cette étude a été l'occasion d'étudier les effets liés à la présence d'un cisaillement particulier de l'écoulement moyen sur le phénomène d'interaction choc/turbulence. Dans un premier temps, un outil de calcul performant et modulaire fondé sur une approche orientée objet a été développé afin de réaliser des simulations numériques directes de ce type d'écoulement. L'utilisation de schémas numériques à capture de choc et d'ordre élevé de type WENO ont permis une résolution fidèle des équations de Navier-Stokes compressibles. Dans un deuxième temps, une analyse poussée des effets de ce type de cisaillement sur la turbulence en l'absence de choc a été réalisée. Cette première étude a été l'occasion de dégager l'influence de plusieurs paramètres influents pour cette configuration d'écoulement. Enfin, dans un dernier temps, l'étude du phénomène d'interaction choc/turbulence cisaillée en présence de gradients moyens de température et de masse volumique a permis de souligner l'activation de phénomènes physiques caractéristiques à cette configuration. Ce travail permet également d'apporter une base de données de résultats susceptible d'être confrontée avec les modèles de turbulence et constitue un point de vue intéressant pour l'étude du phénomène d'interaction choc/couche limite. / This study sheds some light on the effects of a specific sheared flow over the shock / turbulence interaction phenomenon. An efficient and modular computational tool using an oriented object approach has first been developed in order to carry out direct numerical simulations of this configuration. The use of high order shock capturing schemes allows to solve accurately the turbulent flow, even in presence of physical discontinuities. A detailed study concerning the effects of this specific mean shear on the turbulent flow has then been conducted in a shock-free configuration. This preliminary study emphases some significant parameters of this flow configuration. In a second step, DNS of the interaction between the turbulent shear flow and a normal shock ware are performed. These simulations are compared to the isotropic turbulence / shock interaction situation, which allows to underline the activationof specific mechanisms due to the presence of the mean shear in the upstream flow. An interesting database is now available and can be used to assess and improve turbulence models. This is also an interesting point of view for studying the shock/boundary layer interaction phenomenon.