Les formats actuels de diffusion de documents sur Internet apportent sans conteste de nouvelles possibilités par rapport aux supports traditionnels. Mais les exigences deviennent toujours plus grandes et de nouveaux langages font régulièrement leur apparition pour tenter d'améliorer encore la structure et l'interactivité des documents. Parmi ces langages, certains offrent la possibilité d'animer et synchroniser des composants multimédia. Mais la variété de ces composants (audio, vidéo, texte, image...) font de l'animation un problème compliqué. L'auteur d'un document synchronisé fournit une liste de contraintes temporelles sur les composants de manière à décrire le déroulement de la présentation. Ces composants ont chacun une durée de présentation qui est flexible dans une certaine limite. Tout le problème consiste à trouver un bon ajustement des durées pour que la présentation se déroule au plus proche de ce que souhaite l'auteur tout en évitant les pauses. <br /><br />Le problème peut se modéliser, après quelques restrictions, comme un problème de tension de coût minimal dans un graphe. Pour le résoudre avec des coûts convexes linéaires par morceaux, nous avons étudié différentes approches (programmation linéaire, mise à conformité - out-of-kilter, mise à l'échelle du dual - cost-scaling). Nous proposons également une adaptation de la mise à conformité pour des coûts convexes dérivables. Toutes ces méthodes sont comparées sur des aspects théoriques et pratiques, en considérant des graphes quelconques. <br /><br />Les graphes représentant les contraintes temporelles sont en réalité très structurés et très proches de la classe des graphes appelés série-parallèles, et les méthodes élaborées pour une structure de graphe quelconque ne s'avèrent pas toujours très efficaces. Nous proposons une méthode polynômiale, en opérations, plus adaptée pour résoudre le problème sur des graphes série-parallèles, et que nous appelons agrégation. Mais ces graphes, bien que très proches de la réalité, restent encore une idéalisation. Nous proposons de mesurer l'aspect série-parallèle d'un graphe en définissant la notion de graphe presque série-parallèle, basée sur la décomposition du graphe en composantes série-parallèles. En exploitant l'efficacité de la méthode d'agrégation sur cette décomposition, nous proposons une méthode dite de reconstruction permettant de résoudre le problème pour des graphes presque série-parallèles plus efficacement que les méthodes étudiées précédemment. <br /><br />Lors de cette étude, nous avons développé une bibliothèque de composants réutilisables pour les problèmes de graphes. Nous expliquons en quoi ce type de développement ne peut pas toujours suivre les règles classiques du génie logiciel. Nous montrons comment le paradigme objet peut néanmoins être employé pour la création d'outils efficaces de recherche opérationnelle. Et nous proposons des patrons de conception pour élaborer des composants logiciels (algorithmes et structures de données) génériques, c'est-à-dire indépendants des structures de données qu'ils manipulent et des algorithmes qu'ils emploient, tout en étant fortement extensibles, et cela avec une perte d'efficacité minimale.

