• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 165
  • 42
  • 22
  • Tagged with
  • 222
  • 101
  • 60
  • 44
  • 43
  • 42
  • 28
  • 21
  • 18
  • 17
  • 17
  • 17
  • 16
  • 14
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
131

Développements méthodologiques pour l’échantillonnage et l’analyse des hydrocarbures dans les systèmes aquatiques : application dans des expérimentations en conditions semi-contrôlées et dans le milieu environnemental

Abou Mrad, Ninette 15 December 2011 (has links)
Ce travail de thèse a pour premier objectif le développement de méthodologies d’extraction (HS-SPME) et d’analyse (GC-MS, GC-MS-MS) des hydrocarbures pétroliers volatils (aromatiques et aliphatiques) dans la phase dissoute et la phase sédimentaire. Le deuxième objectif concerne le développement d’un nouvel outil d’échantillonnage passif des HAP dissous (POCIS-« like »). Les méthodologies développées ont été par la suite appliquées pour la caractérisation des hydrocarbures dans les effluents industriels pétroliers au cours d'expérimentations en conditions semi-contrôlées dans le cadre de deux projets de recherche (TOTAL, EMESTOX). Enfin un couplage de l’échantillonnage passif/ponctuel et biologique a été mis en oeuvre pour le suivi des HAP dans deux écosystèmes aquatiques français : le bassin d’Arcachon et l’estuaire de la Gironde. / Hydrocarbons originating from telluric discharges and accidental spills constitute a major source of pollution in the aquatic systems. These compounds are present at trace levels in the dissolved phase due to their hydrophobicity and/or their volatility, and are characterized by variable concentrations in the water body depending on discontinuous inputs, dilution phenomena, tidal cycles…Therefore, in order to raise the analytical and environmental challenges generated by the hydrocarbons in the aquatic systems, the present phD work focused on: i) methodological developments for the extraction and analysis of volatile petroleum hydrocarbons (aromatics and aliphatics) for both the dissolved and the sedimentary phases, in order to characterize the presence and fate of a petroleum contamination in these media, and ii) developments of new passive sampling tools for the sampling of polycyclic aromatic hydrocarbons (PAHs) which have proved their toxic character, while integrating the variability in the contaminant concentrations in the dissolved phase.
132

Amortisseurs passifs non linéaires pour le contrôle de l’instabilité de flottement / Influence of nonlinear passive aborbers on the flutter instability

