Dissertations / Theses on the topic 'Développement et génie logiciel'

Comme le mentionne l'Académie des Sciences nationales « le logiciel n'est pas qu'un produit essentiel du marché, mais, en fait, incarne la fonction de production de l'économie elle-même » (Jorgenson et al. 2006). Les trois exemples suivants illustrent cette situation : d'ici 2010, on prévoit que le téléphone mobile contiendra 20 millions de lignes de code et un fabricant d'automobiles a estimé que ses voitures auront jusqu'à 100 millions de lignes de code (Charrette, 2005). Dans l'industrie aérospatiale, la société Boeing compte dépenser environ 4 milliards de dollars pour le développement des logiciels de son nouvel avion, le modèle 787 (Longtemps, 2008). Le développement de ces logiciels de haute qualité pourrait exiger jusqu'à 20 000 personnes-année d'effort. Même les organismes tels que Boeing ne peuvent développer cette quantité de logiciels à l'interne dans un délai raisonnable. Il est très probable que beaucoup de petites et très petites organisations fourniront des composants à la société Boeing ou à ses fournisseurs principaux qui les intégreront à d'autres composants ou sous-systèmes. L'auteur a passé une partie significative de sa carrière dans de grandes organisations comme le Ministère de la Défense nationale du Canada, en tant qu'ingénieur des processus pour un fabricant d'un système équipé de missiles pour la défense antiaérienne. Il a oeuvré en outre comme conseiller en amélioration des processus pour un fabricant ferroviaire important. Dans ces organisations, l'utilisation de normes pour le développement ou l'entretien des logiciels faisait partie de leur culture. Quand l'auteur a joint, en tant que professeur de génie logiciel, l'École de technologie supérieure (ÉTS) en 2000, il a été confronté avec un nombre d'étudiants de premier cycle en génie logiciel qui travaillaient dans de petites entreprises. Les étudiants n'avaient pratiquement aucune connaissance concrète des normes du génie logiciel. L'auteur a dû apporter des modifications à sa stratégie d'enseignement des normes pour s'adapter au contexte des étudiants, puisque les normes en génie logiciel ont été développées par des professionnels travaillant dans de grandes organisations, pour répondre aux besoins de ces dernières. Les petites organisations n'ont pas l'expertise, ni le budget ni le temps pour adapter de telles normes à leur contexte. Après avoir assisté à quelques réunions du comité responsable du développement des normes en génie logiciel et en génie des systèmes de l'Organisation internationale de normalisation (ISO), l'auteur a décidé d'aborder ces problèmes. Dans les paragraphes suivants, l'auteur décrit l'approche adoptée pour aider les très petites organisations (TPOs) à améliorer leurs pratiques en génie logiciel en vue d'augmenter leurs performances et leur compétitivité. Les TPOs sont des entreprises, des organismes, des départements ou des projets ayant jusqu'à 25 personnes. Les TPOs en technologie de l'information (TI) sont très importantes pour l'économie mondiale. Un grand pourcentage des organisations produisant des logiciels dans le monde ont moins de 25 employés. Par exemple en Europe, 85 % des sociétés du secteur des technologies de l'information (TI) ont entre 1 et 10 employés1. Au Canada, la région de Montréal comporte près de 80 % de sociétés de moins de 25 employés (Gauthier, 2004). Leurs composants logiciels sont souvent intégrés dans les produits de plus grandes entreprises. Les retards de livraison, le nonrespect du budget et un produit parfois de faible qualité menacent la compétitivité des clients et des TPOs. Une approche visant à atténuer ces risques est d'utiliser des fournisseurs ayant instauré des pratiques éprouvées en génie logiciel comme celles documentées dans les normes de l'ISO. Beaucoup de normes internationales, telles que la norme définissant les processus de cycle de vie de logiciel, ISO/CEI 12207 (ISO 2008d) et de modèles tels que le modèle d'évolution des capacités (SEI 2006) développé par le Software Engineering Institute, ont été développés pour documenter des pratiques éprouvées. Cependant, ces normes et modèles n'ont pas été conçus en ayant les TPOs à l'esprit. Il est difficile les appliquer dans de telles organisations. Un groupe de travail de l'ISO/IEC JTC1/SC72 a été établi, le groupe de travail 24 (WG24) pour aborder ces difficultés et développer des normes de génie logiciel et des rapports techniques conçus spécifiquement en fonction des besoins des TPOs. L'auteur de cette thèse a été nommé, par l'ISO en 2005, éditeur de ce nouveau groupe de travail. Cette thèse utilise le modèle à six (6) phases du processus de développement d'innovations de Rogers (Rogers, 2003) illustré à la figure ci-dessous, pour décrire la démarche et les contributions de l'auteur. Phases du processus d'innovation (adapté de Rogers 2003) La phase 1 du processus d'innovation, intitulée identification des besoins et problèmes, a débuté en 2004 en Australie, lors de la réunion du comité de normalisation SC7 de l'ISO responsable des normes en génie logiciel. À cette réunion, le Canada a souligné les problèmes des petites organisations requérant l'adaptation des normes à leur taille et à leur niveau de maturité. Des participants à cette réunion ont mentionné que les normes sont, pour les TPOs, trop volumineuses et compliquées. Les normes actuelles d'ingénierie logicielle ciblent ou semble cibler 1 http://www.esi.es/en/main/iitmark.html 2 ISO/IEC JTC 1/SC7 signifie International Organization for Standardization/ International Electrotechnical Commission Joint Technical Committee 1/Sub Committee 7. Ce comité est responsable du développement et de l'amélioration des normes en génie logiciel et en génie des systèmes. les grandes organisations. Une réunion fut organisée avec des représentants de cinq instances nationales (Australie, Canada, République tchèque, Afrique du Sud et Thaïlande) où un consensus fut atteint quant aux objectifs généraux (ISO 2004c) d'un futur groupe de travail : • Rendre les normes d'ingénierie logicielle de l'ISO davantage accessibles aux TPOs. • Fournir aux TPOs de la documentation demandant un effort minimum d'adaptation. • Fournir aux TPOs une documentation harmonisée, intégrant les normes existantes: o Normes de processus o Normes décrivant les produits du travail et les livrables o Normes portant sur l'évaluation et la qualité Il fut également décidé de créer un groupe d'intérêt spécial (SIG) en vue d'explorer ces objectifs, de mieux articuler les priorités et d'élaborer un plan de travail. La phase 2 du processus d'innovation, intitulée recherche fondamentale et appliquée, a été amorcée par l'invitation d'un groupe d'experts à l'Institut de standardisation industrielle de Thaïlande (TASI), pour faire progresser les travaux définis lors de la réunion en Australie. Un des sujets de discussion fut de définir clairement la taille des TPOs visées par les travaux de ce groupe. Il a été convenu qu'une TPO est définie comme suit : une entreprise, une organisation, un département ou un projet ayant jusqu'à 25 personnes. L'auteur a proposé, lors de cette réunion, de développer et de conduire un sondage international des TPOs. Ce sondage, traduit dans 9 langues, a été mené sur l'utilisation des normes par les TPOs. Des données ont été rassemblées pour valider la liste de problèmes et de besoins documentés par les membres du groupe de travail. Plus de 435 réponses ont été reçues de 32 pays. Les résultats du sondage ont été utilisés par le groupe de travail pour définir les exigences qui seront employées aux fins de développer les normes pour les TPOs. En 2005, l'ISO a approuvé la formation d'un groupe de travail (Working Group), le WG24. Puisque le WG24 désirait préparer une première norme le plus rapidement possible, il a effectué une recherche des normes ou des modèles existants pouvant être adaptés aux besoins des TPOs. Une norme nationale mexicaine, la norme MoProsoft (NMX 2005), développée pour les petites et moyennes entreprises mexicaines, a été choisie pour atteindre cet objectif. À la phase 3 du processus d'innovation intitulée développement, le WG24 a développé un ensemble de normes et de rapports techniques. Le développement a été réalisé en deux étapes : à l'étape 1, le groupe de travail a choisi, à partir de la norme nationale mexicaine, un sous-ensemble de processus et de produits de travail (Work Products) applicables aux TPOs. À l'étape 2, le groupe a adapté ce sous-ensemble aux besoins des TPOs et a développé des normes et des rapports techniques. Chaque document développé par le WG24 vise une clientèle spécifique. De plus, pour guider les TPOs à la mise en oeuvre des pratiques de génie logiciel adaptées à leurs besoins et à leur croissance, le WG24 a développé un parcours (roadmap) composé de quatre (4) étapes ou profils : • L'étape 1 s'adresse aux TPOs en démarrage (Start-up) et aux TPOs qui développent des projets de 6 personnes-mois ou moins. • L'étape 2 s'adresse aux TPOs qui n'exécutent qu'un seul projet logiciel à la fois. • L'étape 3 s'adresse aux TPOs qui exécutent plusieurs projets logiciels à la fois. • L'étape 4 s'adresse aux TPOs désirant améliorer notablement la gestion de leurs affaires (Business Management, Portfolio Management). La figure ci-dessous illustre les documents développés à ce jour pour les TPOs exécutant un seul projet à la fois : • Le document intitulé Overview est un rapport technique ISO présentant les concepts nécessaires à la compréhension de l'ensemble des documents liés à la norme, c'est-à-dire les documents intitulés Framework and Taxonomy et Specification of Profile, ainsi que les rapports techniques intitulés Assessment Guide et Management and Engineering Guide. Le document Overview est destiné à une clientèle désirant comprendre la norme: les TPOs, les donneurs d'ordre, les évaluateurs, les auteurs d'un profil, les développeurs d'outils, les consultants, etc. • Le document intitulé Framework and Taxonomy est une norme ISO. Ce document explique le concept et la structure des profils ainsi que la terminologie spécifique à cette norme. • Le document intitulé Assessment Guide est un rapport technique ISO. Il présente des guides pour développer une méthode d'évaluation ou pour effectuer l'évaluation d'un profil. • Le document intitulé Specification of Profile est une norme ISO. Il énumère les éléments de normes telles que la ISO/CEI 12207 (ISO 2008d) et la ISO/CEI 15289 (ISO 2006a), qui sont utilisées pour la description d'un profil spécifique. • Le document intitulé Management and Engineering Guide est un rapport technique ISO. Il fournit des guides d'application en matière de gestion et d'ingénierie pour un profil spécifique. 29110 Guides (TR) Assessment Guide (TR 29110-3) Management and Engineering Guide (TR 29110-5) Management and Engineering Guide – Nnnn VSE Profile (TR 29110-5-x) 29110 ISPs Framework and Taxonomy (ISP 29110-2) SpecificationsofVSE Profiles (ISP 29110-4) Specification - Nnnn VSE Profile (ISP 29110-4-x) 29110 Overview (TR 29110-1) Vue d'ensemble des documents ISO pour les TPOs À la phase 4 du processus d'innovation intitulée commercialisation, le WG24 et l'ISO ont coordonné des cycles de révision des documents et ont rassemblé des centaines de commentaires des délégations nationales. Le WG24 a analysé chaque commentaire et a produit une version révisée des documents. L'ensemble de ces documents devrait être approuvé par les organismes nationaux de normalisation et publié par l'ISO en 2010. Même si le groupe de travail a créé un guide de gestion et d'ingénierie, la plupart des TPOs ne possèdent pas l'expertise pour transformer ce guide en un processus utilisable et utile. L'auteur a donc proposé aux délégués du groupe 24, lors de sa réunion à Moscou en 2007, le développement de matériel utilisable ‘tel quel' par les TPOs. À la phase 5 du processus d'innovation intitulée diffusion et adoption, l'auteur a encadré le développement d'un ensemble de documents intitulé trousse de déploiement (Deployment Package), à partir du guide de gestion et d'ingénierie (ISO/IEC TR29110-5.1 VSEP Basic Profile- Management and Engineering Guide), pour faciliter l'adoption et l'implémentation des pratiques logicielles dans les TPOs. Une trousse de déploiement (TD) est un ensemble d'artefacts visant à faciliter et à accélérer l'implantation de la norme ISO dans les TPOs en leur donnant des processus prêts à être utilisés. Par exemple : processus documentés comportant les activités, rôles, intrants, extrants, listes de vérification, gabarits, exemples et outils de support. Pour le profil s'adressant aux TPOs qui n'exécutent qu'un seul projet logiciel à la fois, les membres du groupe de travail ont élaboré bénévolement les trousses de déploiement énumérées au tableau suivant. Nom de la trousse de déploiement Pays responsable Analyse des exigences Belgique, Canada Architecture et conception détaillée Canada Construction (i.e. codage et tests unitaires) Mexique Intégration et tests Colombie Vérification et validation Pérou Gestion des versions Thaïlande Gestion de projets Irlande Livraison du produit Thaïlande Auto-évaluation Finlande Conduite de projets pilotes Canada, Uruguay Liste des trousses de déploiement Ces trousses de déploiement forment un ensemble cohérent, permettant la mise en place de la norme, pièce par pièce, pour répondre aux besoins des TPOs et à leurs capacités spécifiques à implémenter et utiliser de nouvelles pratiques. Par exemple, une TPO qui éprouve des difficultés à gérer les versions de ses documents et logiciels appliquera les pratiques de la trousse ‘version control'. En ce moment, les trousses ne sont disponibles qu'en anglais puisqu'elles sont développées et révisées par les membres du groupe 24. Par la suite, elles seront traduites par le délégué d'un pays pour satisfaire les besoins des TPOs de son pays. Lors de la réunion du WG24 à Mexico en 2008, l'auteur a proposé la création d'un réseau international de support aux TPOs. Comme plusieurs membres du WG24 travaillent dans des centres de transfert technologique, il a été proposé d'instaurer un réseau de collaboration entre ces centres. Chaque centre a la responsabilité de déployer les trousses et d'offrir d'autres produits et services en tenant compte des particularités nationales. Les principaux objectifs de ce réseau sont d'accélérer le déploiement de la norme de l'ISO et des guides pour les TPOs, l'accélération du développement et l'application des guides et des trousses de déploiement. Un document décrivant les modalités de collaboration a été rédigé et signé entre chacun des membres du réseau et l'ÉTS. Les participants au réseau sont : • Belgique - Centre d'Excellence en Technologies de l'Information et de la Communication (CETIC) • Colombie - Parquesoft Foundation • Finlande - Université de technologie de Tampere, Pori • France - Université de Bretagne Occidentale • Hong Kong - Université Polytechnique • Irlande - Lero, The Irish Software Engineering Research Centre • Luxembourg - Centre de Recherche Public Henri Tudor • Thaïlande – Federation of Thai Industries Afin de s'assurer que les normes, documents techniques et les trousses de déploiement satisferont les besoins des TPOs, des projets pilotes seront réalisés en 2009. La Thaïlande annoncé, lors de la réunion du groupe 24 en Inde en mai 2009, un réseau de collaboration dont elle sera le chef de file (Regional Hub). Ce réseau est composé des 10 pays de l'organization ASEAN3: Thaïlande (20004), Cambodge (100), Laos (200), Myanmar (200), Vietnam (500), Malaisie (1200), Singapour (1000), Indonésie (1500), Philippines (2500) et Brunei (500). L'Universidad Nacional Autónoma de México (UNAM) a également manifesté son intérêt à devenir membre du réseau. D'autres centres de transfert ainsi que d'autres universités seront contactés et invités à se joindre au réseau en 2009 (i.e. Corée, Japon, Chine, Afrique du Sud). Lors de la réunion du groupe de travail de l'ISO en Inde en mai 2009, l'auteur a proposé aux 21 délégués, représentant 11 pays, la création d'un groupe d'intérêt sur l'éducation (Education Interest Group). L'objectif d'un tel groupe est de développer un ensemble de cours pour les étudiants de premier et second cycle en informatique ou en génie logiciel/informatique, de telle sorte qu'ils apprennent et appliquent les normes ISO pour les TPOs durant leurs études plutôt que d'attendre leur arrivée en industrie. Les cours développés seront, pour les universités, similaires aux trousses de déploiement développées pour les TPOs. Ces trousses d'enseignement comporteront les éléments suivants : un plan de cours, du matériel de présentation, des exercices, des études de cas et des suggestions de lecture. Un premier jeu de six cours a été proposé aux délégués : • Cours 1 - Introduction aux normes ISO/CEI en génie logiciel. • Cours 2 - Introduction aux normes, rapports techniques ISO/CEI 29110 et aux trousses de déploiement pour les TPOs. • Cours 3 - Développement d'un processus d'ingénierie de logiciels (Process Engineering) utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Cours 4 - Développement de logiciels utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Cours 5 - Évaluation de la conformité des processus de développement de logiciels à la norme ISO/CEI 29110. • Cours 6 – Conduite de projets pilote pour implanter la norme ISO/ CEI 29110 dans une TPO. L'auteur a développé un gabarit de trousse d'enseignement qui sera utilisé pour le développement et la documentation de chaque cours. Les délégués de quatre pays ont offert de développer les cours suivants : • Irlande- Introduction aux normes ISO/CEI en génie logiciel. • Canada - Introduction aux normes, rapports techniques ISO/CEI 29110 et aux trousses de déploiement pour les TPOs. 3 Association of Southeast Asian Nations. 4 Ce nombre indique le nombre de TPOs qui pourraient bénéficier des travaux du WG24. • République Tchèque - Développement de logiciels utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Thaïlande - Conduite d'un projet pilote pour implanter la norme ISO/ CEI 29110 dans une TPO. Lors de la prochaine réunion du groupe de l'ISO au Pérou en novembre 2009, les cours seront présentés aux délégués. Ils seront ensuite disponibles gratuitement sur Internet pour les professeurs des universités. Dans le but de publiciser, à l'extérieur du groupe de travail 24 de l'ISO, le travail effectué par celui-ci, l'auteur a développé un site Internet en français et un en anglais. Ce site est hébergé à l'ÉTS et s'avère une extension du site professionnel de l'auteur. Ce site comporte les informations suivantes ; • Une page d'accueil expliquant le mandat du groupe ISO. • Une page énumérant les membres du groupe de travail afin de bien illustrer la participation de plusieurs pays au groupe ISO. • Une page décrivant le réseau de support aux TPOs. • Une page dépeignant les trousses de déploiement et qui permet de télécharger ces trousses (les trousses ne sont disponibles qu'en anglais présentement). • Une page dépeignant les trousses d'enseignement (les trousses ne sont disponibles qu'en anglais présentement). • Une page énumérant les publications et communications effectuées par les membres du groupe ISO. La plupart des publications peuvent être téléchargées. Au dernier chapitre de cette thèse, l'auteur présente les travaux futurs et une conclusion. En ce qui a trait aux travaux futurs, les sujets suivants sont discutés : l'application des concepts des profils et des trousses de déploiement au domaine de l'ingénierie de systèmes pour le développement des produits par des TPOs; la mesure de l'adoption, par les TPOs dans le monde entier, des normes de l'ISO et des trousses de déploiement développées par le WG24; l'établissement d'un centre de transfert technologique, pour les TPOs québécoises à l'École de technologie supérieure (ÉTS); le développement de profils pour les développeurs de logiciels critiques et pour les développeurs de logiciels scientifiques; le développement de modules appelés ‘plug-in' pour faciliter et accélérer l'implémentation des normes ISO et des trousses de déploiement. Finalement, au chapitre de la phase 6 du processus d'innovation, l'auteur propose des pistes visant l'étude des conséquences positives et négatives résultant de la publication de la norme ISO, pour les TPOs.

