Un modèle de conception centré interaction (formalisation et application à la conception de systèmes complexes)

We are interested in representing, analyzing and implementing some behaviours in complex systems (such as augmented reality environments) which are mobile and scalable. Our work is carried out in an approach which leads to an helping tool for the design of interactive systems, i.e systems which are based on a strong interaction with a component of visualization. So, an agent oriented approach is adopted in order to model and to design such systems. More particularly, our work led us on the one hand to develop a model and a design method which are focused on the concept of interaction and on the other hand to formalize the interactivity by means of a scenario analysis. Usually, multi-agent system design methodologies highlight the concept of role the agents have to play. We think that a role is related to an interaction and thus we focus the design phase on the viewpoints that the interactions represent. Our developed approach is based on a formal representation of the agents using the Ambient calculus. This approach underlines several architectural solutions. At the same time, we want to consider the end-user or an expert user during the interactive system development. So, we were led to define a formalization of scenarios. This formalization in Linear Logic allows us to analyze user needs and to check some properties of these scenarios. So, we have a language of control that can express simulation processes. An application is carried out in the case of the design of urban traffic systems.Nous nous intéressons à représenter, analyser et mettre en oeuvre le comportement dans des systèmes complexes (tels que des environnements de réalité augmentée), mobiles et évolutifs. Le travail effectué se situe dans une approche globale d un outil d aide à la conception de systèmes interactifs, i.e. des systèmes s appuyant sur une interaction forte avec un composant de visualisation. Pour ce faire, une approche de modélisation et de conception orientée agent est retenue. Plus particulièrement, nos travaux nous ont conduit à nous intéresser au développement d un modèle et d une méthode de conception centré interaction ainsi qu à la formalisation de l'interactivité par analyse de scénarios. Classiquement les méthodologies de conception de systèmes multi agent mettent en évidence la notion de rôle des agents. Nous pensons qu un rôle est relatif à une interaction et ainsi centrons la conception sur les points de vues que représentent les interactions. L approche développée s appuie sur une représentation formelle des agents fondée sur le modèle des Ambients. Cette approche nous permet de mettre en avant des solutions architecturales. Parallèlement, la prise en compte de l utilisateur final ou d un utilisateur expert dans le cadre du développement de systèmes interactifs nous a conduit à définir une formalisation de scénarios. Cette formalisation réalisée en Logique Linéaire permet en particulier d analyser les besoins utilisateurs et de mettre en évidence des propriétés de ces scénarios. Cela nous permet de disposer d un langage de commande dans lequel des simulations peuvent être exprimées. Une application est menée pour l aide à la conception de systèmes de trafic urbain.LA ROCHELLE-BU (173002101) / SudocSudocFranceF