Malher, Arnaud 17 October 2016 (has links)
Cette thèse est consacrée à l'étude d'amortisseurs passifs non linéaires innovants pour le contrôle de l'instabilité de flottement sur un profil d'aile à deux degrés de libertés. Lorsqu'un profil d'aile entre en flottement, il oscille de façon croissante jusqu'à se stabiliser sur un cycle limite dont l'amplitude peut être significative et détériorer sa structure. Le contrôle a ainsi deux objectifs principaux : retarder l'apparition de l'instabilité et réduire l'amplitude des cycles limites. Avant d'étudier l'influence des amortisseurs passifs, l'instabilité de flottement, et notamment le régime post-flottement, a été étudié. Une expérience de flottement sur une plaque plane a été menée et sa modélisation, prenant en compte le phénomène de décrochage dynamique, a été réalisée. Concernant le contrôle passif, le premier type d'amortisseur étudié est un amortisseur hystérétique réalisé à l'aide de ressorts en alliage à mémoire de forme. La caractéristique principale de tels amortisseurs est que leur force de rappel étant hystérétique, elle permet de dissiper une grande quantité d'énergie. L'objectif principal est ainsi de réduire l'amplitude des cycles limites provoqués par l'instabilité de flottement. Cet effet escompté a été observé et quantifié expérimentalement et numériquement à l'aide de modèles semi-empiriques. Le second type d'amortisseur utilisé est un amortisseur non linéaire de vibration accordé. Il est composé d'une petite masse connectée au profil d'aile à l'aide d'un ressort possédant une raideur linéaire et une raideur cubique. La partie linéaire de ce type d'amortisseur permet de retarder l'apparition de l'instabilité tandis que la partie non linéaire permet de réduire l'amplitude des cycles limites. L'influence de l'amortisseur non linéaire de vibration accordé a été étudiée analytiquement et numériquement. Il a été trouvé que l'apparition de l'instabilité est significativement retardée à l'aide de cet amortisseur, l'effet sur l'amplitude des cycles limites étant plus modeste. / The aim of this thesis is to study the effect of passive nonlinear absorbers on the two degrees of freedom airfoil flutter. When an airfoil is subject to flutter instability, it oscillates increasingly until stabilizing on a limit cycle, the amplitude of which can be possibly substantial and thus damage the airfoil structure. The control has two main objectives : delay the instability and decrease the limit cycle amplitude. The flutter instability, and the post-flutter regime in particular, were studied first. A flutter experiment on a flat plate airfoil was conducted and the airfoil behavior was modeled, taking into account dynamic stall. Regarding the passive control, the first absorber studied was a hysteretic damper, realized using shape memory alloys springs. The characteristic of such dampers is their hysteretic restoring force, allowing them to dissipate a large amount of energy. Their main goal was thus to decrease the limit cycle amplitude caused by the flutter instability. This expected effect was observed and quantified both experimentally and numerically, using heuristic model. The second absorber studied was a nonlinear tuned vibration absorber. This absorber consists of a light mass attached to the airfoil through a spring having both a linear and a cubic stiffness. The role of the linear part of such absorber was to repel the instability threshold, while the aim of the nonlinear part was to decrease the limit cycle amplitude. It was found, analytically and numerically, that the instability threshold is substantially shifted by this absorber, whereas the limit cycle amplitude decrease is relatively modest.
133

Refroidissement passif de batteries lithium pour le stockage d'énergie / Passive cooling of lithium batteries for energy storage

Rizk, Rania 28 September 2018 (has links)
Ce mémoire présente une étude sur le refroidissement passif de batteries lithium-ion. Il se compose de deux grandes parties. La première partie est une étude expérimentale et numérique du comportement thermique d’une batterie et la seconde partie est l’étude expérimentale d’un système passif pour le refroidissement de plusieurs batteries. Un banc d’essais expérimental a été conçu pour suivre l’évolution thermique des batteries soumises à différents courants de sollicitation. Les batteries prismatiques étudiées sont de type LFP et de capacité 60 Ah. Dans un premier temps, le comportement thermique d’une batterie soumise à des cycles de charge / décharge, est caractérisé expérimentalement. Nous montrons que la température n’est pas uniforme à la surface de la batterie et la zone la plus chaude est identifiée. Dans un second temps, un modèle numérique tridimensionnel a été développé pour prédire la température en tout point de la batterie. Ce modèle thermique permet de prédire notamment les températures à l’intérieur de la batterie, non mesurées expérimentalement et ceci, pour différents courants de sollicitation. Les données d’entrée du modèle sont issues des essais expérimentaux et de la littérature. Cette phase de caractérisation thermique de la batterie est essentielle pour la conception d’un système de refroidissement. Enfin, une étude expérimentale d’un système de refroidissement passif basé sur des caloducs et des plaques à ailettes est réalisée. Plusieurs configurations sont testées au fur et à mesure en apportant des améliorations aboutissant enfin à un système à dix caloducs munis de plaques à ailettes verticales au niveau du condenseur combinés à des plaques à ailettes placées sur les faces des batteries. / This thesis deals with the passive cooling of lithium-ion batteries. It consists of two large parts. The first part is an experimental and numerical study of the thermal behaviour of a battery and the second part is the experimental study of a passive system for the cooling of several batteries. An experimental test bench was designed to monitor the thermal evolution of batteries subjected to different currents. The prismatic batteries studied are made of lithium-iron-phosphate and have a capacity of 60 Ah. In a first step, the thermal behaviour of a battery subjected to charge / discharge cycles is experimentally characterized. We show that the temperature is not uniform at the surface of the battery and the hottest area is identified. In a second step, a three-dimensional numerical model was developed to predict the temperature at any point of the battery. This thermal model makes it possible to predict in particular the temperatures inside the battery, not measured experimentally and this, for different currents. The model input data are from experimental trials and literature. This phase of thermal characterization of the battery is essential for the design of a cooling system. Finally, an experimental study of a passive cooling system based on heat pipes and finned plates is carried out. Several configurations are tested progressively with improvements leading finally to a system with ten heat pipes with vertical finned plates at the condenser combined with finned plates placed on the faces of the batteries.
134

