En informatique ambiante, les objectifs de l'utilisateur peuvent émerger opportunément. Il devient, dès lors, nécessaire de générer à la volée des systèmes interactifs. Un système interactif est composé d'un noyau fonctionnel et d'une Interface Homme-Machine (IHM). Cette thèse traite de la composition d'IHM pour un objectif utilisateur et un contexte d'usage (utilisateur, plate-forme, environnement) donnés. Elle en propose un espace problème fondé sur les exigences utilisateur recueillies par une étude qualitative. Un état de l'art positionne notre travail et en montre la complémentarité par rapport aux travaux existants : la composition du modèle de tâches. La composition de l'IHM concrète est déléguée à une boîte à outils d'interacteurs définis au niveau tâches. La composition du modèle de tâches se fait par planification automatique. L'étude montre que les planificateurs existants répondent partiellement au problème. Aussi, un planificateur a été spécifiquement développé pour l'IHM. Son utilisation est illustrée dans un prototype Compose. Le travail est original à deux titres : d'une part, son approche « Composition de modèles de tâches » est une extension de la littérature ; d'autre part, la composition d'IHM est un nouveau cadre applicatif pour les algorithmes de planification. / In ubiquitous computing, user needs may opportunistically emerge along the variation of the context of use. Thus, there is a need for dynamically composing interactive systems. An interactive system is made of a functional core and a User Interface (UI). This work deals with the composition of UIs to support opportunistic user needs in a given context of use (user, platform, environment). It proposes a problem space of UI composition based on a social study. A state of the art shows the originality of the work: the composition of the task model. The composition of the concrete UI is delegated to a toolkit of interactors defined at the task level. The composition of the task model is done by automated planning. The work shows that current planners do not fulfill Human Computer Interaction (HCI) requirements. Therefore, a specific planner has been developed to compose UIs. This planner is used in Compose, our proof of concept. The work is original in two points: first, by the high level of abstraction the composition is performed at; secondly, by the use of automated planning in HCI.

L'objectif initial de cette thèse est d'apporter une solution à ce problème en proposant, premièrement, une approche cognitive basée sur le paradigme appelé Belief-Desire-Intention (BDI) pour représenter les processus de prise de décision des acteurs humains, et deuxièmement, une validation de cette approche dans le contexte d'un modèle complet de changement d'usage des sols dans lequel la plupart des facteurs cités ci-dessus sont également simulés. Le résultat de ce travail est une approche générique qui a été validée sur un modèle intégrant le changement d'usage des sols d'une région située dans le Delta du Mékong au Vietnam. Nos contributions principales sont les suivantes : Intégration d'une architecture BDI au sein d'une plateforme de modélisation à base d'agents (GAMA) ; Conception d'un cadre générique baptisé " Multi-Agent Based Land-Use Change " (MAB-LUC) permettant de modéliser et de simuler les changements d'usage des sols en prenant en compte les décisions des agriculteurs ; Proposition d'une solution permettant d'intégrer et d'évaluer les facteurs socio-économiques et environnementaux dans le cadre de la planification agraire et d'intégrer MAB-LUC dans le processus existant proposé par la FAO. Ce travail, au-delà du cas d'étude concernant le Delta du Mékong, a enfin été conçu de façon générique afin que la méthodologie utilisée puisse être généralisée à la modélisation de systèmes socio-écologiques où les facteurs humains doivent être représentés avec précision. / Integrated modeling approaches (multi-simulation, multimodeling, etc.) have proven challenging in practice. The first challenge deals with the technical aspects of coupling different computational or mathematical components. The second challenge lies in the alignment of the semantics of these components so that their integration does make sense, which is particularly critical in pluridisciplinary models. A number of approaches have been proposed in the last 20 years but none of them is really suitable to our context . We propose in this thesis an alternate approach, called co-modeling, which borrows concepts and tools from agent-based modeling, agent-oriented software engineering and multimodel ecologies. Simply speaking, a co-model can be defined as a multi-agent system of models and datasets. Each model or dataset is represented by one or several agents interacting with one another within the context of a larger representation of their — potentially dynamic — environment. The proposed approach does not aim at providing a general solution to the two challenges above, but at providing a framework in which modelers can easily implement their solution or test different coupling solutions. The proposed approach is fully implemented within the GAMA agent-based modeling platform. Its advantages are shown in terms of flexibility, composability and reusability in a number of case studies. The first case study is the dynamic coupling of equation-based and agent-based models to obtain “switching” models dynamically. The second one is the design of a complex integrated model where three formalisms and four modeling approaches have been successfully coupled.

