Un Framework Basé Bigraphes pour la Conception et l'Analyse des Systèmes Sensibles au Contexte

Today, modern technologies have become a part of our daily life. Whether to be informed, entertained, or even to communicate with friends, ubiquitous computing offers numerous opportunities. For this to become reality, computer systems must be able to observe the environment and to adapt their behaviour according to the users expectations and needs. This is called context-awareness. Indeed, the literature shows that context-awareness is the focal point of ubiquitous computing. However, due to heterogeneity and dynamicity of context information, taking it into account requires establishing a model to represent these information at a high-level of abstraction.In this thesis, we propose a model called BigCAS (Bigraphical Context-Aware System) that supports the design of context-aware systems. To achieve this goal, BigCAS is based on formal specifications, derived from bigraphical reactive systems, for modelling structural and behavioural aspects of context aware systems. It provides a clear separation between the context-aware part and the context-unaware part of these systems. Each part is modelled separately as a distinct bigraph, where the composition of these bigraphs models the general structure of the system, particularly, its components interactions and their side effects. Moreover, BigCAS considers not only structural aspects, but also the different reconfigurations involved in the behaviour of context aware systems.We also propose an extension to BigCAS, named BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), that provides formal verification of safety and liveness properties of context aware systems. Furthermore, BigCAS-FA provides contract-based strategies to guide the dynamic reconfiguration according to the context.To validate our proposals, we develop a prototype, BigCAS-Tool (Bigraphical Context Aware System - Tool), devoted to the specification and verification of context-aware systems. The proposed prototype is illustrated with a case study of a smart lighting system.Aujourd'hui, les nouvelles technologies font partie de notre vie quotidienne. Qu'il s'agisse de s'informer, de se divertir, ou même de communiquer avec ses amis, les possibilités qu'offre l'informatique ubiquitaire sont innombrables.Pour que ces possibilités puissent devenir une réalité, les systèmes informatiques doivent alors se doter d'une capacité d'observation de leur environnement et de s'adapter en fonction des attentes et des besoins des utilisateurs. C'est ce qu'on appelle la sensibilité au contexte. En effet, la littérature montre que la sensibilité au contexte est le point central de l'informatique ubiquitaire. Cependant, face à l'hétérogénéité et la dynamicité des informations de contexte, sa prise en compte nécessite la mise en place d'un modèle pour décrire ces informations à un haut niveau d'abstraction.Dans ce travail de thèse nous proposons, dans un premier temps, un modèle appelé BigCAS (Bigraphical Contexte-Aware System) qui permet la conception formelle des systèmes sensibles au contexte. Pour accomplir cet objectif, BigCAS repose sur des modèles formelles à base des systèmes réactifs bigraphiques permettant la modélisation des aspects structurels et comportementaux des systèmes sensibles au contexte. Il offre une séparation claire entre la partie sensible au contexte et la partie non-sensible au contexte de ces systèmes. Chacune de ces parties est modélisée séparément par un bigraphe distinct, où la composition de ceux-ci modélise la structure générale du système ainsi que les interactions et les effets de bord entre ses différents composants. Par ailleurs, BigCAS tient compte non seulement des aspects structurels, mais aussi des différentes reconfigurations intervenant dans le comportement des systèmes sensibles au contexte.Nous proposons également une extension du modèle BigCAS, appelée BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), qui permet la vérification formelle de propriétés de sûreté et de vivacité des systèmes sensibles au contexte. En outre, BigCAS-FA possède des stratégies à base de contrats qui consistent à guider la reconfiguration dynamique en fonction du contexte.Afin de valider nos propositions, nous développons le prototype BigCAS-Tool (Bigraphical Context Aware System - Tool) dédié à la spécification et la vérification des systèmes sensibles au contexte, et nous l'illustrons à travers une étude de cas d'un système d'éclairage intelligent

Architecture logicielle pour l'informatique diffuse : modélisation du contexte et adaptation dynamique des services