Caractérisation et contrôle des fluctuations de pression en aval d'une marche montante : application au transport de fret ferroviaire / Characterization and control of pressure fluctuations downstream of a forward facing step flow : application to rail freight transport

Graziani, Anthony 22 March 2018 (has links)
Les travaux présentés dans le cadre de cette thèse de doctorat concernent la problématique d’arrachement de bâches de semi-remorques convoyés par le réseau d’autoroutes ferroviaires. En effet, les phénomènes turbulents générés autour d’un tel convoi provoquent d’importantes fluctuations de pression sur les parois bâchées, entrainant des mouvements de forte amplitude menant à la rupture sur de longues périodes de sollicitation. Ce phénomène pouvant provoquer plusieurs types d’incidents pour l’exploitant du réseau (embrasement par contact caténaire, retard des trains, perte de marchandise, etc...), il est nécessaire de comprendre les phénomènes physiques mis en jeu et de dégager une solution de contrôle de l’écoulement satisfaisant les contraintes de l’industrie ferroviaire. Pour ce faire, une étude expérimentale et numérique de l’écoulement autour d’une configuration bidimensionnelle de marche montante a été réalisée afin de caractériser l’influence des différentes zones décollées sur les fluctuations de pression pariétale induites en aval de la marche. A cet effet, une série de mesures de champs de vitesse et de pression pariétale ont été réalisées dans la soufflerie du Lamih. Les résultats observés expérimentalement ont pu être confrontés à ceux obtenus par une approche numérique dans des conditions équivalentes. L’analyse de l’écoulement s’est principalement focalisée sur deux points. Le premier concerne la dynamique des zones de recirculation en interaction avec la couche de cisaillement. Une approche stochastique a été déployée, et a permis de mettre en évidence les mécanismes prépondérants à l’origine du phénomène. Le second point porte sur les liens entretenus entre ces mécanismes et les fluctuations de pression pariétale. Une approche modale, basée sur une décomposition orthogonale aux valeurs propres étendue, a permis de révéler l’importante contribution des basses fréquences dans ce cas de figure. Enfin, une solution de contrôle passive (déflecteur) a été testée et a permis de montrer que la suppression de ces mécanismes basse fréquence permet d’obtenir un gain en termes de pression pariétale pouvant aller jusqu’à 36% selon les configurations. / The work presented in the framework of this doctoral thesis concerns the problem of the tarpaulins tearing off of semi-trailers conveyed by the motorways network. Indeed, the turbulent phenomena generated around such a convoy cause large pressure fluctuations on the walls, resulting in high amplitude movements leading to breakage over long periods of stress. This phenomenon can cause several types of incidents for the operator of the network (ignition by catenary contact, train delay, loss of goods,...), it is necessary to understand the physical phenomena involved and to define a flow control solution that take into account the rail industry constraints. To do this, an experimental and numerical study of the flow around a two-dimensional forward facing step configuration was carried out in order to characterize the influence of the different separated zones on the wall pressure fluctuations induced downstream of the step. For this purpose, a series of velocity field and wall pressure measurements were carried out in the Lamih wind tunnel. The experimental results could be compared with those obtained by a numerical approach under the same conditions. The flow analysis focused mainly on two points. The first concerns the dynamics of the recirculation zones interacting with the shear layer. A stochastic approach has been used, and has made it possible to highlight the dominant mechanisms at the origin of the phenomenon. The second point concerns the dynamical links between these mechanisms and the wall pressure fluctuations. A modal approach, based on an extended orthogonal decomposition, revealed the important contribution of the low frequencies in this case. Finally, a passive control solution (deflector) was tested and showed that the low frequency mechanisms suppression provide a wall pressure gain up to 36 % depending on configurations.
135

