Le déploiement arrive en fin de cycle de vie du logiciel. Cette étape a pris une grande importance dans les entreprise ayant un grand nombre de machines à gérer : on parle alors de déploiement à grande échelle. Les entreprises souhaitent pouvoir automatiser cette étape, pour éviter d'avoir à répéter les mêmes étapes plusieurs fois. Cependant, elles souhaitent garder un certain contrôle sur les activités de déploiement, en imposant différentes contraintes (même version d'une application sur un groupe de machines, préférence pour des applications avec certaines caractéristiques, ordonnancement prioritaire, ...). Dans notre travail, nous définissons un méta-modèle de déploiement permettant d'automatiser le traitement des données liées au déploiement. Nous définissons aussi des stratégies de déploiement qui permettent aux entreprises de définir leur propres contraintes de déploiement, selon leurs besoins et leurs préférences.

Ce travail de recherche est centré sur une proposition pour l'intégration de différents formalismes dans la modélisation soit de modèles de méthodes orientées objets, soit de modèles de systèmes d'information. Pour remplir cet objectif nous avons établi et expérimenté un méta-modèle. Une originalité de notre méta-modèle est son organisation en vues pour décrire des modèles selon des aspects statiques, dynamiques mais aussi semi-formels, formels et informels. Nos propositions sont précédées d'une étude de différents langages et formalismes qui caractérisent les approches actuelles de modélisation. Ce cadre de méta-modélisation est étendu pour favoriser une multi-modélisation de systèmes. D'une manière classique, la multi-modélisation est limitée à l'utilisation de diagrammes complémentaires pour décrire un système. Nous complétons cette forme de multi-modélisation par une étude de relations nécessaires entre différents fragments de modèles décrits avec des formalismes variés : semi-formels, formels ou informels. Pour concrétiser notre proposition nous avons réalisé un premier prototype d'atelier pour illustrer et expérimenter les services que nous attendons d'un atelier de modélisation adapté à des modélisations plus rigoureuses de systèmes d'information. Ce prototype est en réalité un générateur d'ateliers de modélisation basé sur l'utilisation de trois logiciels différents de type générateur d'éditeurs graphiques, générateur d'éditeurs syntaxiques et éditeur paramètre de documents structurés. Notre prototype a été utilisé dans plusieurs situations : méta-modélisation de sous-ensembles des méthodes OMT et OOA, proposition d'un noyau de référentiel de comparaison de modèles de méthodes, multi-modélisation d'un système d'information spécifique (modèle STORM d'applications multimédias) et guidage d'une multi-modélisation au travers d'un canevas standard de dossier de spécifications de systèmes.

La quantité d'hydrocarbures récupérés peut être considérablement augmentée si un placement optimal des puits non conventionnels à forer, peut être trouvé. Pour cela, l'utilisation d'algorithmes d'optimisation, où la fonction objectif est évaluée en utilisant un simulateur de réservoir, est nécessaire. Par ailleurs, pour des réservoirs avec une géologie complexe avec des hétérogénéités élevées, le problème d'optimisation nécessite des algorithmes capables de faire face à la non-régularité de la fonction objectif. L'objectif de cette thèse est de développer une méthodologie efficace pour déterminer l'emplacement optimal des puits et leurs trajectoires, qui offre la valeur liquidative maximale en utilisant un nombre techniquement abordable de simulations de réservoir.Dans cette thèse, nous montrons une application réussie de l'algorithme "Covariance Matrix Adaptation - Evolution Strategy" (CMA-ES) qui est reconnu comme l'un des plus puissants optimiseurs sans-dérivés pour l'optimisation continue. Par ailleurs, afin de réduire le nombre de simulations de réservoir (évaluations de la fonction objectif), nous concevons deux nouveaux algorithmes. Premièrement, nous proposons une nouvelle variante de la méthode CMA-ES avec des méta-modèles, appelé le nouveau-local-méta-modèle CMA-ES (nlmm-CMA), améliorant la variante déjà existante de la méthode local-méta-modèle CMA-ES (lmm-CMA) sur la plupart des fonctions de benchmark, en particulier pour des tailles de population plus grande que celle par défaut. Ensuite, nous proposons d'exploiter la séparabilité partielle de la fonction objectif durant le processus d'optimisation afin de définir un nouvel algorithme appelé la partiellement séparable local-méta-modèle CMAES (p-sep lmm-CMA), conduisant à une réduction importante en nombre d'évaluations par rapport à la méthode CMA-ES standard.Dans cette thèse, nous appliquons également les algorithmes développés (nlmm-CMA et p-sep lmm-CMA) sur le problème de placement des puits pour montrer, à travers plusieurs exemples, une réduction significative du nombre de simulations de réservoir nécessaire pour trouver la configuration optimale des puits. Les approches proposées sont révélées prometteuses en considérant un budget restreint de simulations de réservoir, qui est le contexte imposé dans la pratique.Enfin, nous proposons une nouvelle approche pour gérer l'incertitude géologique pour le problème d'optimisation de placement des puits. L'approche proposée utilise seulement une réalisation, ainsi que le voisinage de chaque configuration, afin d'estimer sa fonction objectif au lieu d'utiliser multiples réalisations. L'approche est illustrée sur un cas de réservoir de benchmark, et se révèle être en mesure de capturer l'incertitude géologique en utilisant un nombre réduit de simulations de réservoir.