Dans un système informatique diffus, un ensemble d’équipements informatiques intelligents communiquent et collaborent ensemble en percevant le contexte global et en réagissant proactivement (sans intervention explicite de l'utilisateur) afin de fournir des services adaptés à l'utilisateur et aux applications. Ainsi, dans un système diffus, les équipements doivent être sensibles au contexte. Par conséquent, le contexte constitue un concept clé dans de tels systèmes et exige ainsi une bonne compréhension et utilisation. Ce terme est encore général et vague malgré le grand nombre de définitions proposées. Dans cette thèse, nous présentons une définition orientée service du contexte qui est assez abstraite et qui limite l'ensemble de l’information nécessaire pour réaliser l'adaptation des services. La conception et l’implémentation des systèmes diffus exigent de nouveaux outils logiciels, en particulier des architectures pour appuyer le développement de tels systèmes. Ces outils doivent soutenir les caractéristiques de ces systèmes telles que la mobilité et la sensibilité au contexte. Dans cette thèse, nous proposons une architecture multiagents orientée service pour les systèmes informatiques diffus. L'architecture prend en considération l'aspect dynamique des systèmes diffus. Elle est générique (applicable à une grande variété d'applications) et modulaire cela, favorisant la réutilisabilité. L'architecture a été modélisée en utilisant le formalisme de réseau de Pétri coloré et simulée par l’outil CPN-Tools en se basant sur des scénarios réels de l’informatique diffuse. La première tâche de la conception des applications informatiques diffuses consiste à comprendre le contexte et à établir ses composants. Il doit être modélisé sous une forme appropriée qui favorise son partage entre les équipements et fournit un niveau élevé d'abstraction. Les méthodes les plus intéressantes pour la modélisation de contexte sont celles fondées sur les ontologies. Cependant, la majorité des méthodes existantes échouent à proposer une ontologie générique pour modéliser le contexte. Cela limite leur utilité et les rend spécifiques à un domaine particulier. Dans cette thèse, nous présentons une ontologie de service pour la modélisation du contexte dans un système diffus. La tâche d'adaptation dynamique de services dans un système diffus doit être faite selon le contexte et prendre en considération les ressources limitées des équipements dans un système diffus. Dans cette thèse, nous proposons également deux approches d'adaptation dynamique des services. La première est basée sur l’apprentissage automatique et a été validée par un scénario d'application typique ; la seconde est une nouvelle architecture pour l'adaptation des services qui est sensible au contexte et aux ressources limitées d’un équipement. L'architecture a été modélisée en utilisant le formalisme de réseau de Pétri coloré et simulée par l’outil CPNTools en se fondant sur des Scénarios réels de l’informatique diffuse

Processus téléologique et variabilité: Utilisation de la sensibilité au contexte

International audienceVariability has proved to be a central concept in different engineering domains, manufacturing, software development etc. in order to develop solutions that can be easily adapted to different organizational settings and different sets of customer at a low price. Teleological processes have, by nature, a high level of variability. Our position is that the integration of "context-awareness" in that kind of processes increases their intrinsic variability with specific criteria. We propose an indicator typology with an usage process and illustrate it with the MAP intentional process model

Les systèmes décisionnels

L'objet de ce chapitre est de donner un panorama du concept de systèmes décisionnels. Afin de décrire ce concept central dans la recherche en système d'information, nous aborderons tant les supports théoriques de ces systèmes en intégrant notamment l'approche de la décision en situation, que la question de l'architecture technologique nécessaire à la mise en œuvre de ces systèmes.Systèmes d'aide à la décision, théories de la décision – architecture technologique

Gestion de la confiance et intégration des exigences sociales au sein de communautés virtuelles

http://www.emse.fr/~picard/publications/yaich11jfsma.pdfInternational audienceLa confiance est devenue un facteur clé des processus de décision au sein de communautés virtuelles. Le caractère ouvert et décentralisé de ces environnements couplés à leur dimension sociale défient les mécanismes actuelles de gestion de la confiance. Notamment pour ce qui concerne la gestion et l'intégration des exigences de confiance des utilisateurs et ceux de leurs communautés. Afin de répondre à ce problème, nous proposons SC-TMS, un système de gestion de la confiance adaptatif basé sur le principe de conformité sociale [4]. En nous appuyant sur les technologies multi-agents, des politiques de confiance sont utilisées pour spécifier à la fois les modèles de confiance centrés utilisateur et les modèles centrés communauté. Les agents y sont utilisés pour gérer et combiner ces différentes politiques de manière flexible et décentralisée. Nous décrivons les fonctionnalités et l'architecture qui les mettent en oeuvre et discutons de leur implémentation

Choix idéologiques, attitudes politiques des pré-adolescents et contexte politique

Le contexte politique global participe avec d'autres facteurs mieux connus (famille, parents, école) à la formation des opinions et des attitudes des pré-adolescents. L'étude se propose d'isoler le rôle spécifique de cette variable. Elle fait apparaître que l'environnement global dans lequel l'enfant fait ses expériences sociales influe à la fois sur la nature de ses choix idéologiques et ses représentations du monde politique. Pour mesurer l'influence du contexte au niveau d'une unité politiquement homogène — la commune — différents indicateurs de caractérisation politique ont été établis

La variabilité due à la sensibilité au contexte dans les processus téléologiques

National audienceVariability has proved to be a central concept in different engineering domains, manufacturing, software development etc. in order to develop solutions that can be easily adapted to different organizational settings and different sets of customer at a low price. Teleological processes have, by nature, a high level of variability. Our position is that the integration of "context-awareness" in that kind of processes increases their intrinsic variability with specific criteria. We propose an indicator typology with an usage process and illustrate it with the MAP intentional process model

Les dimensions ontologiques, stratégiques et organisationnelles de l'appropriation du concept de développement durable en entreprise

National audienceSimple effet de mode ? Pure rhétorique ? Jusqu'au milieu des années 90, les débats autour du développement durable (désormais DD) et de ses effets sur notre mode de fonctionnement ne semblaient que peu concerner le monde de l'entreprise. A quelques exceptions près, sa politique et ses choix stratégiques semblaient se focaliser davantage sur le respect des principes du modèle actionnarial que sur les conséquences sociales et environnementales de ses activités. Pour beaucoup, ces objectifs orientés prioritairement actionnaires semblaient antithétiques, et pour le moins antagonistes, avec des principes de développement durable. Quelques années plus tard, si l'on s'en réfère à la multiplicité des déclarations actuelles en faveur de ce dernier, la firme semble en totale métamorphose. Chartes éthiques, publications de rapports annuels sur l'environnement, marketing vert, produits éco conçus, les entreprises européennes, à l'image de leurs homologues anglo-saxonnes, semblent aujourd'hui plus que jamais avoir touché du doigt la nécessité d'un développement durable. Témoignant largement de cette prise de conscience, l'évolution comportementale en faveur de la prise en compte du concept, et de son extension managériale la RSE, dans les activités de la firme n'est plus à démontrer. Mais quels impacts peut avoir l'appropriation du concept sur cette dernière ? Au travers d'un cheminement théorique articulant les dimensions ontologiques, stratégiques et organisationnelles de cette démarche d'appropriation, cet article propose un modèle théorique qui, basé sur une lecture multi-niveaux de l'appropriation du DD (éthique, stratégique et organisationnelle), identifie deux configurations ou archétypes d'appropriation du DD