Pour une réforme de la solidarité du dirigeant au passif fiscal / Reforming the corporate manager’s liability for tax liabilities

Grevet, Alexandre 15 November 2016 (has links)
Le mécanisme de solidarité traverse le droit fiscal. D’essence civile, la solidarité est intimement liée aux moyens de recouvrement dont dispose l’administration. S’agissant du dirigeant de société, sa « responsabilité pécuniaire » ou « solidarité patrimoniale » est actuellement suspendue à la décision du juge. Or, deux textes prévoient la solidarité du dirigeant selon qu’il s’agisse du juge de la responsabilité (LPF, art. L. 267) ou du juge répressif (CGI, art. 1745). Si ces deux dispositions sont indépendantes l’une de l’autre au motif qu’elles n’ont ni la même cause, ni le même objet, ni le même demandeur, il y a lieu de s’interroger sur leur portée respective, souligner leurs écueils et présenter les voies d’une réforme de la solidarité du dirigeant au passif fiscal. Il s’agit à la fois à rendre davantage efficace l’action en recouvrement de l’administration et garantir les droits dont dispose le dirigeant. La prégnance de la situation actuelle impose le pragmatisme : recouvrer le passif fiscal formé essentiellement par la TVA et suspendre la solidarité à l’intentionnalité des manquements à l’origine du passif fiscal dès la procédure d’assiette. / Joint liability is a recurrent feature of tax law. It is essentially a civil law mechanism which is closely bound to the means of recovery available to the revenue authorities. With respect to the company director, his “financial liability” or “joint pecuniary liability” currently depends on a court ruling. Two items of legislation provide for the director’s liability according to whether the matter is being heard before the civil courts (Article L. 267 of the LPF tax code) or the criminal courts (Article 1745 of the CGI tax code).Although those two provisions are independent from one another since they have neither the same legal basis, nor the same purpose and the person bringing the action is different, it is appropriate to question their respective scope, underline their pitfalls and present avenues for reform of the corporate manager’s joint liability for tax liabilities.The aim is both to make the revenue authority’s action for recovery more effective and to secure the corporate manager’s rights. The current situation requires pragmatism, for recovering tax liabilities resulting primarily from VAT and for suspending joint liability for intentionally causing tax liabilities from the time of the procedure of the determination of the tax base.
136

Développements d’échantillonneurs passifs pour l’étude de la contamination des eaux par les micropolluants organiques / Development of passive sampling tools to monitor organic micropollutants in water