Les applications modernes sont de plus en plus dynamiques et hétérogènes. L'architecture des systèmes modernes n'est plus figée et prévisible. Il en va de même pour les besoins des utilisateurs, les capacités des ordinateurs et des réseaux, et les technologies utilisées. Il nous parait essentiel que les gestionnaires autonomiques soient dynamiquement adaptables et extensibles pour prendre en compte ces changements et faciliter la maintenance. L'objectif de notre travail est de définir et d'implanter un cadriciel, ou framework, facilitant le développement de gestionnaires autonomiques. Dans cet effort, nous visons à définir un modèle architectural permettant le développement de gestionnaires autonomiques modulaires, homogènes, souples, évolutifs, dynamiques et administrables. Un objectif important de ce travail est de clairement définir et séparer les concepts appartenant de façon générique à un gestionnaire autonomique et les aspects métier, développés au cas par cas. Le but est de permettre au experts domaine de se concentrer sur l'écriture des fonctions autonomiques et de ne pas gérer entièrement l'enchaînement et le contrôle de ces fonctions. Pour atteindre nos objectifs, nous avons tout d'abord défini la notion de tâche d'administration. Une tâche d'administration est une entité indépendante et spécialisée qui réalise une ou plusieurs fonctions d'administration. Le gestionnaire autonomique résulte de la combinaison opportuniste de ces tâches. A chaque instant, l'ensemble de tâches utilisées peut être modifié en fonction du contexte et des informations remontées par la plateforme. Des mécanismes de sélections permettent de gérer les conflits éventuels et permettent d'assurer une cohérence du comportement du gestionnaire. Nous avons ensuite défini une architecture de gestion de ces tâches permettant la combinaison opportuniste de ces tâches en fonction du contexte. Cette architecture a été implantée sous la forme d'un framework fondé sur la technologie des composants orientés services. Le framework que nous avons développé fournit un cadre pour l'intégration dynamique de fonctions autonomiques et pour leur gestion en fonction du contexte et de politiques d'administration, elles mêmes évolutives. En conclusion de ce travail, nous présentons une implémentation particulière sous la forme d'un modèle à composants de sorte que le travail des développeurs est facilité et que la réutilisation est favorisée. Enfin nous donnons un exemple d'application développée au dessus de ce framework.

L'utilisation des nouveaux modes de communication et le développement de l'Internet suscitent un vif intérêt dans le milieu pédagogique. Dans ce milieu particulièrement, la structure narrative des documents revêt une importance capitale dans l'optimisation du transfert d'information. Les techniques hypermédias et hypertextes traditionnelles apportent une nouvelle dimension à la lecture mais elles ne permettent pas de respecter une stratégie didactique précise lors de l'élaboration de documents. L'approche proposée introduit des modes de composition de documents structurés basés sur des ontologies. Après avoir présenté l'état des recherches concernant les systèmes d'enseignements interactifs (SEI), la structure documentaire et les ontologies, les notions de Documents Virtuels Personnalisables (DVP), de Brique d'Information (BI) et de composition documentaire sont définies. La composition comporte quatre étapes : recherche d'information, filtrage, organisation et assemblage. L'automatisation de la composition impose que le SEI soit doté d'une connaissance du domaine et d'une connaissance didactique. Une Ontologie du Domaine et une Ontologie Pédagogique en fournissent les modèles. Les BI qui constituent un document font l'objet d'une qualification précise basée sur ces ontologies. Une méthode de composition de documents pédagogiques adaptatifs est proposée et implémentée dans un prototype nommé Sibyl. Cette méthode est basée sur l'association des ontologies. La prédétermination des rôles pédagogiques lors de la qualification des documents affecte néanmoins la pertinence de cette approche : les rôles peuvent être fonction de l'application et du contexte dans lequel les documents sont composés. Une méthodologie est alors introduite pour attribuer automatiquement des rôles à des BI en fonction des intentions d'un utilisateur et de son contexte d'apprentissage.