Les principaux domaines abordés sont ceux: 1) de la démarche à adopter pour faire évoluer l'environnement de production; 2) des mesures prises et des modèles applicables à la production du logiciel; 3) des méthodes de conduite et d'étude des projets logiciels

Le but de cette thèse est l'élaboration d'une méthodologie de conception de procédés de développement de logiciels (PDL). Dans une première partie, la problématique est explicitée, posant à la fois le problème de la modélisation et de la démarche de conception de PDL. Les qualités attendues d'une telle méthodologie, et les modèles sur lesquels elle s'appuie, sont mis en valeur. Aussi, sont établis des analogies avec des domaines voisins que sont les systèmes d'informations, les systèmes logiciels et les systèmes sociaux. La deuxième partie, état de l'art, explore l'existant et analyse les acquis en ce qui concerne les modèles et les méthodes dans le domaine des PDL et dans les domaines voisins. Ce tour d'horizon a montré que l'existant ne couvre que certains des aspects des PDL. La troisième partie présente l'approche proposée: 1) une modélisation multi-vues de PDL: naturelle, fonctionnelle, comportementale et organisationnelle; 2) une représentation multi-niveaux de PDL: conceptuelle, organisationnelle et physique; 3) et enfin des guides méthodologiques de conception de PDL basés sur des metafonctions. La quatrième partie est consacrée à la validation de la méthodologie à travers l'étude de trois cas

Dans le domaine du génie logiciel, les systèmes autonomes sont des systèmes capables de modifier leur comportement et d’évoluer pour s’adapter à leur environnement d’exécution. Ces systèmes ont pour objectif de fonctionner, du moins partiellement ou de façon dégradée, dans des conditions qui n’ont pas été définies a priori. Le domaine d’application qui nous intéresse pour ces systèmes autonomes est la gestion de la qualité de service (Quality of Service, QoS). Le développement d’un système autonome pour gérer la QoS et qui répond à tous les besoins est une tâche difficile. Afin de faciliter cette tâche et d’aider les développeurs, nous proposons un cadre générique pour décrire une famille de systèmes de gestion de la QoS. Nous proposons également, sous forme de graphe, un modèle générique pour la conception des applications. Ce modèle permet d’utiliser un protocole commun pour la communication entre les applications et le système de gestion de QoS. Nous définissons différentes politiques de gestion de la QoS centralisée et décentralisée, puis nous les comparons en fonction du nombre de messages échangés entre l’application et le système de gestion. Dans le but de généraliser notre solution, nous proposons tout d’abord une méthodologie de développement à base de composants et de profils UML. Cette méthodologie permet de développer un cadre générique pour une famille de systèmes voisins dans un domaine quelconque. Ensuite, nous détaillons l’exploitation de cette méthodologie pour le domaine de la gestion de la QoS. En se basant sur cette méthodologie, nous allons nous concentrer sur la description des composants génériques nécessaires pour construire un middleware de gestion de la QoS par adaptation de comportement. Nous développons un cadre générique qui regroupe ces composants, leurs connexions ainsi que des contraintes. Ce cadre représente aussi bien les aspects fonctionnels et structurels que les aspects comportementaux. À partir de ce modèle de base (framework), un utilisateur pourra dériver des systèmes de gestion de la QoS spécifiques. Nous présentons un exemple de système spécifique, appelé PMQDA (Plan-based Middleware for QoS management of Distributed Applications), pour la gestion de la QoS d’applications distribuées<br>In the domain of software engineering, autonomous systems are able to modify their behavior and to evolve to fit their execution context (self-adaptation). These systems aim to work in unpredictable contexts, at least partially or in a graceful degraded way, under some conditions that are not defined in advance. In this context of autonomous systems, we are interested in the Quality of Service (QoS) management. The development of an autonomous system dedicated to manage the QoS that meets all the requirements is a hard task. In order to facilitate this task and to help developers, we propose a generic framework aiming to describe a family of related QoS management systems. In addition, we propose a generic model for the design of applications as a graph model. This model allows an application to communicate with the QoS management system by using a common protocol. Concerning the management architecture, we define different centralized vs. Decentralized management policies and then, we compare them by using the number of messages exchanged between the application and the QoS management system. In order to generalize our solution, we first propose a development methodology based on UML components and profiles. This methodology allows developing a generic framework for a family of related systems in any domain. Then, we detail the use of this methodology in the domain of QoS management system. Based on this development methodology, we focus on the description of the generic basic components that are necessary to build a QoS management system that adapt application?s behavior. We develop a generic framework that gathers these components, their connectors as well as constraints. This framework characterizes the functional and structural as well as behavioral aspects. From this coarse-grained generic framework, a user will be able to derive his/her specific own QoS management system. We show an example of specific system called PMQDA (Plan-based Middleware for QoS management of Distributed Applications) for QoS management of distributed applications