Lors de l'exécution des applications à base d'objets, plusieurs millions d'objets peuvent être créés, utilisés et enfin détruits s'ils ne sont plus référencés. Néanmoins, des dysfonc- tionnements peuvent apparaître, quand des objets qui ne sont plus utilisés ne peuvent être détruits car ils sont référencés. De tels objets gaspillent la mémoire principale et les ap- plications utilisent donc davantage de mémoire que ce qui est effectivement requis. Nous affirmons que l'utilisation du gestionnaire de mémoire virtuel du système d'exploitation ne convient pas toujours, car ce dernier est totalement isolé des applications. Le système d'exploitation ne peut pas prendre en compte ni le domaine ni la structure des applications. De plus, les applications n'ont aucun moyen de contrôler ou influencer la gestion de la mémoire virtuelle. Dans cette thèse, nous présentons Marea, un gestionnaire de mémoire virtuelle piloté par les applications à base d'objets. Il constitue une solution originale qui permet aux développeurs de gérer la mémoire virtuelle au niveau applicatif. Les développeurs d'une application peuvent ordonner à notre système de libérer la mémoire principale en trans- férant les objets inutilisés, mais encore référencés vers une mémoire secondaire (telle qu'un disque dur). En plus de la description du modèle et des algorithmes sous-jacents à Marea, nous présentons notre implémentation dans le langage Pharo. Notre approche a été validée à la fois qualitativement et quantitativement. Ainsi, nous avons réalisés des expérimentations et des mesures sur des applications grandeur-nature pour montrer que Marea peut réduire l'empreinte mémoire de 25% et jusqu'à 40%.

La densification actuelle de l'urbanisation conduit à un changement d'occupation du sol et du réseau de drainage en zone péri-urbaine. L'écoulement est concentré dans des fossés ou des réseaux d'assainissement et ainsi accéléré. Ces phénomènes peuvent avoir des conséquences importantes pour les nappes et les cours d'eau, comme par exemple l'aggravation des crues et des sécheresses et l'altération de la qualité chimique et/ou biologique du milieu. Sous la pression réglementaire (Directive Cadre Européenne sur l'Eau) et la demande sociale, les gestionnaires sont donc confrontés à des choix complexes en terme d'aménagement. Ainsi, il est nécessaire de mettre au point des méthodes et des modèles capables de quantifier l'impact de l'augmentation de l'urbanisation sur la vulnérabilité des hydro-systèmes péri-urbains. Dans ce travail, nous formulons l'hypothèse qu'une modélisation hydrologique spatialisée continue, prenant explicitement en compte les objets des paysages périurbains (parcelles urbaines, agricoles, forestières, haies,..) et les éléments déterminant les chemins de l'eau (topographie, mais aussi réseaux d'assainissement ou de routes) peut aider à comprendre et hiérarchiser le rôle des différents objets du paysage sur la réponse hydrologique. Pour ce faire, le modèle distribué PUMMA (Peri-Urban Model for landscape Management) adapté aux bassins versants péri-urbains, a été développé dans le cadre de cette thèse. Il consiste en une intégration du modèle existant URBS, décrivant des processus hydrologiques urbains à l'échelle d'une parcelle cadastrale, dans la plate-forme de modélisation LIQUID, qui contient déjà des modules représentants des processus hydrologiques en zone rurale. PUMMA a également été complété par de nouveaux modules simulant les déversoirs d'orage, les bassins de rétention et le transfert du ruissellement de surface. Le modèle suit une approche orientée objet dans laquelle le paysage est divisé en mailles irrégualières, correspondant aux parcelles cadastrales en zone urbaine et aux unités de réponse hydrologiques (HRUs) en zone rurale. Afin de pouvoir appliquer le modèle à l'échelle d'un bassin versant, des méthodes automatiques pour la préparation des données géographiques ont été mises au point. De plus, une méthode a été développée pour déterminer les contours de bassins versants péri-urbains, en distinguant les surfaces contributives de temps sec et humide. Le modèle a été appliqué au bassin versant de la Chaudanne, un sous-bassin de l'Yzeron, situé en zone péri-urbaine lyonnaise pour deux années en conditions contrastées (sèche et humide). Les paramètres du modèle ont été spécifiés à partir des observations disponibles et des données de la littérature. Les résultats montrent un comportement du modèle réaliste et une aptitude à représenter les comportements différents en période sèche et humide, en lien avec des degrés de saturation des sols différents, même si les pics de débits d'été sont en général surestimés. Différents tests de sensibilité sur certains processus/paramètres montrent l'importance des processus urbains sur la réponse hydrologique du bassin, comme en particulier la génération de ruissellement de surface par les surfaces imperméables et naturelles urbaines, le drainage de l'eau du sol par les réseaux d'assainissement et les connexions entre les îlots urbains et le réseau hydrographique naturel et artificiel. L'épaisseur des sols et la conductivité hydraulique à saturation latérale jouent aussi un rôle important sur la dynamique du débit de base. Nous montrons aussi le potentiel du modèle pour tester différents scenarii d'aménagement ou de gestion des eaux pluviales.