Wund, Perrine 09 December 2013 (has links)
Préserver les ressources en eau est l’une des problématiques environnementales majeures du 21è siècle. Pour faire face à cette nécessité, il est essentiel de mettre en place une surveillance réglementée de la qualité des eaux et des rejets se déversant dans le milieu aquatique et de développer de nouveaux outils d’échantillonnage. L’échantillonnage ponctuel est la technique la plus facile à mettre en œuvre. Toutefois, elle n’est pas toujours représentative d’un milieu hétérogène parfois soumis à des variabilités spatiales et temporelles importantes. L’échantillonnage passif, notamment avec l’outil POCIS (Polar Organic Chemical Integrative Sampler), est une approche complémentaire aux techniques traditionnelles, qui permet de concentrer des molécules organiques semi-polaires directement sur site. La pertinence du résultat obtenu (la concentration moyennée sur la durée d’exposition), couplée à la simplicité de sa mise en œuvre en font a priori un outil de choix pour suivre des hydrosystèmes complexes.Dans ce contexte, des familles des composés diversifiées ont été sélectionnées : pesticides, composés pharmaceutiques, hormones stéroïdiennes et composés perfluorés. Au sein de chaque famille, plusieurs composés traceurs, présents dans l’environnement, comportant des propriétés physico-chimiques variées et aux statuts règlementaires différents (Directive Cadre sur l’Eau notamment), ont été choisis.Des essais d’optimisation de design du POCIS (quantité et nature de phase réceptrice, nature de la membrane) ont été conduits, menant à la validation de la configuration classique dans le cas général. L’influence de différents paramètres environnementaux pertinents : débit, température, matrice, présence de biofilm et dispositif de déploiement a été évaluée lors de calibrations de l’outil réalisées dans des systèmes de complexité croissante : au laboratoire, sur pilote et sur site.Les différents déploiements sur site (effluent de STEP et rivière) ont permis de valider l’utilisation de cet outil de prélèvement passif dans le cadre d’un suivi environnemental. Le potentiel du POCIS a été pleinement confirmé, tant en termes de logistique que de résultats (justesse par rapport aux concentrations mesurées par des techniques classiques, intégration d’événements ponctuels, limite de quantification…). / The protection of water resources is one of the major environmental stakes of 21st century. Regulation concerning water quality and effluents is therefore definitely needed, as well as new approaches regarding water sampling. Spot sampling is the easiest strategy. However, it may not be representative of a heterogeneous matrix, with sometimes important spatial and temporal variability. Passive sampling, including POCIS (Polar Organic Chemical Integrative Sampler) is a complementary approach, which enables an on-site pre-concentration of semi-polar organic compounds. The relevance of the result (time-weighted average concentrations) and the ease to implement POCIS make it an appropriate tool to monitor complex hydrosystems.Within this work, various compound classes were selected: pesticides, pharmaceuticals, steroid hormones and perfluorinated compounds. Among each family, several tracer molecules, widely encountered in the environment, with different physic-chemical properties and regulatory status (particularly in the Water Framework Directive), were chosen.POCIS design optimization (amount and nature of sorbent, nature of membrane) was carried out, leading to the validation of the standard configuration for general purposes. The impact of different relevant environmental parameters (flow-rate, temperature, matrix, biofouling and deployment device), was assessed during calibrations of POCIS conducted in systems of increasing complexity: in the laboratory, at pilot-scale and on-site.All on-site deployments (WWTP effluent and river) enabled to validate the use of this passive sampling tool in the framework of an environmental monitoring. The potential of this tool was fully confirmed, both logistically and in terms of results (trueness compared to concentrations measured with traditional techniques, integration of punctual events, quantification limit…).
137

Developing new adsorbents for the passive sampling of organic pollutants in the atmosphere : comparison with existing systems / Développement de nouveaux adsorbants pour l'échantillonnage passifs de polluants organiques dans l'atmosphère : comparaison avec des systèmes existants

Levy, Marine 21 October 2016 (has links)
Les matériaux actuellement utilisés comme capteurs passifs de polluants atmosphériques, la mousse de polyuréthane et la résine XAD®-2, ne sont optimisés ni pour l'adsorption de composés polaires ni pour le captage de particules. Pour remédier à ces limitations, la mousse de carbure de silicium (SiC) est proposée comme alternative. Plusieurs campagnes de mesures ont été mises en place pour comparer SiC et XAD®-2. Les composés recherchés étaient des HAP, des PCB et des pesticides.Une méthode d'analyse combinant ASE, SPE et SPME a été développée et optimisée pour ces polluants. Celle-ci permet d'atteindre de faibles limites de détection et quantification pour les composés recherchés.Les campagnes réalisées montrent que la mousse de SiC est toujours plus efficace que la résine XAD®-2 pour le piégeage de composés particulaires et polaires. De plus, la SiC peut être greffée avec du carbone ou des nanotubes de carbone pour augmenter sa surface spécifique, ce qui la rend également plus performante pour l'adsorption de composés volatils. Les débits d'échantillonnage moyens de la mousse ont été calculés et sont comparable aux valeurs rapportées dans la littérature pour la résine XAD®-2. / Materials currently used as passive samplers for atmospheric pollutants, polyurethane foam and XAD®-2 resin, are not suited ta trapping polar compounds nor particles. Ta overcome these limitations, silicon carbide (SiC) foam is presented as an alternative. Several sampling campaigns monitoring PAH, PCB and pesticides were done ta compare SiC and XAD®-2. An analytical method coupling ASE, SPE and SPME was developed and optimised for these pollutants. lt allowed low limits of detection and quantification ta be reached for all compounds of interest.Sampling campaigns showed that SiC foam is consistently more efficient than XAD®-2 resin at trapping particulate and polar compounds. Moreover, SiC foam can be grafted with carbon or carbon nanotubes ta increase its specific surface area, which also makes it better at adsorbing volatile compounds. Average sampling rates were calculated for SiC foam and they are comparable ta the values reported in the literature for XAD®-2 resin.
138