Le modèle OFL (Open Flexible Languages) décrit et réifie le comportement des langages à objets à classes courants tels Java, C++ ou Eiffel et permet de modifier, d'adapter, ce comportement. Dans cette optique, les notions de classe --- généralisée sous le nom de "description" --- et de "relation entre descriptions" sont réifiées. Chaque langage est décrit sous la forme d'un ensemble de composants formé de types de description et de types de relation. Pour définir chaque composant, le méta-programmeur doit donner une valeur à un ensemble de paramètres qui décrivent la sémantique opérationnelle du composant. Par exemple, pour définir une nouvelle relation, il devra répondre aux questions : La relation définit-elle une utilisation ou une importation ? La relation permet-elle le polymorphisme ? Si oui, dans quel(s) sens ? Quelle est sa cardinalité maximale ? Peut-elle être circulaire, répétée ? Possède-t-elle une relation inverse ? Une fois ces types de description et de relation définis par le méta-programmeur, le programmeur est en mesure d'en faire usage pour la réalisation de son application. Le but du modèle OFL est d'aider à améliorer la qualité du code produit en donnant plus d'information et donc de précision sur les relations entre descriptions. Nous souhaitons de cette manière favoriser l'évolution et la maintenabilité des applications par l'intermédiaire d'une meilleure spécification, d'une documentation plus explicite, de contrôles automatiques plus pertinents, ... Il s'agit également d'offrir une plus grande souplesse au programmeur en lui permettant, par une phase de paramétrage ou de méta-programmation, de mieux adapter son langage de programmation de prédilection à ses besoins. L'objectif de cette thèse est de définir le modèle OFL et d'en présenter des exemples d'application.

<p>De nos jours, il est peu de processus ou de tâches qui ne requièrent pas l'optimisation d'une quantité : diminuer le temps de livraison, diminuer l'espace utilisé, réduire les efforts de développement, ... C'est donc sans surprise que la recherche en optimisation soit l'un des domaines les plus actifs des sciences des technologies de l'information. En optimisation combinatoire, les métaheuristiques sont à compter parmi le fleuron des techniques algorithmiques. Mais ce succès est encore au prix d'une quantité significative de temps de conception et développement. Ne serait-il pas possible d'aller encore plus loin ? D'automatiser la préparation des métaheuristiques ? En particulier dans des conditions telles le manque de temps, l'ignorance de techniques spécialisées ou encore la mauvaise compréhension du problème traité ? C'est ce à quoi nous répondons dans la présente thèse au moyen d'une approche de méta-modélisation de la recherche : l'heuristique de la Gestalt.</p> <p>Considérant la représentation du problème comme un levier que l'on peut activer sous le processus de recherche mené par une métaheuristique, la thèse suggère la construction d'une abstraction de cette représentation capable d'assister la métaheuristique à trouver de bonnes solutions en contraignant sa recherche. Cette approche, inspirée de la psychologie de la Gestalt, nous l'appelons l'heuristique de la Gestalt. Son fonctionnement repose principalement sur l'agrégation des variables de la représentation. Cette agrégation donne lieu à une abstraction structurelle, mais également fonctionnelle en ce sens que les opérateurs de la métaheuristique doivent désormais respecter l'intégrité des agrégats définis.</p> <p>Après avoir établi le contexte de la dissertation, nous discutons de la transposition de la psychologie de la Gestalt dans le cadre de l'optimisation combinatoire et des métaheuristiques. S'ensuit la formalisation de l'heuristique de la Gestalt et la description de sa réalisation. Finalement, une série d'études expérimentales sont menées pour éprouver le concept avancé et valider l'implémentation basée sur les algorithmes évolutionnistes que nous proposons. En conclusion, nous affirmons que l'implémentation de l'heuristique de la Gestalt basée, entre autres, sur un algorithme génétique de groupement est capable d'assister positivement des algorithmes génétiques lorsque les instances de problèmes traitées possèdent une structure riche et complexe, que leur taille est importante, que l'on est tôt dans le processus d'optimisation et que l'algorithme génétique n'est pas paramétré spécifiquement.</p>