De nos jours, le transport maritime, en pleine évolution, joue un rôle très important dans le monde économique. Face à ce contexte, les différents maillons des chaînes logistiques portuaires sont tenus à améliorer continuellement leur performance pour rester compétitifs. Dans cette thèse, nous proposons une approche, appelée ECOGRAISIM, pour l'évaluation de la performance d'une chaîne logistique portuaire. Elle combine la méthode ECOGRAI et la simulation afin de déterminer et de mesurer les indicateurs de performance. L’originalité dans ce travail est que l’approche ECOGRAISIM offre une étape supplémentaire qui consiste à montrer efficacement comment peut-on agir sur le système à évaluer. Dans notre démarche ECOGRASIM, nous nous intéressons à la phase concernant les variables d'action et nous proposons une nouvelle étape pour réaliser le pilotage par la performance. Nos travaux de recherche concernent tout particulièrement le terminal multimodal du port du Havre. Nous nous focalisons sur les processus de manutention et de transfert massifié des conteneurs par navettes ferroviaires. Le but est d’obtenir un mode d’exploitation performant du terminal multimodal en comparant les différents scénarios de transfert des conteneurs par rapport à la minimisation des retards, des coûts et des émissions de CO2. / Nowadays, maritime transport, in full evolution, plays a very important role in the economic world. Against this background, the different seaport supply chains entities must improve continuously their performance to remain competitive. In this thesis, we propose an approach called ECOGRAISIM for evaluating the performance of seaport supply chain. It combines ECOGRAI method and simulation to identify and to measure performance indicators. The originality of the ECOGRAISIM approach is to provide an additional step to show how to act on the system to be evaluated. In this approach, we focus on action variables and we propose a new step to achieve the performance control. Our research works concern the multimodal terminal of Le Havre seaport. We focus on the processes of handling and massified transfer of containers by rail shuttles. The goal is to obtain an efficient operating process for the multimodal terminal by comparing different scenarios of containers transfer according to the minimization of delays, costs and CO2 emissions.

Désormais, les clients ne se satisfont plus seulement d’une offre diversifiée de produits mais ils demandent à être partie prenante pendant les processus de développement et de configuration afin d’obtenir des produits le plus personnalisés possible en regard de leurs attentes. La contribution des clients à ces processus conduit à des changements dans l’organisation de la conception, dans le modèle de gestion de l'entreprise, la définition du produit. Tout d'abord, nous présentons le modèle de conception en configuration personnalisée nommé Auser. Nous décrivons tout d’abord les fondamentaux théoriques du modèle de conception en configuration pour personnalisation orientée utilisateur. Dans le deuxième chapitre, la méthode de conception est étudiée, y compris la description formelle des entités décrivant le produit, la construction de l'ontologie ainsi que la modélisation par fonctions, composants et services. Le troisième chapitre présente la configuration de modèle de produit personnalisé par l'utilisateur final du robot industriel. Ces utilisateurs peuvent spécifier les objectifs et contraintes de la mise en œuvre des robots industriels par le biais des paramètres et attributs. / In today's market, obtaining a variety of products through configuration design has become increasingly common. However, with the development of the market, customers have not only satisfied the company offering a variety of products, and more demands on participating in the process of configuration design by themselves, so that they can obtain fully personalized products. Customer participation leads to the changes of design process, company's management model, etc. Based on the above problem, this thesis takes industrial robot as an example, and studies the management issues related to the customer involved in the design, in order to address the contradiction between product diversification, personalized requirements and the long design cycle and high manufacturing costs. Firstly, Auser-customized configuration design pattern is presented. The theory source of user-customized configuration design pattern is introduced, and then the related concepts are expounded. The corresponding business mode of user-customized configuration design pattern is given, and the key technologies to realize business mode is studied. System dynamics models were established for user-customized configuration design business mode and for traditional business mode of industrial robots by Anylogic simulation software. Secondly, the component-based theory and method are studied, including the formal description of things, ontology representation, componentization and servitization. On this basis, the componentization description model is established for the product parts. And the model is represented as service-component. Next, the formation process and extension method of service-component are introduced. An example of industrial robot components modeling is analyzed, includingestablishing industrial robot domain ontology by protégé, describing, instantiating and extensing components. Thirdly, the industrial robot user-customized configuration design template is constructed, and users can obtain the industrial robot meeting constraints through parameters setting; The kinematics and dynamics analysis on template is taken by Simscape model, and the dynamic parameters is analyzed, and the finite element analysis on template is taken by ANSYS, including statics analysis and modal analysis. The parameters flow process in template is analyzed. Then taking industrial robot user-customized configuration design using configuration template as an example, the configuration template is analyzed in application. Fourthly, the internal algorithm of user-customized configuration design is researched. Platform-based and user-leading user-customized configuration design process is constructed, and then the internal algorithm to keep the design running smoothly is studied, including the degree of freedom determination, fuzzy demand calculation, and service-component configuration and the configuration program evaluation. A case analysis is also taken for the internal algorithm Finally, on the basis of the previous section, the prototype system design of the open design platform is taken. Based on system requirements analysis and system design, the main pages of the platform are designed, and the key functions are introduced .