Voix passive et passif lexical en innu : une analyse aspectuelle et sémantique

Boissard, Aubrée 24 April 2018 (has links)
Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2017-2018 / L’innu est une langue algonquienne parlée au Québec et au Labrador par environ 10 000 locuteurs. Ce mémoire examine l’aspectualité de la voix passive ainsi que le phénomène du passif lexical en innu, un sous-type de passif peu documenté au sein des langues algonquiennes. L’étude de cas menée dans ce but révèle que certaines formes verbales passives en innu peuvent osciller entre une sémantique dynamique et stative/résultative. Ce mémoire propose d’envisager les formes statives/résultatives comme des formes passives lexicalisées dans la langue. L’étude met aussi en lumière des formes verbales apparentées à la voix passive et à la voix moyenne également présentes dans d’autres langues algonquiennes qui sont traitées comme des passifs lexicaux en tant que tels dans le présent travail. Les annexes fournissent les données de l’étude de cas menée dans le cadre de ce mémoire ainsi qu’une sélection de phrases passives tirées de l’ouvrage Eukuan nin matshimanitu innu-iskueu (Kapesh, 1976). Les annexes fournissent également une sélection de formes verbales passives transitives ainsi qu’une sélection des formes verbales traitées comme des passifs lexicaux. Ces deux sélections sont extraites à partir du dictionnaire innu en ligne. / Innu is an Algonquian language spoken in Québec and Labrador by around 10 000 speakers. This thesis investigates the aspectual properties of the passive voice as well as the phenomenon of lexical passive, a subtype of passive that remains poorly documented in Algonquian languages. The case study carried out with this aim reveals that certain passive verbal forms in Innu can have either a dynamic or a stative/resultative semantics. This thesis explores forward the idea of considering stative/resultative forms as lexicalized passive forms in the language. Moreover, the study highlights a number of verbal forms related to passive and middle voice also found in other Algonquian languages. These forms are considered as lexical passives in this thesis. Appendices show the data of the case study study as well as a selection of passive sentences from the book Eukuan nin matshimanitu innu-iskueu (Kapesh, 1976). Appendices show also a selection of transitive passive verbal forms and a selection of verbal forms analyzed as lexical passives in this study. Those selection are all extracted from the Innu online dictionnary.
139

Etude expérimentale des fluctuations de vitesse, de température et de pression en turbulence développée