Cette thèse décrit une nouvelle approche pour la méta-programmation sûre. Un méta-programme est un programme qui manipule des programmes ou assimilés. Les compilateurs et systèmes de preuves sont de bons exemples de méta-programmes qui bénéficieraient de cette approche. Dans ce but, ce travail se concentre sur la représentation des noms et des lieurs dans les structures de données. Les erreurs de programmation étant courantes avec les techniques usuelles, nous proposons une interface abstraite pour les noms et les lieurs qui élimine ces erreurs. Cette interface est implémentée sous forme d'une bibliothèque en Agda. Elle permet de définir et manipuler des représentations de termes dans le style nominal. Grâce à l'abstraction, d'autres styles sont aussi disponibles : le style de De Bruijn, les combinaisons de ces styles, et d'autres encore. Nous indiçons les noms et les termes par des mondes. Les mondes sont en même temps précis et abstraits. Via les relations logiques et la paramétricité, nous pouvons démontrer dans quel sens notre bibliothèque est sûre, et obtenir des "théorèmes gratuits" à propos des fonctions monde-polymorphiques. Ainsi une fonction monde-polymorphique de transformation de termes doit commuter avec n'importe quel renommage des variables libres. La preuve est entièrement conduite en Agda. Notre technique se montre utile sur plusieurs exemples, dont la normalisation par évaluation qui est connue pour être un défi. Nous montrons que notre approche indicée par des mondes permet d'exprimer un large panel de type de données grâce a des langages de définition embarqués.

En analysant 118 observations provenant de 20 études empiriques indépendantes mais similaires, on s'attache particulièrement à comprendre comment les différentes spécifications du modèle, le choix et la définition des variables, ainsi que la méthodologie retenue peuvent affecter les estimations de l'inégalité salariale entre les travailleurs qualifiés et non-qualifiés. Ces facteurs d'influence, autant de sources de divergence entre les estimations produites, sont examinés en appliquant une approche scientifique dénommée « Méta-analyse ». Les résultants de la méta-analyse suggèrent que les études se montrent très sensibles aux variables utilisées. Le choix des variables explicatives d'intérêt revêt une importance capitale. Nos estimations visent aussi à informer les chercheurs que le choix méthodologique ne semble guère avoir un impact significatif sur les estimations des inégalités en termes des salaires relatifs. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Commerce international, Distribution de revenus, Inégalités salariales, Main-d'oeuvre qualifiée/non-qualifiée, Méta-analyse.

Notre travail porte sur le problème de bin-packing qui consiste à déterminer le nombre minimum de grands rectangles (bins) nécessaires pour ranger un ensemble de petits rectangles (objets). Ce problème d'optimisation combinatoire est NP-difficile au sens fort. Nous proposons des prétraitements des objets permettant la valorisation des espaces perdus dans les bins et la diminution de la taille du problème à résoudre. Nous proposons une nouvelle méthode d'évaluation de bornes inférieures tenant compte de la possibilité de tourner les objets de 90 degrés. Nous procédons à une résolution approchée du problème grâce à deux nouvelles méthodes : une heuristique et un algorithme de recherche tabou.