Dans cette thèse nous apportons deux contributions importantes par l'outil de l'abstraction mathématique : - La première contribution concerne la mécanique et plus précisément la modélisation dynamique des systèmes articulés. L'abstraction mathématique par la théorie des groupes et algèbres de Lie coordonnée avec un usage judicieux de la notion des nombres duaux permet d'élaborer un langage très commode où les modèles géométriques et dynamiques des systèmes mécaniques poly-articulés s'expriment sous une forme syntaxique relativement simple (malgré la complexité du système). De nouvelles méthodes pour la description des configurations des systèmes multicorps et un algorithme récurrent original (et très efficace) sont alors développés grâce à ce langage. - La seconde contribution concerne le domaine informatique en calcul formel. Elle est basée sur le typage algébrique, les techniques de réécriture et la génération automatique des codes (programmation assistée par ordinateur). Les problèmes soulevés nécessitent de nouvelles architectures de systèmes de calcul formel. Dans cet ordre d'idées, un prototype de système de calcul formel (SURVEYOR) basé sur la réécriture typée et une extension (MEDUSA MF77) du système Maple ont été réalisés. Un outil informatique pour la génération automatique des codes Fortran et Maple des schémas de calcul optimisés relatifs à notre formulation dynamique est développé à l'aide du système MEDUSA MF77. Plusieurs applications en calcul symbolique et en robotique sont, par ailleurs, présentées en annexes sous forme de réalisations informatiques des aspects théoriques traités.

Ce travail porte sur la caractérisation spatiale et la quantification de l'influence des pressions environnantes (occupation des sols à différentes échelles, du bassin versant amont au corridor rivulaire local) sur l'état écologique des cours d'eau. Abordée au niveau régional l'étude porte une attention particulière aux corridors rivulaires pour leur intérêt dans l'élaboration de stratégies de préservation et de restauration en application de la Directive Cadre européenne sur l'Eau. Elle repose sur le développement de méthodologies robustes et fiables (i) de cartographie fine de l'occupation des sols dans les corridors rivulaires, (ii) de construction d'indicateurs spatialisés traduisant cette occupation et (iii) de modélisation pressions/impacts quantifiant le lien entre occupation des sols dans les corridors rivulaires et état écologique des milieux aquatiques. Les résultats utilisant ces avancées méthodologiques montrent l'intérêt de disposer d'une donnée d'occupation du sol à Très Haute Résolution Spatiale sur de grands territoires, d'indicateurs calculés sur différentes emprises spatiales au niveau du corridor qui traduisent les mécanismes d'impacts d'une catégorie d'occupation du sol donnée sur l'état écologique pour améliorer l'identification et la localisation des sources de pressions dans ces espaces. Ils mettent en évidence également au niveau régional le rôle significatif des formations végétales rivulaires locales sur l'état écologique des cours d'eau, ceci sur une bande de 20 m de part et d'autre du cours d'eau.