En informatique ambiante, les objectifs de l'utilisateur peuvent émerger opportunément. Il devient, dès lors, nécessaire de générer à la volée des systèmes interactifs. Un système interactif est composé d'un noyau fonctionnel et d'une Interface Homme-Machine (IHM). Cette thèse traite de la composition d'IHM pour un objectif utilisateur et un contexte d'usage (utilisateur, plate-forme, environnement) donnés. Elle en propose un espace problème fondé sur les exigences utilisateur recueillies par une étude qualitative. Un état de l'art positionne notre travail et en montre la complémentarité par rapport aux travaux existants : la composition du modèle de tâches. La composition de l'IHM concrète est déléguée à une boîte à outils d'interacteurs définis au niveau tâches. La composition du modèle de tâches se fait par planification automatique. L'étude montre que les planificateurs existants répondent partiellement au problème. Aussi, un planificateur a été spécifiquement développé pour l'IHM. Son utilisation est illustrée dans un prototype Compose. Le travail est original à deux titres : d'une part, son approche " Composition de modèles de tâches " est une extension de la littérature ; d'autre part, la composition d'IHM est un nouveau cadre applicatif pour les algorithmes de planification.

Le but de cette thèse est de dégager un cadre sémantique formel approprié supportant l'interopérabilité dedifférents formalismes déjà utilisés pour décrire et déployer un service Web. En d’autres termes, nouscontribuons au développement d’un formalisme mathématique rigoureux permettant de décrire un service Webcomplexe susceptible de changer pendant l’exécution et de coordonner avec les autres services de façonadaptative. Pour atteindre cet objectif, les étapes de description, de sélection et de composition ont constitué lestrois majeures problématiques étudiées dans cette thèse.Pour ce faire, nous avons proposé dans un premier temps, à travers l’utilisation du cadre sémantique formel K lelangage K-WSDL; un langage de description de services Web doté d’une sémantique opérationnelle en terme derègles de réécriture qui peut être exécutable et analysable sous Maude. Nous avons introduit, dans un secondtemps, l’approche WS-Sim basée sur la théorie des catégories qui évalue l’équivalence comportementale entreservices en représentant chaque service par une catégorie et en établissant des liens formels (foncteur) entre elles.Enfin, nous avons présenté le modèle RMop-ECATNet (Refined Meta Open ECATNet ) : un modèle dédié à laspécification formelle de la composition des services Web et fruit du raffinement du modèle Mop-ECATNetproposé par [LB14]. Nous avons étendu et enrichi ce dernier aux trois niveaux : structurel, comportemental etimplémentation. / The aim of this thesis is to provide a suitable formal semantic framework that supports interoperability ofdifferent formalisms already used to describe and deploy a Web service. In other words, we contribute to thedevelopment of a rigorous mathematical formalism to describe a complex Web service that may change duringexecution and coordinate with other services adaptively. To achieve this goal, the steps of description, selectionand composition constitute the three major issues studied in this thesis.We proposed so, initially, through the use of the K semantic framework the K-WSDL : a Web servicesdescription language endowed with an operational semantics in terms of rewriting rules which can be executedand analyzed in Maude. We introduced, in a second step, WS-Sim, a new approach based on the category theorywhich evaluates the behavioral equivalence between services by representing each service by a category and byestablishing formal links (functor) between them. Finally, we present RMop-ECATNet (Refined Meta OpenECATNet): a formal model for the specification of services composition. product of the refinement of the Mop-ECATNets model, introduced initially by [LB14]. We extended and enriched this model at three distinct levels:at the structural, behavioural level and implementation levels.