Avec le développement d'internet, la personnalisation de l'accès à l'information disponible est devenue incontournable et les Systèmes Hypermédia Adaptatifs (SHA) se sont rapidement répandus. Ainsi, les SHA sont des outils permettant l'accès à l'information disponible en exploitant le profil de l'utilisateur modélisé dans un modèle de l'utilisateur. Ils nécessitent aussi un modèle du domaine pour modéliser le domaine d'application concerné. Les mécanismes d'adaptation, quant à eux, sont définis dans un modèle de l'adaptation reposant sur le modèle de l'utilisateur et du domaine. Un moteur d'adaptation se charge de l'exécution. Les applications créées à partir de tels systèmes sont connus sous le nom Hypermédia Adaptatifs (HA) ou Adaptive Hypermédia en anglais (AH). Dans cette thèse nous adoptons le point de vue d'un auteur d'HA et nos contributions sont les suivantes : - Nous proposons un framework permettant aux auteurs de réutiliser leurs modèles et des adaptations existantes en utilisant un SHA particulier. Pour cela, nous proposons un processus d'intégration des modèles des auteurs et de leurs données dans des systèmes existants sans aucune transformation ou perte d'information. Nous proposons une solution selon laquelle les modèles sont représentés en OWL 3, un standard du W3C. Pour réaliser ces objectifs, nous proposons, d'une part, une aide à la définition de mappings entre les éléments du modèle inclus dans le système utilisé et les éléments des modèles des auteurs, et d'autre part, une aide pour s'assurer que le modèle construit est composé du modèle inclus dans le système utilisé, du modèle de l'auteur et des mappings. - Nous proposons un framework permettant de faciliter la spécification de stratégies d'adaptation exprimées à un haut niveau, et facilite la réutilisation de stratégies d'adaptation existantes. Nous nous sommes focalisés pour cela sur l'expression de l'adaptation de navigation selon laquelle il est demandé aux utilisateurs de "naviguer" entre des ressources selon différents chemins. La navigation concerne des ressources sélectionnées dans un ordre qui peut être imposé ou dont certaines peuvent être davantage recommandées que d'autres [13]. Nous percevons une stratégie d'adaptation comme une combinaison de parties élémentaires. Chaque partie correspond à une adaptation élémentaire et est liée à une caractéristique de l'utilisateur. Une partie peut faire partie de plusieurs stratégies d'adaptation en fonction des caractéristiques définies dans ces dernières. Notre travail suit cette idée. La notion de patron d'adaptation élémentaire que nous proposons est une abstraction de telles parties élémentaires.

L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénierie du système à faire (le produit) et du système pour faire (le projet), nous développons une méthodologie nommée MODEF pour traiter ce problème. MODEF consiste en: (1) Caractériser les MA comme un système et plus généralement une fédération de systèmes. (2) Construire de manière itérative une architecture de ce système via la modélisation du contenu conceptuel des modèles produits par MA et leur cycle de vie, les tâches réalisées au sein des MA et leurs effets sur ces cycles de vie. (3) Spécifier les attentes sur ces cycles de vie. (4) Analyser les modèles (des MA) par rapport à ces attentes (et éventuellement les contraintes sur les tâches) pour vérifier jusqu'à quel point elles sont atteignables via la synthèse des points (ou états) acceptables. D'un point de vue pratique, l'exploitation des résultats de l'analyse permet de contrôler le déroulement des tâches de modélisation à partir de la mise en évidence de leur impact sur les modèles qu'elles produisent. En effet, cette exploitation fournit des données pertinentes sur la façon dont les MA se déroulent et se dérouleraient de bout en bout. A partir de ces informations, il est possible de prendre des mesures préventives ou correctives. Nous illustrons cela à l'aide de deux cas d'étude (le fonctionnement d'un supermarché et la modélisation de la couverture fonctionnelle d'un système). D'un point de vue théorique, les sémantiques formelles des modèles des MA et le formalisme des attentes sont d'abord données. Ensuite, les algorithmes d'analyse et d'exploitation sont présentés. Cette approche est brièvement comparée avec des approches de vérification des modèles et de synthèse de systèmes. Enfin, deux facilitateurs de la mise en œuvre de MODEF sont présentés. Le premier est une implémentation modulaire des blocs de base de MODEF. Le second est une architecture fédérée (FA) des modèles visant à faciliter la réutilisation des modèles formels en pratique. La formalisation de FA est faite dans le cadre de la théorie des catégories. De ce fait, afin de construire un lien entre abstraction et implémentation, des structures de données et algorithmes de base sont proposés pour utiliser FA en pratique. Différentes perspectives sur les composantes de MODEF concluent ce travail. / The engineering of complex systems and systems of systems often leads to complex modelling activities (MA). Some challenges exhibited by MA are: understanding the context where they are carried out and their impacts on the lifecycles of models they produce, and ultimately providing a support for mastering them. How to address these challenges with a formal approach is the central challenge of this thesis. In this thesis, after discussing the related works from systems engineering in general and the co-engineering of the system to be made (product) and the system for make (project) systems specifically, we position and develop a methodology named MODEF, that aims to master the operation of MA. MODEF consists in: (1) characterizing MA as a system (and more globally as a federation of systems) in its own right; (2) iteratively architecting this system through: the modelling of the conceptual content of the models produced by MA and their life cycles, the tasks carried out within MA and their effects on these life cycles; (3) specifying the expectations over these life cycles and; (4) analysing models (of MA) against expectations (and possibly tasks constraints) - to check how far expectations are achievable - via the synthesis of the acceptable behaviours. On a practical perspective, the exploitation of the results of the analysis allows figuring out what could happen with the modelling tasks and their impacts on the whole state of models they handle. We show on two case studies (the operation of a supermarket and the modelling of the functional coverage of a system) how this exploitation provides insightful data on how the system is end-to-end operated and how it can behave. Based on this information, it is possible to take some preventive or corrective actions on how the MA are carried out. On the foundational perspective, the formal semantics of three kinds of involved models and the expectations formalism are first discussed. Then the analysis and exploitation algorithms are presented. Finally this approach is roughly compared with model checking and systems synthesis approaches. Last but not least, two enablers whose first objectives are to ease the implementation of MODEF are presented. The first one is a modular implementation of MODEF's buildings blocks. The second one is a federated architecture (FA) of models which aims to ease working with formal models in practice. Despite the fact that FA is formalised within the abstract framework of category theory, an attempt to bridge the gap between abstraction and implementation is sketched via some basic data structures and base algorithms. Several perspectives related to the different components of MODEF conclude this work.