Une grande partie de l'effort de développement des logiciels de grande taille et de longue durée de vie est consacrée à la maintenance et à l'évolution de ces derniers; et la compréhension de ces logiciels est une nécessité pour laquelle trop peu de propositions ont été faites. Le but de cette thèse est la prise en compte des architectures logicielles comme élément capital pour l'aide à compréhension et l'évolution des applications logicielles à objets. Les travaux de recherche des dix dernières années ont montré qu'il était très difficile voire impossible de raisonner sur le code source (niveau concret), tant les détails d'implémentation nuisent à la lisibilité du code, à sa maintenance/évolution. Au contraire, se situer à un plus haut niveau d'abstraction permet d'envisager davantage d'analyses. Nous proposons, dans cette thèse, notre approche BeeEye comme démarche d'ingénierie pour la construction de vues architecturales d'un système logiciel à objets existant. BeeEye utilise et permet à l'utilisateur de définir des points de vue qui peuvent être combinés selon un processus de construction de vues. Les points de vue permettent de modéliser les attentes et souhaits des utilisateurs ou/et la connaissance qu'ils ont (ou l'idée qu'ils se font) a priori du système logiciel étudié. Deux catégories de construction de vues architecturales sont proposées dans le cadre de la thèse: la construction par correspondance et la construction par exploration. L'approche proposée est suffisamment générique pour être utilisée avec tous les systèmes logiciels à objets pour lesquels nous disposons du code source<br>Changes and Evolution of software systems constantly generate new challenges for system understanding. Recovering system architectural représentations is particularly nteresting when sucé représentations are not available. The work presented in this thesis joins the effort on software architecture reconstruction. This thesis proposes approach BeeEye as a generic engineering approach to enable the construction of architectural views from an existing object-oriented system. BeeEye uses viewpoints and lets users define new ones. BeeEye provides différent construction prouesses; gives the possibility to define user-specific construction processus. The viewpoints are used to model the expectations and wishes (or priory knowledge) of users about the software system in question. Two categories of architectural views construction are proposed: construction by mapping and construction by explo`ration. The proposed approach is generic enough to be used with all objects software svstems for which we have the source code

Le travail présenté dans cette thèse porte sur l'élaboration d'un environnement pour concevoir, spécifier et implanter des protocoles de communication en utilisant la Technique de Description Formelle (TDF) Estelle. Les différents outils courants d'aide au développement, basés sur Estelle, ne couvrent généralement pas l'ensemble des objectifs des différentes phases d'un développement de protocole. En outre, ils présentent souvent des interfaces utilisateur variés. Cette thèse propose une solution pour intégrer les outils Estelle existants ou à venir dans un environnement ouvert. La première partie présente la modélisation du processus de production du logiciel, puis le modèle de référence OSI, et enfin, selon un cycle de vie en V, les spécificités du processus de développement des logiciels pour les protocoles de communication. La seconde partie expose tout d'abord une synthèse sur l'intégration d'outils (par les données, par le contrôle, par la présentation et par le procédé), en insistant sur les interfaces publiques de structures d'accueil (ATIS, CAIS-A, PCTE), puis l'environnement support EAST, basé sur PCTE, retenu pour réaliser l'intégration d'outils Estelle. La troisième partie propose une modélisation PCTE d'une spécification en Estelle pour qu'elle soit partageable entre différents outils, une méthodologie d'intégration d'outils Estelle dans EAST (expérimenté par l'intégration des outils VEDA et Pet & Dingo), et un modèle d'aide au développement pour les étapes de spécification, validation et implémentation, indépendant des outils Estelle utilisés. Les résultats obtenus permettent d'envisager l'intégration d'outils associés à diverses TDF à partir d'une modélisation PCTE des concepts du modèle OSI.

Dans le cadre de cette thèse, nous nous proposons d'étudier le développement et la validation de systèmes dans un contexte temps réel asynchrone. On a choisi d'utiliser le langage AADL pour ses spécificités issues de l'avionique, domaine proche du spatial, et pour la précision de la description de son modèle d'exécution. Le travail de cette thèse se divise en deux axes principaux : d'une part, on étudie l'utilisation du langage AADL dans le cadre du développement d'un logiciel de vol ; et d'autre part, on présente une version réduite du langage AADL, et la définition formelle de son modèle d'exécution à l'aide du langage TLA+. L'objectif de la première partie est d'envisager l'utilisation d'AADL dans le cadre d'un processus de développement existant dans le domaine du spatial. Dans cette partie, on a cherché à identifier des motifs de conceptions récurrents dans les logiciels de vol. Enfin, on étudie l'expression en AADL des différents éléments de ce processus de développement. La seconde partie comporte la définition d'un mini AADL suffisant pour exprimer la plupart des concepts de parallélisme, de communication et de synchronisation qui caractérisent AADL. La partie formalisation est nécessaire afin de pouvoir vérifier des propriétés dynamiques. En effet, la définition formelle du modèle d'exécution permet de décrire le comportement attendu des modèles AADL. Une fois ce modèle défini, on peut à l'aide d'un vérificateur de modèles (model-checker) animer une modélisation AADL ou aborder la vérification de propriétés dynamiques. Cette étude a par ailleurs été menée dans le cadre de la standardisation du langage AADL.

Dans une industrie du logiciel où la complexité des applications ne cesse de croître, un des objectifs du génie logiciel est de conserver l'intelligibilité du processus de construction et de maintenance de ces applications. Dans ce cadre, le concept de composant a été introduit comme une extension du concept d'objet pour faciliter la conception d'applications réparties complexes, c'est-à-dire formées de nombreux éléments en coopération, distribuées sur différents sites d'exploitation, et de nombreuses contraintes qui expriment des exigences variées (persistance, sécurité, tolérance aux pannes, etc. ). Il existe à ce jour de nombreux modèles de composants avec des objectifs différents. Cependant, un des points communs de ces modèles est la mise en lumière de l'architecture de l'application, c'est-à-dire une description de haut niveau de cette application décomposée en différents composants interconnectés et définis par leurs fonctionnalités requises et offertes. De par la complexité de certaines applications, la définition de l'architecture est elle-même une opération délicate et très propice aux erreurs. L'objectif de cette thèse vise à améliorer la maîtrise de la complexité de la construction de l'architecture d'une application définie par assemblage de composants. Nous proposons pour cela un modèle de composant abstrait, nommé SafArchie, qui permet d'assister l'architecte dans la construction d'une architecture logicielle cohérente. Ainsi, dans SafArchie, l'interface des différents composants d'une architecture est spécifiée à l'aide de contrats. Ces contrats permettent de définir la structure du composant, mais aussi son comportement vis-à-vis de son environnement. A partir de ces différentes informations et de la définition de l'assemblage de composants, nous proposons une notion de compatibilité entre composants interconnectés. Cette compatibilité permet de déterminer la cohérence de l'architecture<br>Un deuxième axe de la thèse part du constat qu'il est difficile de construire un assemblage de composants qui adresse l'ensemble des préoccupations d'une application en une seule étape. L'idéal est alors de proposer une démarche de construction incrémentale où l'architecte peut à chaque étape ajouter une nouvelle préoccupation à son architecture. Malheureusement, les modèles de composants ne proposent en générale qu'une unique dimension de structuration d'une application, SafArchie n'échappe pas à cette règle. Dès lors, certaines préoccupations comme la sécurité, la persistance ou la traçabilité ne peuvent être correctement structurées au sein d'un seul composant et se retrouvent alors noyées au sein de nombreux éléments de l'architecture. Cette mauvaise structuration est très préjudiciable pour l'intégration de ces préoccupations dans une architecture existante. Nous proposons donc, dans une deuxième partie de cette thèse, un canevas de conception d'architecture nommé TranSAT qui permet l'intégration de nouvelles préoccupations dans une architecture par transformation de cette dernière. Ce canevas introduit la notion de patron d'architecture pour structurer les différentes préoccupations transverses d'une application. Ce patron comprend les éléments d'architecture à intégrer, les transformations à apporter sur l'architecture de base, mais aussi un ensemble de contraintes génériques sur les éléments d'une architecture cible sur laquelle le patron peut être intégré. De plus, TranSAT propose un langage dédié pour spécifier les modifications à apporter sur l'architecture de base afin d'intégrer la nouvelle préoccupation. Ce langage est concis et expressif, sa spécialisation permet de produire différentes analyses statiques afin de garantir la cohérence de l'architecture résultante sans analyser la totalité de cette architecture

L’objectif visé par cette thèse est la réutilisation de solutions architecturales prouvées en combinant des techniques de développement formelles et semi-formelles pour répondre aux problèmes du développement d’architecture. Notre contribution porte sur la définition, la validation et l’intégration des patrons d’architecture dans les environnements de développement logiciel. Nous proposons de formaliser la définition des patrons d’architecture en prenant en compte non seulement la partie solution mais aussi la partie problème et les liens entre celles-ci. La description fournie s’appuie d’une part sur une spécification en UML/OCL et un ensemble de stéréotypes, d’autre part sur un modèle de qualité qui établit les caractéristiques de qualité en terme de besoins fonctionnels et non-fonctionnels. Les propriétés de qualité sont spécifiées en utilisant le modèle de qualité ISO/IEC 9126-1. Nos patrons sont sémantiquement consolidés par leurs spécifications formelles en B, en suivant un schéma de transformation de UML/OCL vers B. L’intégration de notre démarche dans l’environnement de développement Objecteering UML Modeler, vise à aider les développeurs en fournissant un cadre sémantique pour les patrons d’architecture sans dévoiler l’aspect formel utilisé pour leur validation<br>The work presented in this thesis aims to reuse proved architectural solutions by combining formal and semi-formal development techniques to solve architectural development problems. Our contribution relates to the definition, the validation and the integration of architectural patterns into software development environments. We propose to formalize architectural patterns definition taking into account the problem part, the solution part and relationships between them. On one hand, the provided description is based on UML/OCL specification and a stereotype set, on the other hand on a quality model who establishes quality characteristics in terms of functional and non-functional requirements. Quality characteristics are specified using the ISO/IEC 9126-1 quality model. Our patterns are semantically consolidated by their B formal specifications following a transformational approach from UML/OCL to B. The integration of our approach in the UML Objecteering Modeler aims at helping the developer by providing a semantic framework for the architectural patterns without revealing the formal aspect used for their validation

Les logiciels sont fréquemment, aujourd'hui, des ensembles d'outils, des "ateliers" dont l'aspect intégré est un point fort: Cette intégration, est, le plus souvent, obtenue par l'utilisation d'un Système d'Information qui supporte les informations partagées par les outils. Nos travaux ont consisté à examiner quelles étaient aujourd'hui les lacunes des logiciels proposés pour construire des Systèmes d'Information et de définir certains concepts qu'il fallait leur ajouter. Nous avons aussi réalisé un prototype qui les implémente, en nous appuyant sur un système de gestion de bases de données relationnelles, un langage logique (Prolog), et un système de gestion de fichiers. Ce travail a pris le nom d'Impish, et s'inscrit dans le cadre du projet ESPRIT P938, "Integrated Management Process Workbench", dont l'objectif est de réaliser un atelier de gestion de projets logiciels.

De nombreux outils existent afin de faire face à la complexité des logiciels et des projets de développement logiciel. Leur utilisation est cependant à l'origine de tâches manuelles répétitives, sources d'erreurs et coûteuses en temps. L'automatisation de ces tâches permet de gagner en productivité. Mais la difficulté est de déterminer quand une automatisation de tâche manuelle répétitive doit être réutilisée, ainsi que de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. Nous proposons donc une approche outillée pilotant la réutilisation des automatisations de tâches manuelles répétitives par les processus de développement logiciel, où un processus de développement logiciel décrit les étapes à réaliser pour mener à bien un projet de développement logiciel. Cette approche consiste à capitaliser sur un ensemble de processus et à réutiliser des processus de cet ensemble en fonction des exigences des projets, indépendamment du formalisme utilisé pour définir les processus. Des automatisations de tâches manuelles répétitives sont liées aux étapes des processus qu'elles automatisent. Ce lien permet de savoir quelles automatisations utiliser pour un projet donné et quand. Il permet également d'expliciter les différents cas d'utilisation de chaque automatisation. Cette information est utilisée afin de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. L'approche ainsi que l'outillage associé ont été appliqués sur une famille de processus industriels de développement Java ainsi que sur une famille de processus consistant à définir et outiller un langage de modélisation.

"la 4e de couverture indique : Dans cette thèse, nous nous intéressons à l'évolution des schémas pour les bases de données de génie logiciel<br>Nous faisons d'abord le point des travaux concernant l'évolution de schémas et l’évolution des modèles de procédés logiciels ; nous définissons des critères d'évolution et nous montrons que les principales approches ne satisfont pas les besoins en génie logiciel<br>Nous présentons ensuite notre modèle : celui-ci permet l'existence simultanée de plusieurs points de vues de la base d'objets, la composition de schémas et enfin, l'expression de politiques différentes d'évolution de ces schémas ; chaque application pouvant définir la politique d’évolution souhaitée&lt;<br>La gestion des points de vue se fonde sur le versionnement de la métabase. Le maintien de la cohérence de la base d'objets et du système global de gestion et d'évolution de schémas est assuré par l'expression de contraintes au niveau de cette métabase. La composition des schémas utilise une technique de configurations de logiciels appliqués aux types et la définition de politique d’évolution utilise les capacités de la base active du système Adèle"

Le travail présenté dans cette thèse s'inscrit dans le cadre de l'étude du processus de développement de logiciels selon deux aspects: 1) l'un concerne l'assistance a base de connaissance au développement. Une telle assistance repose sur une modélisation du processus de développement de logiciels. Le système UPSSA (using pre-postconditions for simulating software assistant) est une proposition d'intégration d'un outil d'assistance intelligente fonde sur les principes des systèmes à base de connaissances dans un environnement de génie logiciel. En outre, ce système s'appuie sur le paradigme des générateurs de plans d'actions pour déclencher, durant une session de travail d'un développeur, une séquence d'actions permettant de maintenir le logiciel en cours de développement dans un état cohérent; 2) l'autre est relatif à la modélisation des objets logiciels. Contrairement aux applications classiques, les données manipulées dans un projet de génie logiciel sont de type variés et inhabituels. Pour prendre en compte les besoins de structuration des objets dans un environnement de génie logiciel, nous proposons un modèle, appelé modèle objet-relation (MOR), qui combine des caractéristiques des modèles orientes objets et des modèles de données sémantiques. Nous présentons ses aspects formels et un langage de spécification d'un schéma objet-relation ainsi que quelques indications pour guider un utilisateur dans la conception d'un tel schéma. Puis, nous décrivons la représentation du concept de relation dans le système à objets ceyxle-lisp

De nombreuses études menées dans le domaine de l'éducation ont révélé que l'apprentissage mobile apparaît de plus en plus comme une méthode d'apprentissage efficace avec l'utilisation des téléphones intelligents. Toujours opérationnels et facilement transportables, les téléphones intelligents peuvent être utilisés n'importe où, à n'importe quel moment et dans n'importe quel contexte. Considérant ce potentiel des téléphones intelligents dans notre société actuelle, nous présentons dans ce mémoire un modèle de l'apprentissage mobile conçu comme outil de support d'apprentissage en informatique et génie logiciel. Pour atteindre ce but, nous présentons d'abord les efforts qui tentent d'intégrer le téléphone intelligent parmi les outils de programmation. Dans ce sens, nous montrons des exemples d'utilisation des applications mobiles de programmation. Nous démontrons ensuite que le téléphone intelligent a des limites qui rendent l'exercice de programmation non efficace. Compte tenu de ces limites, nous montrons que, en particulier pour les cours de programmation, l'apprentissage mobile joue pleinement son rôle lorsqu'il permet d'accéder à l'information utile, de manière continue pour soutenir le processus d'apprentissage. Ainsi, nous arrivons à la conception de l'apprentissage mobile comme outil de support d'apprentissage en informatique et génie logiciel. Dans ce sens, l'apprentissage mobile offre un environnement d'accès aux mises à jour sur le travail planifié, aux notifications, aux commentaires, aux échéanciers de tâches, aux nouvelles tâches à réaliser, etc. Ensuite, après avoir étudié différents styles architecturaux et différents types d'applications, nous présentons des possibilités d'implémentation de ce modèle de l'apprentissage mobile. Nous identifions l'architecture hybride de développement d'applications mobiles comme l'architecture idéale pour concevoir et développer des outils de l'apprentissage mobile. Nous montrons le fonctionnement de cette architecture hybride en utilisant l'infrastructure logicielle Apache Cordova pour produire des outils d'apprentissage à la fois personnalisables et portables.<br>Many studies undertaken in the field of education have revealed that m-learning is emerging more and more as an effective learning method with the use of smartphones. Always turned on and easily transported, smartphones can be used anywhere, at any given time and in any context. Considering this potential of smartphones in our current society, in this thesis we present an m-learning model designed as a learning support tool in computer science and software engineering. To achieve this goal, we first show the existing efforts to integrate smartphones into programming tools. Following the same idea, we show examples of using mobile applications for programming. We then demonstrate that smartphones have limitations that make the programming exercise ineffective. Given these limitations, we show that, especially for programming courses, m-learning plays its role fully when it provides access to useful information on an ongoing basis to support the learning process. Thus, we come up with the design of m-learning as a learning support tool in computer science and software engineering. In this sense, m-learning provides an environment to receive updates on the planned work, notifications, comments, task schedules, new tasks to be performed, etc. Then, after having studied different architectural styles and different types of applications, we present possibilities of implementation of this m-learning model. We identify the hybrid architecture as the ideal architecture for designing and developing m-learning tools. We show how this hybrid architecture works by using the Apache Cordova Framework to produce m-learning tools that are both customizable and portable.

Ces dernières années, le développement important des nouvelles technologies en matière de communication (Internet/Intranet, GSM, GPS) a entraîné de nouveaux types ‘applications géomatiques. Ces applications que nous qualifierons de télégéomatiques touchent des domaines tels que le suivi de véhicules en utilisant la technologie GPS, la surveillance de risques, la diffusion de l’information géographique via Internet. L’objectif de la thèse tend à concevoir un atelier T-AIGLE et son formalisme T-OMEGA (basé sur UML) dans le but de faciliter la conception des applications télégéomatiques. Ces travaux ont été réalisés dans le cadre d’une thèse CIFRE avec la société CIRIL SA et font suite aux travaux de thèse d’Ahmed Lbath appelé « AIGLE, un environnement visuel pour la conception et la génération automatique d’applications géomatiques »<br>Recently, the important development of new communication technology (Internet/Intranet, GSM, and GPS) has implied new types of geoprocessing applications. These applications that we will call telegeoprocessing applications concern fields such as traffic monitoring in using GPS technology, risk monitoring, diffusion of geographie information with Internet. The goal of this thesis is to propose a case-tool T -AIGLE and an associated formalism T-OMEGA (based on UML) in order to facilitate the conception of telegeoprocessing applications. ' Our works have been released in the context of a CIFRE thesis with the company ClRIL SA. They follow the thesis of Ahmed Lbath named "AIGLE, a visual environment for the conception and automatic generation of geoprocessing applications"

Les travaux de recherche dans le domaine du génie logiciel ont permis de concevoir deux types d'approche, les méthodes formelles qui permettent d'écrire et de vérifier une spécification d'un système à l'aide d'une notation issue des mathématiques et les méthodes semi-formelles orientées objet qui permettent de modéliser un système en utilisant des vues graphiques. Le point de départ de nos travaux repose sur une méthode formelle: la méthode B. Nous apportons une contribution dans deux étapes du développement logiciel. Le premier est l'intégration des deux types de méthode par extraction de vues graphiques UML depuis une spécification formelle B. Cette extraction est arrivée à maturité puisqu'elle met en jeu les diagrammes de classes, d'états-transitions et les contraintes OCL comme la plupart des intégrations déjà réalisées telles que la dérivation de notations graphiques vers les méthodes formelles. D'autre part nous avons aussi défini l'extraction de diagrammes plus concrets comme ceux de séquence et d'activités. La deuxième contribution de nos travaux est la traduction des spécifications B en langage compilable et exécutable. Cette traduction est ciblée sur un large domaine car elle est appliquée aux logiciels standard à l'aide de Java et C# mais aussi à l'embarqué en utilisant Java pour JavaCard. Une plate-forme regroupant les outils relatifs à ces deux contributions a été développée afin de factoriser les développements communs d'analyse syntaxique et sémantique des spécifications B<br>The research works about software engineering allows to think up two approach types, the formal methods which allows to write and verify a system specification with a notation from mathematics and the semi-formal methods object-oriented which allows to model a system using graphic views. The departure of our works is the B formal method. We provide a contribution in two states of the software development. The first is the integration of the two method types by extraction of UML graphics views from a B formal specification. This extraction happen to maturity because it deals with state-charts, classes diagrams and OCL constraints like most integration works already done as graphic notation derivation to formal methods. In addition we also defined the extraction of concrete diagrams like sequence and activity ones. The second contribution of our works is the translation of B specifications to compilable and executable languages. This translation is targeted on a large domain because it is applied on standard software with Java and C# but also on embedded application with Java for JavaCard. A plate-forme merging the two contributions relatives tools was developed in order to factorize the common developments of syntactic and semantic analysis

Malgré des progrès récents, développer une application d'informatique ubiquitaire reste un défi à cause d'un manque de canevas conceptuels et d'outils aidant au développement. Ce défi implique de prendre en charge des objets communicants hétérogènes, de surmonter la complexité des technologies de systèmes distribués, de définir l'architecture d'une application, et d'encoder cela dans un programme. De plus, tester des applications d'informatique ubiquitaire est problématique car cela implique d'acquérir, de tester et d'interfacer une variété d'entités logicielles et matérielles. Ce procédé peut rapidement devenir coûteux en argent et en temps lorsque l'environment ciblé implique de nombreuses entités.Cette thèse propose une méthodologie outillée pour développer et tester des applications d'informatique ubiquitaire. Notre méthodologie fournit tout d'abord le langage de conception DiaSpec. Ce langage permet de définir une taxonomie d'entités spécifiques à un domaine applicatif, s'abstrayant ainsi de leur hétérogénéité. Ce langage inclut également une couche permettant de définir l'architecture d'une application. Notre suite outillée fournit un compilateur qui, à partir de descriptions DiaSpec, génère un canevas de programmation guidant les phases d'implémentation et de test. Afin d'aider à la phase de test, nous proposons une approche de simulation et un outil intégré dans notre méthodologie outillée : l'outil DiaSim. Notre approche utilise le support de test généré par DiaSpec pour tester les applications de manière transparente dans un environnement physique simulé. La simulation d'une application est rendue graphiquement dans un outil de visualisation 2D.Nous avons combiné DiaSim avec un langage dédié permettant de décrire les phénomènes physiques en tant qu'équations différentielles. Cette combinaison nous permet une simulation réaliste des applications d'informatique ubiquitaire. DiaSim a été utilisé pour simuler des applications dans des domaines applicatifs variés. Notre approche de simulation a également été appliquée à un système avionique, démontrant la généralité de notre approche de simulation<br>Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, and encoding it into a program. Moreover, testing pervasive computing applications is problematic because it requires acquiring, testing and interfacing a variety of software and hardware entities. This process can rapidly become costly and time-consuming when the target environment involves many entities.This thesis proposes a tool-based methodology for developing and testing pervasive computing applications. Our methodology first provides the DiaSpec design language that allows to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application. Our tool suite includes a compiler that takes DiaSpec design artifacts as input and generates a programming framework that supports the implementation and testing stages.To address the testing phase, we propose an approach and a tool integrated in our tool-based methodology, namely DiaSim. Our approach uses the testing support generated by DiaSpec to transparently test applications in a simulated physical environment. The simulation of an application is rendered graphically in a 2D visualization tool.We combined DiaSim with a domain-specific language for describing physical environment phenomena as differential equations, allowing a physically-accurate testing. DiaSim has been used to simulate various pervasive computing systems in different application areas. Our simulation approach has also been applied to an avionics system, which demonstrates the generality of our parameterized simulation approach

Le cycle de vie du logiciel regroupe plusieurs activités comme l'analyse, la conception, la production, le test et le déploiement. Cette dernière activité est un procédé complexe composé de sous activités comme la configuration, l'installation ou la mise à jour. La complexité et l'importance du déploiement a augmenté récemment avec l'évolution des réseaux et la construction d'applications à base de composants. Il est maintenant envisageable d'imaginer des solutions permettant le déploiement automatisé de logiciels en assurant que chaque utilisateur recevra la version du logiciel la plus cohérente et la mieux adaptée à ses besoins et à son environnement tout en respectant les stratégies de déploiement de l'entreprise. Il existe de nombreuses approches et outils de déploiement, mais très peu permettent de couvrir entièrement le cycle de vie du déploiement ou alors en imposant des contraintes fortes. <br /><br />Cette thèse propose un environnement de déploiement nommé ORYA, c'est à dire une plate-forme offrant un support automatisé aux activités du cycle de vie du déploiement. ORYA est basé sur la réutilisation et l'intégration des outils de déploiement existants. Pour cela, nous proposons une abstraction des différents acteurs et entités du déploiement, ainsi qu'une infrastructure permettant de faire interopérer des outils hétérogènes et ne se connaissant pas. Ce travail traite plus particulièrement de l'activité de sélection avec l'utilisation d'un modèle de composant générique et la mise en place d'un framework basé sur un système d'annotations et de règles. La deuxième activité étudiée en détail est celle de l'installation qui est basée sur un langage de procédés permettant la description et la réalisation des procédés dans le monde réel.<br /><br />Une implémentation d'ORYA a été réalisée afin de valider notre approche dans le cadre d'une expérimentation industrielle en vraie grandeur..

Le paradigme « Model Driven Engineering (MDE) » (Ingénierie de modèles) vise à simplifier le développement et de la maintenance des systèmes informatiques. Il se focalise sur l’utilisation de modèles pour spécifier les systèmes et sur les manipulations de modèles avec des outils. Cette thèse a pour but de définir et de réaliser un environnement réparti et ouvert pour réaliser MDE. Cet environnement, nommé ModelBus, vise 1) à supporter les manipulations collaboratives des modèles par multi-développeurs, et 2) à fournir l’interopérabilité entre outils hétérogènes impliqués dans les projets MDE. Pour attendre le premier objectif, ModelBus propose les mécanismes « diff/merge » des modèles, et, pour le deuxième, ModelBus offre les mécanismes d’échange de modèles et d’invocations de services entre outils. Les problèmes majeurs traités par ModelBus concernent le passage à l’échelle face à la taille des spécifications des systèmes complexes. Etant donné qu’un ensemble de modèles décrivant un système est un grand graphe d’objets (à l’ordre de GOs), dont les liens représentent les relations entre les modèles (ex. Traçabilité, relations entre les vues du système), nous soulevons les problèmes suivants: 1) Insuffisance de mémoire pour manipuler ce graphe entier, 2) Incohérences des liens du graphe (liens casés) causées par les manipulations concurrentes des modèles. Pour résoudre ces problèmes, ModelBus partitionne une spécification de système en modèles, et gère la cohérence des liens entre ces modèles

Les Systèmes Interactifs d'Aide à la Décision (SIAD) adaptés aux prises de décisions basées sur les connaissances sont au coeur de ces travaux. Un ensemble d'approches de développement (modèles, méthodes et architectures) provenant du génie logiciel, des IHM, des systèmes de connaissance, des systèmes à base de composants et des SIAD n'ont pas semblé correspondre au développement de ces SIAD. Une Approche de DEveloppement de Système Interactif d'Aide à la Décision (ADESIAD) a été proposée. Elle a pour particularité d'être centrée sur le décideur et d'utiliser des patrons pour formaliser et structurer la connaissance et définir les besoins en composants métier. SIADIF (Système Interactif d'Aide à la Décision en Investissement dans une infrastructure Ferroviaire) a été développé suivant ADESIAD pour Réseau Ferré de France. Les premières évaluations de SIADIF ont permis de valider globalement ADESIAD. Les perspectives de recherche visant à faire évoluer ADESIAD terminent cette thèse<br>This thesis presents the problematic of the choice between investment projects and focus to the need of Decision Support Systems (DSS) to help the railway authorities. We consider the case where the decision-making is mainly knowledge-based. In order to capitalize and reuse this knowledge, the component-based development (CBD) was studied. The approaches found in various domains such as software engineering, HCI, DSS, knowledge-based systems and CBD were investigated to match the development requirements. So, our work aims at the proposal of a new approach which includes a model, a method and an architecture as well. The approach aims at the decision-maker centered development and using patterns. It was applied to develop a DSS in the railway infrastructure investment domain. The first evaluation allowed to globally validate the approach and the end users agreed with the developed system. The perspectives of this work aims at extending the approach to other kinds of DSS

Les logiciels actuels adoptent une méthodologie de développement dite "agile" pour mieux prendre en compte la nécessité de s'adapter constamment aux nouveaux besoins des utilisateurs. Les concepteurs et développeurs se rapprochent alors des futurs utilisateurs du logiciel en proposant des cycles courts d'itération, où le futur utilisateur fait un retour rapide sur l'incrément apporté au logiciel, et fait part de nouveaux besoins à prendre en compte dans les incréments à venir. Ces itérations peuvent être vues comme des évolutions, faisant suite à la définition d'un nouveau besoin de l'utilisateur, à un changement de l'en- vironnement d'exécution, ou encore à une remise en question de l'architecture du logiciel. Dans l'écosystème des architectures orientées services, la conception d'applications passe par la chorégraphie ou l'orchestration de services par des processus métiers. Concevoir ces applications consiste alors à mettre en relation les flots de contrôle et de données de ces services. La phase d'évolution devient une phase complexe, où une simple modification lo- calisée à une sous-partie d'un processus métier peut avoir des conséquences sur l'ensemble du système logiciel, causant par exemple son ralentissement lors de l'exécution. Du point de vue de la qualité de service (QoS), la maîtrise de la fiabilité du processus d'évolution pour maintenir la qualité de service d'un logiciel est alors critique. Il est donc nécessaire de pouvoir proposer des mécanismes d'évolution agiles et fiables permettant le maintien de la QoS lors de l'évolution d'applications à base de processus métiers. En d'autres termes, il s'agit de s'assurer qu'une évolution ne viole pas les contrats de QoS définis initialement. Cette garantie doit être établie en fonction du contrat soit lors de la conception soit lors de l'exécution. Dans ce dernier cas, le processus de vérification doit être minimal et localisé, afin de ne pas dégrader les performances du système logiciel. Pour cela, nous proposons de mettre en œuvre un cycle de développement agile, centré sur le maintien de la QoS lors de l'évolution. Il s'agit de prendre l'aspect évolutif du système, ceci dès l'étape de conception initiale, en identifiant les informations requises pour déter- miner si la QoS est correcte et si elle est non violée par une évolution. Ces informations étant détenues par plusieurs intervenants, il est également nécessaire d'établir les points d'interaction au cours du cycle de développement, au cours desquels les informations seront partagées de façon à ce que le logiciel qui en est issu reste syntaxiquement et sémantique- ment cohérent et que les contrats de QoS soient (re)vérifiés a minima. Les contributions de cette thèse sont donc mises en œuvre dans Blink, un cycle de développement pour l'évolu- tion, et Smile, un canevas de développement pour le maintien de la qualité de service lors de l'évolution d'applications orientées service définies à base de processus métiers. Tandis que le cycle de développement Blink vise à identifier les différents rôles présents dans l'équipe de développement et à expliciter leurs interactions, le canevas Smile propose la réalisation d'une boucle d'évolution. Cette boucle permet de concevoir, d'analyser et d'appliquer une évolution, en détectant les potentielles violations de contrat de QoS. Pour cela, l'analyse de l'évolution détermine son effet sur la QoS du logiciel, en établissant des relations de causalité entre les différentes variables, opérations, services et autres parties du système. Ainsi, en identifiant les éléments causalement affectés par l'évolution et en écartant ceux qui ne le sont pas, notre approche permet de limiter le nombre d'éléments à (re)vérifier, garantissant ainsi une étape d'évolution fiable, avec une étape de (re)vérification minimale. Nous montrons sur un cas concret de système de gestion de crises, constitué de onze processus métiers et de dix scénarios, que l'utilisation conjointe de Blink et de Smile permet d'identifier, pour chaque évolution, quel sera son effet sur le reste du système, et si la qualité de service sera maintenue ou non.

Simplifier notre interaction avec les entités informatiques interconnectées de notre environnement et faciliter l'exploitation des informations générées par celles-ci est l'objectif des environnements et des applications ubiquitaires. Le comportement des applications ubiquitaires dépend de l'état et de la disponibilité des entités (logiciels ou dispositifs) qui composent l'environnement ubiquitaire dans lequel elles évoluent, ainsi que des préférences et localisations des utilisateurs. Développer et exécuter des applications ubiquitaires est un véritable défi que notre approche essaie de relever au travers de l'environnement d'exécution ApAM. Considérant que l'environnement d'exécution est imprévisible, nous partons du principe qu'une application ubiquitaire doit disposer d'une grande flexibilité dans le choix de ses composants et que cette composition doit être automatique. Nous proposons une description abstraite et implicite de la composition (où les composants et les liens entre eux ne sont pas décrits explicitement), ce qui permet de construire l'application incrémentalement pendant la phase d'exécution. La plate-forme d'exécution ApAM implémente ces mécanismes de composition incrémentale et s'en sert pour conférer aux applications ubiquitaires la capacité de " résister " et de s'adapter aux changements imprévisibles de l'environnement d'exécution. Cette propriété dite de résilience est au coeur de notre approche car elle permet aux programmeurs de développer " simplement " des applications " résilientes " sans avoir à décrire les diverses adaptations à réaliser et même sans connaître toutes les perturbations de l'environnement auxquelles elles seront soumises. Notre proposition offre le moyen de développer et d'exécuter des applications ayant un haut niveau de résilience vis-à-vis des évolutions de leur contexte d'exécution, grâce à des mécanismes automatiques capables de construire et de modifier à l'exécution l'architecture logicielle des applications ubiquitaire. Les mécanismes fournis sont génériques mais peuvent être étendus et spécialisés pour s'adapter plus finement à certaines applications ou à des domaines métiers spécifiques.

La diversité des dispositifs et les exigences des utilisateurs en termes de disponibilité et de continuité de service complexifient l'ingénierie de l'interaction homme-machine : il devient nécessaire de créer des IHM douées d'adaptation dynamique à leur contexte d'usage. L'ingénierie de ces IHM, dites plastiques, peut suivre une approche dirigée par les modèles mais ces approches sont encore peu pratiquées et souffrent d'un coût d'apprentissage important. Il est donc impératif d'accompagner les concepteurs et développeurs par un guidage, mais ce guidage doit être suffisamment flexible pour intégrer des compétences variées et des pratiques diverses en constante évolution.L'ingénierie des méthodes de développement logiciel s'est depuis longtemps préoccupée de la flexibilité des modèles de processus pendant leur conception, mais très peu de travaux se sont préoccupés de la flexibilité à l'exécution. Pourtant, plusieurs études montrent que les concepteurs et les développeurs, qui sont les principaux utilisateurs des méthodes, en expriment le besoin. Ils souhaitent par exemple disposer de modèles de processus exprimés dans les langages qu'ils maîtrisent, qui les laissent maîtres des choix de conception ou de réalisation et les aident dans l'apprentissage de la démarche. La flexibilité des modèles de processus à l'exécution, telle que nous la proposons, permet de répondre à ces attentes et ouvre donc la possibilité de fournir un guidage adéquat pour le développement d'IHM plastiques.Nous nous sommes focalisés dans un premier temps sur la conceptualisation de la propriété de flexibilité. Cette étude nous a conduits à proposer une taxonomie des modèles de processus, Promote, qui définit et gradue la flexibilité selon six dimensions. Nous avons ensuite transcrit cette définition de la flexibilité dans un métamodèle de processus flexible, M2Flex, et l'avons implémenté dans deux outils : D2Flex (D pour Design time), un outil collaboratif de conception de modèles de processus, et R2Flex (R pour Runtime), un environnement d'exécution des modèles définis dans D2Flex. Nous avons appliqué notre approche aux modèles de processus de développement d'IHM plastiques en rendant flexible la méthode UsiXML. L'environnement logiciel est en maturation technologique pour un transfert vers l'industrie. Ces différentes contributions ont fait l'objet de validations, en particulier auprès de concepteurs novices, en ingénierie de l'interaction homme-machine et des systèmes d'information<br>The increasing diversity of devices and services makes the engineering of user interfaces (UI) more complex: in particular, the UIs need to be capable of dynamic adaptation to the user's context of use. This property is named plasticity and so far addressed by model-based approaches. However, these approaches suffer from a high threshold of use. Therefore there is a need to support designers and developers with a flexible guidance, i.e. a guidance capable of adaptation to the evolving variety of skills and practices.Software development methods engineering has long been concerned with flexibility of process models at design time, but very few work has been done about enactment-time although several studies show that designers and developers, who are the primary users of methods, call for such a flexibility. For instance, they expect process models to be expressed in languages they master, to let them make decisions about design choices, and to help them in learning the approach.Our proposition of process models flexibility at both design time and runtime meets these expectations and thus opens the possibility of providing adequate guidance for the development of plastic UIs.We first focused on the conceptualization of flexibility. Thanks to this study, we elaborated Promote, a taxonomy of process models, which defines and graduates six kinds of flexibility. Then we transcribed this definition of flexibility into M2Flex, a flexible process metamodel, and implemented it in two tools: D2Flex (with a D as "Design time"), a collaborative tool for the Design of process models, and R2Flex (with a R as "Runtime") , a tool for enacting the process models defined in D2Flex. We applyed our approach to the development of plastic UIs by making the UsiXML methodology flexible. FlexiLab, our software environment, is actually under technological maturation for being transferred to companies. These contributions have been validated, especially with novice designers, in the fields of the engineering of plastic UIs and Information Systems

La génomique comparative bactérienne consiste à comparer les contenus en gène des différentes souches : leur pangenome. Avec le nombre croissant de séquençages, les logiciels existants au début de cette thèse arrivaient à leurs limites en termes de temps de calcul et de mémoire. L’enjeu était de passer à l’échelle de milliers de génomes dans un temps raisonnable, en gardant une précision correcte. De plus, à notre connaissance, aucun logiciel ne permettait d’effectuer toutes les étapes clés d’une étude de génomique comparative. C’est dans ce contexte que nous avons développé PanACoTA, un outil ayant pour but de standardiser et automatiser la préparation de données pour ces études, depuis le téléchargement des génomes et leur contrôle qualité jusqu’à l’inférence de l’arbre phylogénétique du core génome (gènes communs à tous les génomes). Son implémentation sous forme de modules a été pensée pour permettre de s’adapter aux besoins spécifiques de certaines études (exploration de paramètres, étapes supplémentaires). Concernant le module « pangenome », nous avons développé une nouvelle méthode, s’appuyant sur des outils récents de comparaison et clustering de séquences. Robuste aux changements d’échelle, elle permet de calculer un pangénome de 4000 souches en 30 minutes. Au cours de son développement, nous avons appliqué PanACoTA dans différents contextes. Nous avons montré l’utilité de l’outil sur des études à court terme (recherche de la particularité d’une souche épidémique d’E. anophelis), sur du long terme (étude de la diversité génomique de l’espèce E. coli), ou encore pour différencier différentes espèces d’un genre peu connu (Morganella)<br>Bacterial comparative genomics consists in comparing the gene contents of different strains: their pangenome. With the increasing number of strains sequenced, the tools available when I started this PhD were reaching their limits in terms of computation time and space. The aim was to develop a method able to handle thousands of genomes, accurately and in a reasonable amount of time. Besides, to our knowledge, no tool was able to do all key steps of any comparative genomics study. This spurred the development of PanACoTA, a tool to standardize and automatize the process to build the key collections of data needed for these studies. This includes all steps from downloading genomes with a quality control until the inference of a phylogenetic tree based on the core genome (genes shared by all strains). In order to be able to adapt to specific needs (exploration of parameters, additional steps), we implemented it in a modular way. For the “pangenome” module, we developed a new method, based on recent tools of genome comparison and clustering. Robust to changes in sampling size, this method can infer a pangenome of 4000 strains in 30 minutes. During its development, we applied PanACoTA to different kinds of studies. We showed its usefulness for short-term studies (find specificity of a pathogenic strain of E. anophelis), long-term (genomic diversity of E. coli species), or to identify different species in an little-known genus (Morganella)

Les architectures logicielles ont été introduites en réponse à l'accroissement de la complexité des systèmes, en favorisant leurs descriptions à un haut niveau d'abstraction. Dans cette thèse, nous proposons d'aborder la problématique de leurs évolutions avec comme objectif, de capitaliser les évolutions récurrentes et de favoriser leur réutilisation. Notre contribution se décline en deux volets majeurs. Le premier volet concerne la proposition du modèle d'évolution SAEM (Style-based Architectural Evolution Model), permettant l'abstraction, la spécification et la gestion de l'évolution dans les architectures logicielles au travers du concept de style d'évolution. SAEM se veut un modèle d'évolution générique, uniforme et indépendant de tout langage de description d'architecture. Le formalisme proposé décrit les concepts du style d'évolution selon un tryptique : domaine, entête et compétence. Le deuxième volet concerne le développement d'une approche de réutilisation par dessus SAEM pour tenter de rendre les activités d'évolution plus rentables. Nous proposons une démarche pour la construction de bibliothèques pour les styles d'évolution, orchestrée par différentes catégories d'intervenants. Les bibliothèques sont élaborées selon deux types de processus complémentaires : « pour la réutilisation » et « par la réutilisation ». Nous présentons une technique de raisonnement classificatoire pour permettre aux bibliothèques d'être peuplées et interrogées dans le but de gérer les savoir et savoir-faire relatifs à l'évolution architecturale.

Le développement d'applications avec une architecture Pair-à-Pair (P2P) est devenu de plus en plus important en ingénierie du logiciel. Aujourd'hui, un grand nombre d'organisations de tailles et secteurs différents compte d'une manière croissante sur la collaboration entre multiples acteurs (individus, groupes, communautés, etc.) pour accomplir des tâches essentielles. Ces applications P2P ont généralement un comportement récursif que plusieurs approches de modélisation ne peuvent pas décrire et analyser (ex. les approches basées sur les automates à états finis). Un autre challenge qui concerne le développement d'applications P2P est le couplage fort entre la spécification d'une part, et les technologies et protocoles sous-jacents d'autre part. Cela force les développeurs à faire des efforts considérables pour trouver puis comprendre des informations sur les détails de ces couches basses du P2P. De plus, ce couplage fort oblige les applications à s'exécuter dans des environnements figés. Par conséquent, choisir par exemple un autre protocole pour répondre à un nouveau besoin à l'exécution devient une tache très difficile. Outre ces points, les applications P2P sont souvent spécifiées avec une faible capacité à déléguer des traitements entre les pairs, et se focalisent surtout sur le partage et le stockage de données. Ainsi, elles ne profitent pas pleinement de la puissance de calcul et de traitement offerte par le réseau P2P sous-jacent. Dans cette thèse, nous présentons une approche qui combine les principes du développement orienté composants et services avec des techniques issues des Grammaires Attribuées et d'analyses de flot de données (techniques utilisées surtout dans la construction de compilateurs) afin de faciliter la spécification, l'analyse et le déploiement d'applications dans des architectures P2P. Cette approche incorpore: i) Un langage formel nommé DDF (de l'anglais Data-Dependency Formalism) pour spécifier les applications et construire leurs graphes de dépendances de données. Un graphe de dépendances de données est nommé DDG (de l'anglais Data-Dependency Graph) et est défini pour être une représentation abstraite de l'application spécifiée. ii) Une méthode d'analyse qui utilise le graphe de dépendances de données pour inférer et calculer diverses propriétés, y compris certaines propriétés que les model-checkers ne peuvent pas calculer si le système présente un comportement récursif. iii) Un intergiciel nommé SON (de l'anglais Shared data Overlay Network) afin de développer et d'exécuter des applications dans une architecture P2P sans faire face à la complexité des couches sous-jacentes. Cela grâce essentiellement au couplage faible (par une approche orientée services) et à la fonctionnalité de génération de code automatique.

Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of concerns, and lack of high-level of abstractions to address both the large scale and heterogeneity. Moreover, stakehol- ders involved in the application development have to address issues that can be attributed to different life-cycles phases when developing applications. First, the application logic has to be analyzed and then separated into a set of distributed tasks for an underlying network. Then, the tasks have to be implemented for the specific hardware. Apart from handling these issues, they have to deal with other aspects of life-cycle such as changes in application requirements and deployed devices. Several approaches have been proposed in the closely related fields of wireless sensor network, ubiquitous and pervasive computing, and software engineering in general to address the above challenges. However, existing approaches only cover limited subsets of the above mentioned challenges when applied to the IoT. This thesis proposes an integrated approach for addressing the above mentioned challenges. The main contributions of this thesis are: (1) a development methodology that separates IoT application development into different concerns and provides a conceptual framework to develop an application, (2) a development framework that implements the development methodology to support actions of stakeholders. The development framework provides a set of modeling languages to specify each development concern and abstracts the scale and heterogeneity related complexity. It integrates code generation, task-mapping, and linking techniques to provide automation. Code generation supports the application develop- ment phase by producing a programming framework that allows stakeholders to focus on the application logic, while our mapping and linking techniques together support the deployment phase by producing device-specific code to result in a distributed system collaboratively hosted by individual devices. Our evaluation based on two realistic scenarios shows that the use of our approach improves the productivity of stakeholders involved in the application development.

La construction de logiciels pour des appareils qui ne peuvent pas accueillir localement des outils de développement peut être difficile. Ces appareils soit ont une puissance de calcul trop limitée pour exécuter un IDE (par exemple, smartphones), ou manquent d' interfaces d'entrée / sortie appropriées (écran, clavier , souris) pour la programmation (par exemple, les robots mobiles) ou sont tout simplement inaccessibles pour des développements locaux (par exemple cloud - serveurs). Dans ces situations, les développeurs ont besoin d'une infrastructure appropriée pour développer et déboguer des applications distantes. Des solutions de débogage à distance sont parfois délicates à utiliser en raison de leur nature distribuée. Les études empiriques nous montrent que, en moyenne 10,5 minutes par heure de codage (plus de cinq semaines de travail de 40 heures par an) sont passées pour le re-déploiement d'applications pour corriger les bugs ou améliorer leur fonctionnalité [ZeroTurnAround 2011]. En plus, les solutions courantes manquent des aménagements qui seraient autrement disponibles dans un contexte local, car c'est difficile de les reproduire à distance (par exemple débogage objet-centré [Ressia 2012b]). Cet état influe sur la quantité d' expérimentation au cours d'une session de débogage à distance - par rapport à un contexte local. Dans cette thèse, afin de surmonter ces problèmes, nous identifions d'abord quatre propriétés désirables qu'une solution idéale pour le débogage à distance doit présenter : l'interactivité, l'instrumentation, la distribution et la sécurité. L'interactivité est la capacité d'une solution de débogage à distance de mise à jour incrémentale de toutes les parties d'une application sans perdre le contexte de d'exécution (sans arrêter l'application). L'instrumentation est l'aptitude d'une solution de modifier la sémantique d'un processus en cours en vue d'aider le débogage. La distribution est la capacité d'une solution de débogage à adapter son cadre alors que le débogage d'une cible à distance. Enfin la sécurité fait référence à la disponibilité de conditions préalables pour l'authentification et la restriction d'accès. Compte tenu de ces propriétés, nous proposons Mercury, un modèle de débogage à distance et une architecture pour des langues réflexifs à objets. Mercury ouvre (1) l'interactivité grâce à un méta-niveau à distance miroir basé sur un lien de causalité avec sa cible, (2) l'instrumentation à travers une intercession réflective basée sur la réification de l'environnement d'exécution sous-jacent, (3) la distribution grâce à un middleware adaptable et (4) la sécurité par la décomposition et l'authentification de l'accès aux aspects réflexifs. Nous validons notre proposition à travers un prototype dans le langage de programmation Pharo à l'aide d'un cadre expérimental diversifié de multiples dispositifs contraints. Nous illustrons des techniques de débogage à distance supportées par les propriétés de Mercury, tels que le débogage agile distant et l'instrumentation objet à distance et montrons comment ils peuvent résoudre dans la pratique, les problèmes que nous avons identifiés.

Ce travail s'inscrit dans le cadre du développement formel de programmes. Ces programmes sont obtenus par transformation de spécifications formelles (algébriques) en appliquant des règles de base du système fold/unfold ou des tactiques de développement les combinant. A cet effet un langage de développement par transformation a été défini. Il est supporté par un système de types d'ordre supérieur appelé DEVA développé dans le cadre du projet ESPRIT-TOOL'USE. Les développements sont exprimés dans ce langage. L'isomorphisme de Curry-Howard établissant la correspondance entre type et proposition garantit la correction des développements. Un des objectifs principaux a été la prise en compte des propriétés non fonctionnelles durant les phases du développement. Nous nous sommes particulièrement intéressés à la complexité en temps et à la précision des programmes numériques. L'interprétation abstraite étendue aux développements formels de programmes a permis l'évaluation et la vérification de ces propriétés et donc l'utilisation de celles-ci pour diriger les transformations. Le contrôle d'une propriété permet la sélection d'une tactique de transformation ou le choix de représentation de données. Les schémas de programmes de Huet & Lang ont été étendus aux schémas de développement. Ceci a permis d'envisager la réutilisation des programmes obtenus mais aussi des développements grâce au filtrage (matching) des spécifications. Une analyse des développements pour détecter les propriétés pertinentes a été développée: elle permet l'extraction des propriétés à vérifier lors de la réutilisation.

Le développement rapide des TIC (Information and Communication Technology) a un impact énorme à toutes les industries. Internet Mobile, Web 2.0, la technologie de positionnement sont déployées dans le monde largement, qui a initialisé la demande intérieure des nouvelles technologies dans le domaine du tourisme. En profitant de la commodité apportée par les nouvelles technologies, de plus en plus d'utilisateurs de commencer à se concentrer sur les questions de confidentialité.Comme on le sait, il y a une contradiction entre la qualité des services et la vie privée recommandés basés sur la localisation. profil de l'utilisateur détaillé et informations de localisation précises sont nécessaires pour fournir un service basé sur la localisation avec une grande efficacité et de qualité, tandis que la préservation de la vie privée exige cacher le profil et l'emplacement de l'utilisateur. De nombreuses recherches récentes vise à trouver un équilibre entre eux, pour obtenir la meilleure qualité de la LBS dans le contexte du contenu du profil de l'utilisateur et les informations de localisation moins exposée.Dans cette thèse, l'auteur a porté principalement sur la vie privée de profil de l'utilisateur mobile, qui couvre à la fois les caractéristiques personnelles et les informations de localisation.1, sur mesure modèle de confidentialité des utilisateurs considérant à la fois les qualités personnelles et la localisation spatiale et temporelle est définie pour l'utilisateur mobile.Dans cette recherche, nous avons proposé le modèle de confidentialité personnalisé pour chaque utilisateur de définir, son / sa propre signification de la vie privée. Avec ce modèle, à des fins de Voyage différents, ou même pour le temps et un autre emplacement, ils peuvent avoir des définitions différentes pour leur vie privée.2, Minimiser les données à stocker sur le serveur.Les profils sont stockés de deux façons différentes, le profil complet est stocké sur le côté client, et seules les valeurs des attributs qui sont en mesure pour les utilisateurs de partager sont stockés sur le côté serveur, ainsi minimisé les données à stocker sur le serveur.3, les niveaux personnalisés de granularité de la divulgation de l'emplacement et l'heure sont réglables pour les utilisateurs.Pour changer fréquemment des attributs tels que l'emplacement et l'heure, l'utilisateur peut les divulguer avec une granularité appropriée, afin d'obtenir le service attendu par les fournisseurs de services.Mots-clés: vie privée, l'emplacement, le profil de l'utilisateur, mobile, tourisme<br>The rapid development of ICT(Information and Communication Technology) brought huge impact to all industries. Mobile internet, Web 2.0, positioning technology are deployed world-widely, that initialized inner request of new technologies in the field of tourism as well. By enjoying the convenience brought by new technologies, more and more users starting to focus on privacy issues.As known, there is a contradiction between the quality of recommended location-based services and privacy. Detailed user profile and precise location information are needed for providing location-based service with high efficiency and quality, while privacy preservation requires hiding user's profile and location. Many recent researches aims to seek a balance between them, to obtain the best quality of the LBS in the context of the least exposed user profile content and location information.In this thesis, the author focused mainly on the privacy of mobile user profile, which covers both personal characteristics and location information.1, Customized user privacy model considering both personal attributes and spatial and temporal location is defined for mobile user.In this research, we proposed customized privacy model for every user to define, his/her own meaning of privacy. With this model, for different travel purpose, or even for different time and location, they can have different definitions for their privacy.2, Minimized the data to be stored on server.Profiles are stored in two different ways, complete profile is stored on the client side, and only the values of the attributes that are able for the users to share are stored on the server side, thus minimized the data to be stored on server.3, Customized levels of granularity of disclosure of location and time are adjustable for users.For frequently changing attributes such as location and time, user can disclose them with suitable granularity, in order to obtain expected service from the service providers.Keywords: privacy, location, user profile, mobile, tourism

Dans le cadre de la modélisation de systèmes complexes, la conception d'entrée ou appelée système représente le plus haut niveau d'abstraction du système global, ceci avant tout choix en terme d'implantation et de technologies. À ce tout premier stade de la conception, l'utilisation d'un langage formel de spécification est de plus en plus considéré comme le fondement d'un réel processus de validation en particulier dans le cas d'exigences de sûreté. Cette thèse met en lumière la nécessité d'une modélisation par raffinement: de la spécfication la plus abstraite vers un point de description proche de l'implémentation afin d'assurer (1) la traçabilité des besoins et des exigences, (2) une meilleure gestion du développement et (3) surtout une conception sûre des systèmes car générée par construction prouvée et ceci que ces sytèmes fassent appel à des technologies logicielles, numériques ou analogiques, voire autres. Le travail qui a été mené a consisté à mettre en perspective la taxinomie des langages ADL, le modèle de développement utilisé dans le cadre des composants électroniques et la méthode par raffinement, dite Méthode B. Ceci nous a permis de réaliser la plateforme BHDL Tool : plateforme de conception de circuits électroniques intégrant (1) une interface de description structurelle de composants électroniques, (2) un générateur de code VHDL et enfin (3) un traducteur en un langage formel pour les preuves de raffinement sous l'Atelier B.

L'avènement de l'IDM (Ingénierie Dirigée par les Modèles) a suscité beaucoup d'intérêt de la part des organisations qui de fait commencent à transformer leur processus de développement traditionnel en un processus de développement dirigé par les modèles, appelé aussi processus IDM.Au moment où ces processus commencent à émerger, nous notons l'absence d'un langage dédié pour les modéliser et les mettre en œuvre. Le standard SPEM 2.0 propose des concepts génériques qui sont supposés être capables de décrire tout type de processus logiciel. Cependant, les concepts de SPEM ne capturent pas la nature exacte des processus IDM. D'autre part, une autre insuffisance majeure de SPEM réside dans le fait qu'il n'intègre pas les concepts relatifs à la mise en œuvre des processus.L'objectif de cette thèse est triple : (1) proposer une extension de SPEM dans laquelle les concepts centraux des processus IDM sont réifiés ; (2) proposer un langage dédié à la modélisation comportementale des processus IDM ; (3) proposer une architecture conceptuelle d'un environnement logiciel d'aide à la modélisation et à la mise en œuvre des processus IDM.Pour valider notre approche, un prototype a été développé sous l'environnement TOPCASED. Ce prototype fournit d'une part un éditeur graphique pour la modélisation structurelle et comportementale des processus IDM et d'autre part un environnement de mise en œuvre s'appuyant sur les modèles comportementaux des processus. Nous avons également appliqué notre approche à une étude de cas significatif: le processus UWE (UML-based Web Engineering), qui est un processus IDM dédié au développement d'applications web.

Le développement d'une spécification est décrit par une suite d'étapes de développement, une étape se définissant par application d'un operateur sur un état de développement et fournissant un nouvel état de développement. Au cours d'une étape, des décisions sont prises pour résoudre un objectif, ces décisions portant a la fois sur le produit à concevoir (programme ou spécification) et sur la suite des taches à résoudre pour atteindre cet objectif. La définition d'un développement repose sur les concepts essentiels de produit, de plan de travail et d'operateurs de développement: - le produit: le travail du spécifieur est vu comme une suite d'étapes conduisant d'un cahier des charges initial à une première spécification formelle, complète et non ambigüe décrivant les fonctionnalités, le comportement du système visé et les contraintes portant sur son systeme. Un état de produit peut contenir différentes versions d'une ou plusieurs de ses composantes; - le plan de travail désigne un ensemble organisé de taches déjà réalisées ou à réaliser, une tache consistant en un objectif à atteindre; - un operateur de développement désigne un moyen pour atteindre un objectif en faisant évoluer le plan de travail et le produit associé. Le cadre de développement proposé est paramétré par le langage de spécification et permet de traiter la gestion de versions et la réutilisation

Les phénomènes physiques complexes peuvent être simulés numériquement par des techniques mathématiques basées souvent sur la discrétisation des équations aux dérivées partielles régissant ces phénomènes. Ces simulations peuvent mener ainsi à la résolution de très grands systèmes. La parallélisation des codes de simulation numérique, c'est-à-dire leur adaptation aux architectures des calculateurs parallèles, est alors une nécessité pour parvenir à faire ces simulations en des temps non-exorbitants. Le parallélisme s'est imposé au niveau des architectures de processeurs et les cartes graphiques sont maintenant utilisées pour des fins de calcul généraliste, aussi appelé "General-Purpose computation on Graphics Processing Unit (GPGPU)", avec comme avantage évident l'excellent rapport performance/prix. Cette thèse se place dans le domaine de la conception de ces applications hautes-performances pour la simulation des machines électriques. Nous fournissons une méthodologie basée sur l'Ingénierie Dirigées par les Modèles (IDM) qui permet de modéliser une application et l'architecture sur laquelle l'exécuter afin de générer un code OpenCL. Notre objectif est d'aider les spécialistes en algorithmes de simulations numériques à créer un code efficace qui tourne sur les architectures GPGPU. Pour cela, une chaine de compilation de modèles qui prend en compte les plusieurs aspects du modèle de programmation OpenCL est fournie. De plus, pour rendre le code raisonnablement efficace par rapport à un code développé à la main, nous fournissons des transformations de modèles qui regardent des niveaux d'optimisations basées sur les caractéristiques de l'architecture (niveau de mémoire par exemple). Comme validation expérimentale, la méthodologie est appliquée à la création d'une application qui résout un système linéaire issu de la Méthode des Éléments Finis pour la simulation de machines électriques. Dans ce cas nous montrons, entre autres, la capacité de la méthodologie de passer à l'échelle par une simple modification de la multiplicité des unités GPU disponibles.

Nous apportons une contribution a l'elaboration de methodes de developpement de logiciels embarques unissant a la fois une methode structuree en l'occurence sa-rt selon hatley et pirbhai et une methode formelle (le modele des systemes de transitions etiquetes). Nous decrivons comment le formalisme des systemes de transitions etiquetes pour fournir une semantique formelle pour les diagrammes de flots de donnees et de flots de controle, assortis de la specification de controle associee. Nous presentons ensuite le programme developpe qui automatise cette transformation et quelques possibilites de verifications sur ce modele grace a l'outil mec. Une comparaison est ensuite faite avec une autre approche consistant a specifier directement le systeme en termes de produits de systemes de transitions etiquetes, et les conclusions en sont titees

Cette thèse a pour objectif de concevoir et de réaliser l'interface entre le logiciel Moduleco et le logiciel TSP. Les principaux sujets abordés sont les suivants: 1) études approfondies de Moduleco-logiciel de modélisation macro-économique, et de TSP-logiciel de statistique et de calcul économétrique; 2) génération automatique de programmes TSP; 3) traduction des équations de syntaxe Moduleco en équations de syntaxe TSP; 4) récupération des résultats TSP dans Moduleco. Ce travail a été réalisé au sein du projet Moduleco de l'Inria-Rocquencourt

Une Ligne de Produits Logiciels (LPL) supporte la gestion d’une famille de logiciels. Cette approche se caractérise par une réutilisation systématique des artefacts communs qui réduit le coût et le temps de mise sur le marché et augmente la qualité des logiciels. Cependant, une LPL exige un investissement initial coûteux. Certaines organisations qui ne peuvent pas faire face à un tel investissement, utilisent le « Clone-and-own » C&amp;O pour construire et faire évoluer des familles de logiciels. Cependant, l'efficacité de cette pratique se dégrade proportionnellement à la croissance de la famille de produits, qui devient difficile à maintenir. Dans cette thèse, nous proposons une approche hybride qui utilise à la fois une LPL et l'approche C&amp;O pour faire évoluer une famille de produits logiciels. Un mécanisme automatique d’identification des correspondances entre les « features » caractérisant les produits et les artéfacts logiciels, permet la migration des variantes de produits développées en C&amp;O dans une LPL. L’originalité de ce travail est alors d’aider à la dérivation de nouveaux produits en proposant différents scenarii d’opérations C&amp;O à effectuer pour dériver un nouveau produit à partir des features requis. Le développeur peut alors réduire ces possibilités en exprimant ses préférences (e.g. produits, artefacts) et en utilisant les estimations de coûts sur les opérations que nous proposons. Les nouveaux produits ainsi construits sont alors facilement intégrés dans la LPL. Nous avons étayé cette thèse en développant le framework SUCCEED (SUpporting Clone-and-own with Cost-EstimatEd Derivation) et l’avons appliqué à une étude de cas sur des familles de portails web<br>A Software Product Line (SPL) manages commonalities and variability of a related software products family. This approach is characterized by a systematic reuse that reduces development cost and time to market and increases software quality. However, building an SPL requires an initial expensive investment. Therefore, organizations that are not able to deal with such an up-front investment, tend to develop a family of software products using simple and intuitive practices. Clone-and-own (C&amp;O) is an approach adopted widely by software developers to construct new product variants from existing ones. However, the efficiency of this practice degrades proportionally to the growth of the family of products in concern, that becomes difficult to manage. In this dissertation, we propose a hybrid approach that utilizes both SPL and C&amp;O to develop and evolve a family of software products. An automatic mechanism of identification of the correspondences between the features of the products and the software artifacts, allows the migration of the product variants developed in C&amp;O in an SPL The originality of this work is then to help the derivation of new products by proposing different scenarios of C&amp;O operations to be performed to derive a new product from the required features. The developer can then reduce these possibilities by expressing her preferences (e.g. products, artifacts) and using the proposed cost estimations on the operations. We realized our approach by developing SUCCEED, a framework for SUpporting Clone-and-own with Cost-EstimatEd Derivation. We validate our works on a case study of families of web portals

Un atelier de Génie Logiciel forme un support intégré pour classer, traiter et développer toutes les informations et les objets associés au développement d'un logiciel. Il doit permettre à différents utilisateurs de travailler, en même temps ou non, sur un même projet, susceptible d'évoluer, et de traverser différentes étapes. Afin de résoudre les problèmes liés à cette utilisation simultanée, et en particulier les problèmes de gestion de configurations différentes d'un même projet, un modèle d'évolution du logiciel est présenté ici : le modèle dérivation-archivage. En association avec ce modèle, un principe de génération de bases de projet à partir de leur spécification est introduit. Il permet notamment de manipuler les ateliers de génie logiciel avec une grande facilité, d'en changer la structure sans risque, et de réaliser automatiquement des échanges de logiciels complexes entre des environnements distincts. Un cadre formel, utilisant le formalisme de spécifications algébriques, permet de prouver la validité des résultats qui sont énoncés sur la génération de bases de projet. La génération d’environnements est définie comme l'implémentation abstraite d'une spécification d'environnement par une spécification de SGBD. Des prototypes illustrent ces travaux : un système de gestion de bases de données multi-utilisateurs, un générateur de noyaux de bases de projet, et des environnements intégrant le tout, Asspégaz et PEGASE<br>A software development environment is an integrated frame for storing, processing and developing all information concerning the development of a software. An environment should make it possible for several users to work, simultaneously or not, on the same project, this project being able to evolve, and have different states. For solving the problems raised by this situation, and particularly the problems of configuration management. A software evolution model is defined: the derivation-Jock model. The principle of the project database gen ration from the specification of the environment is defined, in association with this model. This principle makes it possible to handle very easily software development environments, to change their structure with no risk, and to get procedures for exchanging structured software between different environments. A formal framework, using the formalism of algebraic specifications makes it possible to prove the correctness of the project database generation. The generation of a project data­ base is defined in this framework as an abstract implementation between the specification of an environment and the specification of a database system. Some prototypes illustrate these works: a multi-user database system devoted to software development processes, a generator of project database kernels, and environments which integrate these works: Asspégaz and PEGASE

Dans le contexte économique actuel, la maîtrise de la qualité est devenue un impératif absolu pour les logiciels industriels. Un des objectifs de l'atelier de contrôle de qualité (FIAB) est d'évaluer la qualité du logiciel par une approche quantitative (McCALL). Une étude de METROLOGIE du logiciel a été menée pour tenter d'apporter une réponse aux difficultés qui surgissent lorsqu'il s'agit d'estimer objectivement la qualité du logiciel. Nous nous intéressons à l'exploitation la plus complète possible des informations contenues dans les documents de conception détaillée (formalisés en Langage Algorithmique) et de codage. Si l'on considère l'approche "arbre de qualité" de McCALL, on peut réduire l'arbre complet pour ne conserver qu'un sous-arbre aboutissant à des indices de qualité faciles à réaliser automatiquement. Les mesures nécessaires à. L'évaluation de ces indices sont obtenues à partir d'un analyseur statique multi langage (C, PASCAL, PLM, LDP) constituant l'ossature de FIAB. Cette structure d'accueil (implantée sous UNIX) offre des fonctionnalités telles que la documentation, l'aide aux tests et la vérification des normes de programmation. Les résultats de l'étude permettent essentiellement l'enrichissement de la fonction audit (QUALIMETRE) avec comme objectif une estimation des facteurs de qualité retenus (fiabilité, maintenabilité, portabi lité, modifiabilité, banalité d'emploi, efficacité, intégrité).

Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les décrire à un plus haut niveaud'abstraction (i.e., au-delà du code) avant de concrètement lesimplémenter. Toutefois, l'utilisation de ces descriptions de hautniveau dans les processus de construction et de vérification dessystèmes reste très rudimentaire, ne permettant pas de véritablementguider et faciliter le développement logiciel. Cette thèse propose une nouvelle approche pour rendre plus simple etplus sûr le développement de systèmes logiciels. Cette approche reposesur l'utilisation de langages dédiés et sur un couplage fort entre unecouche de spécification et d'architecture et une couched'implémentation. Elle consiste tout d'abord à décrire à un hautniveau d'abstraction différents aspects, à la fois fonctionnels et nonfonctionnels, d'un système dans la couche de spécification etd'architecture. Ces descriptions sont ensuite analysées et utiliséespour personnaliser la couche d'implémentation, afin de faciliter laconstruction et la vérification du système logiciel. Nous illustrons notre approche dans le domaine de l'informatiqueubiquitaire. À la suite d'une analyse complète du domaine, nous avonsconçu deux langages dédiés à l'orchestration d'objets communicants,Pantaxou et Pantagruel<br>The sheer size and complexity of today's software systems posechallenges for both their programming and verification, making itcritical to raise the level of abstraction of software developmentbeyond the code. However, the use of high-level descriptions in thedevelopment process still remains rudimentary, improving and guidingthis process marginally.This thesis proposes a new approach to making software developmentsimpler and safer. This approach is based on the use ofdomain-specific languages and a tight coupling between a specificationand architecture layer, and an implementation layer. It consists ofdescribing functional and non-functional aspects of a software systemat a high level of abstraction, using the specification andarchitecture layer. These high-level descriptions are then analyzedand used to customize the implementation layer, greatly facilitatingthe programming and verification of the software system.We have validated our approach in the domain of pervasive computingsystems development. From a complete domain analysis, we haveintroduced two domain-specific languages, Pantaxou and Pantagruel,dedicated to the orchestration of networked smart devices

Bien que les pilotes de périphériques soient des composants critiques, leur processus de développement est resté rudimentaire malgré le haut niveau d'expertise requis. Ainsi, une récente étude a montré que leur propension à contenir des bogues est jusqu'à sept fois plus importante que celles des autres composants d'un système d'exploitation. Cette thèse propose une nouvelle approche au développement des pilotes de périphériques basée sur les langages dédiés. Nous illustrons notre approche par l'introduction d'un langage dédié à la spécification d'interfaces de programmation de périphériques, nommé Devil. Le traitement d'une spécification Devil commence par son analyse afin de déceler d'éventuelles incohérences. Le code nécessaire pour implémenter la communication entre le périphérique et le pilote est ensuite généré automatiquement. Ce code se décline sous deux formes suivant que l'on désire privilégier les vérifications réalisées sur le pilote ou sa performance à l'exécution.

Les réseaux algébriques hiérarchiques introduits dans cette thèse constituent un formalisme permettant la spécification de systèmes concurrents complexes. Ils sont fondeé sur les réseaux de Pétri et les spécifications algébriques et possèdent des primitives de structuration. Les premiers travaux proposant une classe de réseaux algébriques structures furent ceux de F de Cindio avec obj-sa en 1988 puis ceux de d. Buchs et N. Guelfi avec co-opn (concurrent object oriented petri nets) en 1991. Les travaux sur co-opn ont abouti à un formalisme de spécifications éprouvé par des études de cas et pour lequel un environnement de développement a été développé (sands: structured algebraic net development system). Les réseaux algébriques hiérarchiques constituent une généralisation de co-opn. La syntaxe et la sémantique des réseaux algébriques hiérarchiques couvrent les évolutions de co-opn. Il est proposé, entre autres, une sémantique des spécifications algébriques locale aux modules de réseaux algébriques et la possibilité d'appels récursifs de méthodes. Cette dernière nous permet de définir la mise à plat d'un réseau algébrique hiérarchique et de montrer l'équivalence sémantique avec le réseau algébrique hiérarchique initial. Nous proposons un algorithme de transformation de spécification permettant de traduire toute spécification écrite dans l'environnement sands en un réseau algébrique hiérarchique. Ceci afin de donner une sémantique formelle aux spécifications sands et, inversement, d'utiliser sands pour le développement d'une sous classe de réseaux algébriques hiérarchiques. La dernière partie de cette thèse présente le problème du raffinement de réseau algébrique hiérarchique ainsi que les diverses évolutions possibles des réseaux algébriques hiérarchiques telles que les réseaux algébriques hiérarchiques libres ou bien les réseaux algébriques orientés objets

Depuis 1970, un certain nombre d'auteurs se sont intéressés à dédinir le noyau de base du génie logiciel. Ces auteurs s'entendent sur le fait que la discipline doit s'appuyer sur des principes fondamentaux qui seraient moins sensibles à l'évolution rapide de la technologie. Contrairement aux autres disciplines du génie, le génie logiciel ne peut s'appuyer sur les principes de la physique, ainsi, le génie logiciel doit identifier ses propres principes fondamentaux. Plus de 300 principes ont été recensés au niveau des travaux antérieurs sur l'identification des principes du génie logiciel. Depuis plus de 30 ans, les listes de principes s'accumulent sans qu'il y ait un consensus de la part de la communauté sur un ensemble précis de principes. Le nombre élevé de principes publiés bloque l'avancement de la recherche sur le sujet. Cette thèse traite de front 308 principes recensés depuis 1970 à l'aide d'une méthodologie analytique originale afin de filtrer l'ensemble des principes et de ne conserver que ceux qui satisfont à des critères d'identification précis. En premier, un bilan historique des travaux est fait afin de bien cerner la problématique. Par la suite, les objectifs de la recherche sont établis, ainsi que la méthodologie composée de quatre étapes. La première phase consiste à développer le cadre conceptuel nécessaire à la thèse. Par la suite, la deuxième phase applique les critères individuels d'identification aux 308 principes. La troisième phase applique deux critères d'ensemble aux principes retenus à la phase 2, catégorise les principes et effectue des liens avec les processus de la norme ISO/IEC 12207. La quatrième phase procède à une évaluation du degré de couverture des principes retenus à la phase 3 en fonction des éléments du modèle d'ingénierie, dans un premier temps, et en fonction des normes du génie logiciel de l'IEEE. Cette thèse a permis d'obtenir une liste réduite de 34 principes qui répondent aux critères d'identification. De plus, ces 34 principes supportent bien les éléments de base du modèle d'ingénierie, ainsi que les normes du génie logiciel de l'IEEE. Il est maintenant possible de poursuivre la recherche sur les principes du génie logiciel avec la liste réduite obtenue de cette thèse.

La mise en oeuvre d'ateliers de génie logiciel, permettant le développement moins artisanal, mais plus industriel de logiciels, est discutée. L'outil fondamental pour les ateliers de génie logiciel est la base de données. Le modèle entité-relation est retenu. Une configuration d'une association binaire est proposée avec des règles de description afin d'organiser la structure des attributs. Un schéma bloc entité-relation est construit à l'aide d'entités et de relations qui se regroupent en cinq classes de vue. Le modèle est ensuite appliqué à un environnement de développement de logiciels

Une application réseau communique avec d'autres applications par le biais d'un ensemble consen- <br />suel de règles régissant la communication, appelé protocole. Cette communication est gérée par la <br />partie de l'application connue comme la couche de support protocolaire qui gère la manipulation de <br />messages protocolaires. Elle s'avère être un composant critique d'une application réseau puisqu'elle <br />représente l'interface entre celle-ci et le monde extérieur. Elle est donc soumise à deux contraintes <br />fortes : une contrainte d'efficacité pour pouvoir traiter un grand nombre de messages et une contrainte <br />de robustesse pour faire face à des attaques visant à déstabiliser l'application ou la plate-forme maté- <br />rielle sous-jacente. Malgré ces contraintes, le processus de développement de cette couche demeure <br />rudimentaire et requiert un haut niveau d'expertise. Il consiste à traduire manuellement une spécifi- <br />cation du protocole écrite dans un formalisme haut niveau comme ABNF vers du code bas niveau tel <br />que du C. Le fossé entre ces niveaux d'abstraction favorise l'apparition d'erreurs. <br />Cette thèse propose une approche langage au développement de la couche de support protocolaire <br />d'applications réseaux, pour améliorer leur robustesse sans compromettre leur performance. Notre ap- <br />proche est fondée sur l'utilisation d'un langage dédié, Zebu, pour décrire la spécification des couches <br />de support protocolaire d'applications réseaux qui utilisent des protocoles applicatifs textuels à la <br />HTTP. La syntaxe de Zebu est très proche de celles du formalisme ABNF, favorisant ainsi l'adoption <br />de Zebu par des experts du domaine. En annotant la spécification ABNF d'un protocole, l'utilisateur <br />de Zebu peut adapter une couche de support protocolaire à une application donnée. Dans un premier <br />temps, le compilateur Zebu vérifie la spécification annotée pour déceler d'éventuelles incohérences. <br />Ensuite, une couche de support protocolaire définie par les annotations fournies est générée automati- <br />quement. Cette couche consiste en un ensemble de structures de données pour représenter un message, <br />un analyseur syntaxique qui remplit ces structures de données et des fonctions utilitaires pour l'ac- <br />cès à ces données ou piloter l'analyse syntaxique des messages. Par défaut, l'analyseur syntaxique de <br />messages généré n'accepte que les messages respectant scrupuleusement la spécification. Ce critère <br />de validation peut être modifié pour plus de flexibilité ou de meilleures performances.