Les données de télédétection acquises à Très Haute Résolution Spatiale (THRS) constituent une source d'information importante pour le suivi détaillé des changements d'occupation du sol sur de petites surfaces. Ces données sont particulièrement intéressantes pour les applications dans les milieux urbains et périurbains car elles permettent d'appréhender des changements brusques et irréguliers autant que des modifications subtiles et régulières. Toutefois, l'exploitation d'images à THRS nécessite des développements méthodologiques, les méthodes de détection de changement généralement utilisées pour traiter les images à basse et moyenne résolution n'étant pas adaptées : d'une part l'étendue et la résolution spectrale des capteurs à THRS sont souvent inférieures à celles des autres capteurs, la résolution spectrale des capteurs diminuant avec l'augmentation de leur résolution spatiale. D'autre part, la variabilité spectrale des pixels définissant les classes d'occupation du sol augmente en fonction de la résolution spatiale. Cette thèse présente ainsi une série d'outils méthodologiques qui permettent d'identifier et de caractériser automatiquement des changements affectant de petites surfaces à partir de données à THRS acquises à différentes dates et provenant de différentes sources. Contrairement à la majorité des méthodes utilisées en télédétection, l'originalité des outils présentés ne repose pas exclusivement ou essentiellement sur l'utilisation de l'information spectrale de l'image ; ils reposent surtout sur les propriétés de texture des objets géographiques observés. La texture est caractérisée à partir d'une analyse des coefficients issus d'une décomposition en ondelettes des images. Les outils développés comprennent : une méthode de correction de l'effet de vignettage des photographies aériennes anciennes ; une technique de segmentation d'images ; une méthode d'estimation de l'orientation dominante de motifs texturés ; une méthode de classification ; une méthode de détection de changements. L'ensemble de ces outils a été validé à partir d'exemples synthétiques, puis appliqué sur un secteur périurbain de l'agglomération rennaise afin de détecter les changements d'occupation et d'utilisation des sols à partir de photographies aériennes acquises en 1978 et 2001. Les taux de changement correctement détectés, qui varient de 78 % à 85 %, montrent l'intérêt d'exploiter la texture pour classer des images à THRS. Il est possible de détecter automatiquement différents types de changements et ainsi de distinguer des changements de pratiques culturales et des changements liés à l'artificialisation des sols. Les outils développés dans cette thèse sont génériques et s'appliquent à l'analyse de tout objet texturé. Ainsi nous avons exploité certains outils proposés pour détecter et caractériser des parcelles viticoles ou estimer des mouvements fluides en aéronautique