Moisy, Frederic 25 January 2000 (has links) (PDF)
L'utilisation de l'hélium a basse température en turbulence développée s'avère décisive pour l'étude des propriétés statistiques des champs de vitesse et de traceur passif, grâce a une gamme de nombres de Reynolds inégalée et a d'excellentes conditions de stabilité. Les expériences présentées dans cette thèse sont effectuées en géométrie confinée, entre deux disques en rotation. <br /><br />Nous décrivons dans un premier temps les transferts d'énergie a travers les échelles, et en particulier l'existence d'une tendance algébrique vers un régime asymptotique (loi des 4/5 de Kolmogorov) dans la limite des très grands nombres de Reynolds. Nous discutons en détail la validité de l'équation de Kolmogorov dans différentes configurations d'écoulement, et caractérisons en particulier l'influence des grandes échelles sur un tel régime asymptotique. <br /><br />Nous présentons dans un second temps de nouveaux résultats concernant des mesures de fluctuations de température, réalisées pour la première fois dans l'hélium a basse température. Nous caractérisons notamment l'intermittence du scalaire passif sous l'aspect des lois d'échelles anormales. Nous montrons que l'évolution des exposants de fonction de structure suggère la présence d'une saturation aux ordres élevés, signature de statistiques dominées par la présence de fronts intenses. Nous étudions les propriétés statistiques de ces fronts, et mettons en évidence leur répartition auto-similaire. <br /><br />Enfin, nous présentons de nouveaux résultats concernant les fluctuations de pression en turbulence, a partir d'une expérience originale de cavitation dans l'eau. Nous menons une étude qualitative des structures cohérentes de basse pression dans l'écoulement en contrarotation. Nous nous penchons ensuite sur leur contribution aux distributions de pression exponentielles, mesurées en volume, soulignant l'importance des grandes échelles dans la description des fluctuations de pression.
140

Test and Validation of Web Services

Cao, Tien Dung 06 December 2010 (has links)
Nous proposons dans cette thèse les approches de test pour la composition de services web. Nous nous intéressons aux test unitaire et d’intégration d’une orchestration de services web. L’aspect de vérification d’exécution en-ligne est aussi consideré. Nous définissons une plateforme de test unitaire pour l’orchestration de services web qui compose une architecture de test, une relation de conformité et deux approches de test basés sur le modèle de machine à l’états finis étendues temporisés: l’approche offline où les activités de test comme la génération de cas de test temporisé, l’exécution de test et l’assignement de verdict sont appliquées en séquentielle tandis que ces activités sont appliquées en parallèle dans l’approche online. Pour le test d’intégration d’une orchestration, nous combinons deux approches: active et passive.Au debut, l’approche active est utilisée pour activer une nouvelle session d’orchestration par l’envoi d’un message de requête SOAP. Après, tous les messages d’entré et de sortie de l’orchestration sont collectés et analysés par l’approche passive.Pour l’aspect de vérification d’exécution en-ligne, nous nous intéressons à la vérification d’une trace qui respecte un ensemble des constraintes, noté règles, ou pas. Nous avons proposé extendre le langage Nomad en définissant des constraintes sur chaque action atomique et un ensemble de corrélation de données entre les actions pour définir des règles pour le service web. Ce langage nous permet de définir des règles avec le temps futur et passé, et d’utiliser des opérations NOT, AND, OR pour combiner quelque conditions dans le contexte de la règle. Ensuite, nous proposons un algorithme pour vérifier l’exactitude d’une séquence des messages en parallèle avec le moteur de collecte de trace. / In this thesis, we propose the testing approaches for web service composition. We focus on unit, integrated testing of an orchestration of web services and also the runtime verification aspect. We defined an unit testing framework for an orchestration that is composed of a test architecture, a conformance relation and two proposed testing approaches based on Timed Extended Finite State Machine (TEFSM) model: offline which test activities as timed test case generation, test execution and verdict assignment are applied in sequential, and online which test activities are applied in parallel. For integrated testing of an orchestration, we combines of two approaches: active and passive. Firstly, active approach is used to start a new session of the orchestration by sending a SOAP request. Then all communicating messages among services are collected and analyzed by a passive approach. On the runtime verification aspect, we are interested in the correctness of an execution trace with a set of defined constraints, called rules. We have proposed to extend the Nomad language, by defining the constraints on each atomic action (fixed conditions) and a set of data correlations between the actions to define the rules for web services. This language allows us to define a rule with future and past time, and to use the operations: NOT, AND, OR to combines some conditions into a context of the rule. Afterwards, we proposed an algorithm to check correctness of a message sequence in parallel with the trace collection engine. Specifically, this algorithm verifies message by message without storing them.

Page generated in 0.0252 seconds