Les organisations subissent de fréquents changements. Pour rester compétitives, leurs<br />processus d'entreprise et leur système d'information doivent évoluer de concert, ce qui n'est<br />pas aisé. Bien souvent, l'évolution se fait de manière séparée voire divergente. Or, une rupture<br />de la relation d'alignement entre système et processus entraîne une baisse de la performance<br />de l'organisation. L'organisation a donc besoin de maîtriser l'évolution conjointe du système<br />et des processus, ce qui suppose de savoir si le système et les processus gèrent la même<br />information ou permettent d'atteindre les mêmes buts, pour pouvoir ensuite corriger le<br />système ou les processus. Les directeurs de systèmes d'information considèrent le problème<br />de l'alignement comme leur priorité absolue mais ils admettent qu'il reste encore mal posé et,<br />a fortiori, mal résolu.<br />De nombreux chercheurs s'intéressent au problème de l'alignement, le plus souvent sous<br />l'angle de l'alignement de la politique du développement du système d'information sur la<br />politique de développement de l'entreprise (alignement stratégique). Nous proposons de nous<br />écarter de cette vision réductrice en abordant le problème de l'alignement, de façon<br />rigoureuse et formelle, dans un contexte d'évolution qui correspond à la réalité quotidienne<br />des organisations et permet de mieux comprendre les enjeux et les concepts de l'ingénierie de<br />l'alignement.<br />Cette thèse apporte des réponses au problème de l'alignement et de son maintien au cours du<br />temps. Nous définissons précisément et formellement les concepts nécessaires à la mesure, à<br />la correction et à l'évolution de l'alignement entre un système et des processus d'entreprise.<br />Ainsi, nous proposons dix métriques permettant d'évaluer différents aspects complémentaires<br />de la relation d'alignement. Ces métriques sont bâties sur l'utilisation de modèles pour<br />représenter le système et les processus d'entreprise et la définition de deux types de liens<br />entre les concepts de ces modèles.<br />Nous proposons également une méthode, la méthode ACEM (Alignment Correction and<br />Evolution Method), pour corriger l'alignement et faire évoluer conjointement le système et les<br />processus d'entreprise. Cette méthode matérialise la relation d'alignement à un niveau<br />intentionnel par le biais d'un modèle pivot. Elle guide les ingénieurs d'alignement dans la<br />réalisation des différentes étapes du processus tout en leur laissant une grande liberté de<br />choix. L'ingénieur fait évoluer le modèle pivot en exprimant explicitement les exigences<br />d'évolution sous forme d'opérateurs d'écart.<br />Ces métriques et ces opérateurs doivent pouvoir être utilisés dans des contextes variés. C'est<br />pourquoi nous les avons définis à un niveau générique, indépendamment de tout méta-modèle<br />spécifique. Des processus permettent de les générer de façon rigoureuse et aisée pour des<br />méta-modèles particuliers sans faire appel aux connaissances des ingénieurs ou aux<br />particularités d'un projet ou d'une méthode.

Les exigences qui s'appliquent aux composants logiciels et aux logiciels embarqués justifient l'utilisation des meilleures techniques disponibles pour garantir la qualité des spécifications et conserver cette qualité lors du développement du code. Les méthodes formelles, et parmi elles la méthode B, permettent d'atteindre ce niveau de qualité. Cependant, ces méthodes utilisent des notations et des concepts spécifiques, qui génèrent souvent une faible lisibilité et une difficulté d'intégration dans les processus de développement et de certification. Ainsi, proposer des environnements de spécification, de développement de programmes et de logiciels, combinant des méthodes formelles et des méthodes semi-formelles largement utilisées dans les projets industriels, en l'occurrence B et UML, s'avère d'une grande importance. Notre intérêt porte précisément sur la méthode B qui est une méthode formelle utilisée pour modéliser des systèmes et prouver l'exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d'une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou de certification. Aujourd'hui, en B, cette documentation est fournie sous forme de texte, avec, quelquefois, des schémas explicitant certaines caractéristiques du système. L'objectif de ce travail de thèse est de mettre en relation des spécifications en B avec des diagrammes UML, qui constituent un standard de facto dans le monde industriel et dont le caractère graphique améliore la lisibilité. Nous avons axé notre processus de dérivation de diagrammes de classes à partir de spécifications B autour d'une technique d'ingénierie inverse guidée par un ensemble de correspondances structurelles et sémantiques spécifiées à un méta-niveau. Quant à la dérivation de diagrammes d'états/transitions, elle a été orientée vers une technique d'abstraction de graphes d'accessibilité construits par une exploration exhaustive du comportement de la spécification.