La densification actuelle de l'urbanisation conduit à un changement d'occupation du sol et du réseau de drainage en zone péri-urbaine. L'écoulement est concentré dans des fossés ou des réseaux d'assainissement et ainsi accéléré. Ces phénomènes peuvent avoir des conséquences importantes pour les nappes et les cours d'eau, comme par exemple l'aggravation des crues et des sécheresses et l'altération de la qualité chimique et/ou biologique du milieu. Sous la pression réglementaire (Directive Cadre Européenne sur l'Eau) et la demande sociale, les gestionnaires sont donc confrontés à des choix complexes en terme d'aménagement. Ainsi, il est nécessaire de mettre au point des méthodes et des modèles capables de quantifier l'impact de l'augmentation de l'urbanisation sur la vulnérabilité des hydro-systèmes péri-urbains. Dans ce travail, nous formulons l'hypothèse qu'une modélisation hydrologique spatialisée continue, prenant explicitement en compte les objets des paysages périurbains (parcelles urbaines, agricoles, forestières, haies,..) et les éléments déterminant les chemins de l'eau (topographie, mais aussi réseaux d'assainissement ou de routes) peut aider à comprendre et hiérarchiser le rôle des différents objets du paysage sur la réponse hydrologique. Pour ce faire, le modèle distribué PUMMA (Peri-Urban Model for landscape Management) adapté aux bassins versants péri-urbains, a été développé dans le cadre de cette thèse. Il consiste en une intégration du modèle existant URBS, décrivant des processus hydrologiques urbains à l'échelle d'une parcelle cadastrale, dans la plate-forme de modélisation LIQUID, qui contient déjà des modules représentants des processus hydrologiques en zone rurale. PUMMA a également été complété par de nouveaux modules simulant les déversoirs d'orage, les bassins de rétention et le transfert du ruissellement de surface. Le modèle suit une approche orientée objet dans laquelle le paysage est divisé en mailles irrégualières, correspondant aux parcelles cadastrales en zone urbaine et aux unités de réponse hydrologiques (HRUs) en zone rurale. Afin de pouvoir appliquer le modèle à l'échelle d'un bassin versant, des méthodes automatiques pour la préparation des données géographiques ont été mises au point. De plus, une méthode a été développée pour déterminer les contours de bassins versants péri-urbains, en distinguant les surfaces contributives de temps sec et humide. Le modèle a été appliqué au bassin versant de la Chaudanne, un sous-bassin de l'Yzeron, situé en zone péri-urbaine lyonnaise pour deux années en conditions contrastées (sèche et humide). Les paramètres du modèle ont été spécifiés à partir des observations disponibles et des données de la littérature. Les résultats montrent un comportement du modèle réaliste et une aptitude à représenter les comportements différents en période sèche et humide, en lien avec des degrés de saturation des sols différents, même si les pics de débits d'été sont en général surestimés. Différents tests de sensibilité sur certains processus/paramètres montrent l'importance des processus urbains sur la réponse hydrologique du bassin, comme en particulier la génération de ruissellement de surface par les surfaces imperméables et naturelles urbaines, le drainage de l'eau du sol par les réseaux d'assainissement et les connexions entre les îlots urbains et le réseau hydrographique naturel et artificiel. L'épaisseur des sols et la conductivité hydraulique à saturation latérale jouent aussi un rôle important sur la dynamique du débit de base. Nous montrons aussi le potentiel du modèle pour tester différents scenarii d'aménagement ou de gestion des eaux pluviales. / Urban expansion mainly affects peri-urban areas. These areas are subject to rapid modifications such as an increase of impervious areas or concentration of runoff in sewer systems. These changes have an impact on local hydrology and can induce floods, pollution or decrease of groundwater resource. Modelling tools allowing a quantification of the sensitivity of peri-urban catchments to urbanization are therefore useful in this context. The hypothesis underlying this PhD is that a continuous distributed hydrological model, taking explicitly into account the spatial organization of the landscape (urban, agricultural, forest areas, hedges,..) and the water pathways, as determined by topography but also roads and sewer networks, can help to understand and hierarchize the role of various landscape elements on the hydrological response of small hydrosystems. We therefore designed the Peri-Urban Model for landscape MAnagement (PUMMA) simulating the rainfall-runoff processes both in urban and in rural areas. For this, the urban model URBS was integrated into the LIQUID modelling framework already containing modules describing hydrological processes in rural areas. Additionally, three process modules were developed describing sewer overflow devices, overland flow as well as retention basins and lakes. PUMMA follows an object-oriented approach. The landscape is discretized into cadastral parcels in urban areas and irregular hydrological response units in rural areas. In order to apply PUMMA to the catchment scale, automatic methods were developed for the pre-processing of the geographical data. Furthermore, a method for the delineation of suburban catchments including the separation into dry and wet weather contributing areas was developed. The model was then applied to the Chaudanne catchment, a sub-basin of the Yzeron, located in the peri-urban area of Lyon, France. The model was run continuously for two contrasting years (dry and humid) using parameters values taken from observations and the literature. Although summer peak discharge is often overestimated, the results show that, the model is able to simulate realistically the observed discharges and in particular different responses under dry and wet conditions, controlled by the soil saturation. Sensitivity tests to various processes/parameters showed the importance of the urban influenced processes on the hydrological response, in particular surface runoff generation on impervious and natural urban surfaces, infiltration into the sewer system and the connexion of urban areas to the natural hydrographic network. Soil depth and lateral saturated hydraulic conductivity were also found influential on the base flow dynamics. We finally showed the model potential for the evaluation of various rain water management scenarios.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Plusieurs modèles de maintenance exigent que les changements soient faits et documentés dans les spécifications des besoins et soient par la suite propagés vers le code source à travers les modè­les d'analyse et de conception. Ces modèles supposent donc un haut niveau de traçabilité comme facteur clé de maintenabilité. Cette traçabilité ne peut être obtenue sans une approche transforma­tionnelle au développement des logiciels. Cette thèse a pour objectif de fournir une approche transformationnelle pour supporter l' ingénie­rie des besoins à l'aide des scénarios et pour appliquer les patrons de conception au moyen d'algorithmes et de processus. Le langage unifié de modélisation (Unified Modeling Language, UML) a été adopté comme notation de modélisation. Dans le support de l'ingénierie des besoins, nous proposons, premièrement, un algorithme incrémental pour la synthèse des spécifications dynamiques à partir des scénarios. Cet algorithme prend comme entrée un ensemble de diagrammes de collaboration d'UML et produit en sortie les diagrammes d'états-transitions d'UML de tous les objets collaborant dans les scénarios d'entrée. En outre cet algorithme permet la vérification de la cohérence et de la complétude des scénarios. Deuxièmement, un autre algorithme est conçu pour la génération d'un prototype de l'interface usager (IU) à partir de la spécification des scénarios. Les scénarios sont acquis sous forme de dia­grammes de collaboration enrichis par des informations de l'IU. Ce prototype de l'IU peut être exécuté par un constructeur d'IU ce qui permet non seulement la validation des scénarios avec les utilisateurs mais aussi sa personnalisation et son raffinement éventuel. L'application automatique des patrons de conception est réalisée par une nouvelle approche pour le raffinement successif des modèles (en format UML) statiques et dynamiques de conception. Ces raffinements successifs sont basés sur des schémas de raffinement. Un schéma de raffinement est composé de deux compartiments. Le premier compartiment décrit le modèle abstrait de con­ception, et le deuxième compartiment montre le modèle détaillé correspondant après l'application d'un patron de conception. Nous proposons aussi un catalogue de schémas de micro-raffinement qui permettent non seulement de décrire un schéma de raffinement mais aussi de prouver sa vali­dité. / Several maintenance models suggest that changes be done and docurnented in the requirernents specification and subsequently propagated through the analysis and design models to the source code. These models require all a high level of traceability. Such traceability can only be obtained by a transformational approach to software development. The objective of this thesis is to provide a transformational approach for supporting requirernents engineering based on scenarios and for applying design patterns by rneans of algorithms and pro­cesses. The Unified Modeling Language (UML) was adopted as the notational framework. For supporting requirements engineering, we propose first an incrernental algorithm for synthesiz­ing behavioral specifications frorn scenarios. This algorithrn generates from a given set of UML collaboration diagrams the UML statechart diagrams of all the abjects involved. Moreover, this algorithm allows for the verification of consistency and cornpleteness of the input scenarios. Secondly, another algorithm is designed to generate a user interface (UI) prototype from scenar­ios. Scenarios are acquired in the form of UML collaboration diagrams, which are enriched with UI information. This UI prototype can be executed in a UI builder environment for the validation of the scenarios by the users, for customization, and for further refinernent. The automatic application of design patterns is achieved by a new approach to the stepwise refine­ment of static and dynamic design models represented as UML diagrams. Refinement is based on refinement schemas which are cornposed of two compartments. The first compartrnent describes the abstract design model, whereas the second compartment shows the corresponding detailed rnodel after application of one design pattern. We also propose a catalogue of smaller transforma­tions called micro-refinement schernas. These micro-refinernent schernas are proven to be correct and can be used to compose correct refinernent schemas.