Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Composition adaptative de services pour l’Internet des objets

L'internet des objets (IoT) est une technologie émergente, qui représente l’intégration ou la fusion de l'espace d'information et de l'espace physique. Au fil du temps, l’IoT est devenu de plus en plus populaire dans plusieurs endroits. Afin de répondre à la demande compliquée des utilisateurs, la plupart des appareils IoT ne fonctionnent pas seuls, une composition de services multiples doit être effectuée et elle est définie comme la composition de services. Pour des raisons de conductivités, pannes, batterie, charge et autres, la disponibilité des services IoT est imprévisible. Cette imprévisibilité de la disponibilité et l'évolution dynamique des besoins des utilisateurs, font que la composition du service doit gérer cette dynamique et s'adapter à de nouvelles configurations non prévues à la conception. La composition adaptative des services consiste à modifier le système pour lui permettre de se comporter correctement dans différents contextes afin d'assurer la disponibilité des services offerts, afin de répondre à une situation non prévue lors de la phase de conception. De ce fait, notre objectif est de proposer une méthode de composition de services IoT adaptative et sensible au contexte afin de satisfaire les besoins des utilisateurs. Dans notre travail, nous considérons que la croissance de l'Internet des Objets (IoT) implique la disponibilité d'un très grand nombre de services qui peuvent être similaires ou identiques, la gestion de la Qualité de Service (QoS) permet de différencier un service d'un autre. La composition de services offre la possibilité d'effectuer des activités complexes en combinant les fonctionnalités de plusieurs services au sein d'un seul processus. Très peu de travaux ont présenté une solution de composition de services adaptative gérant les attributs de QoS, en plus dans le domaine de la santé, qui est l'un des plus difficiles et délicats car il concerne la précieuse vie humaine. Dans cette thèse, nous présenterons une approche de composition de services adaptative sensible aux QoS basée sur un algorithme génétique multipopulation dans un environnement Fog-IoT. Notre algorithme P-MPGA implémente une méthode de sélection intelligente qui nous permet de sélectionner le bon service. En outre, PMPGA implémente un système de surveillance qui surveille les services pour gérer le changement dynamique des environnements IoT. Les résultats expérimentaux montrent les excellents résultats du P-MPGA en termes de temps d'exécution, de valeurs de fitness moyennes et de rapport temps d'exécution / meilleure valeur de fitness malgré l'augmentation de la population. P-MPGA peut rapidement obtenir un service composite satisfaisant les besoins de QoS de l'utilisateur, ce qui le rend adapté à un environnement IoT à grande échelle

Vers une approche d’adaptation dynamique et temps-réel du contenu informationnel d’une interface utilisateur dans un environnement ubiquitaire

Ubiquitous environments are often considered highly dynamic environments and the contextual information can change at runtime. User interface should provide the right information for the right person at the right time. Certainly, such objective can be achieved only when we deduce the realtime user’s requirements in terms of information and present this information to the user according to his current context of use. The specific goal of our research is to improve the adaptation process while improving models at runtime. A fixed model cannot handle the high dynamic in such an environment. The model can progress and change its structure to better deduce the user’s requirements. Selecting the appropriate model is not that easy. To address this problem, adaptation strategies will be based on evolutionary models. Such models can be created while integrating progressively a range of elementary actions or undergo modifications and changes as the result of interactions with the user and through reinterpretations of existing models stored by the acquisition of preceding knowledge. Our approach takes advantage of OWL-S’s properties in order to describe the dynamic functioning of Petri-nets models. We formulate a Petri-nets based elementary action by using an OWL-S atomic process. And then, we progressively compose a set of elementary actions to formulate a Petri-nets based activity. The presented method lays a sound foundation for dynamic composition of Petri-nets based modeling.L’adaptation au contexte suivant notre cadre d’étude peut être définie par la flexibilité des interfaces utilisateur à évoluer au cours de l’interaction en fonction du contexte de l’utilisateur. Et puisque généralement la pertinence des modèles dépend de la qualité de l’adaptation dynamique de l’interface, l’adaptation qui se base sur un modèle fixe de fonctionnement n’est plus appropriée dans les environnements ubiquitaires. Le Contexte a tendance à varier énormément au cours de l’interaction avec l’utilisateur dans un environnement très dynamique. D’où, la déduction de l’information nécessaire au moment approprié pour un utilisateur quelconque exige une plus grande flexibilité, ainsi une méthode statique de fonctionnement est certainement insuffisante. Cette complexité croit lorsque les informations fournies à l’utilisateur doivent correspondre à certaines caractéristiques spécifiques et individuelles des utilisateurs. Une approche de modélisation dynamique a été soigneusement décrite. Nous y avons démontré l’adaptation temps-réel des informations fournies à l’utilisateur à ses spécificités, à ses préférences, à son activité en cours et au changement de son contexte d’usage. L’utilisateur se situant dans un environnement ubiquitaire arrivera nécessairement à recevoir sur son interface l’information dont il a besoin. En procédant de cette manière, nous nous sommes parvenu implicitement à aider l’utilisateur à accomplir sa tâche en cours. Il s’agit, en fait, de la principale motivation de l’Informatique Ubiquitaire que notre stratégie nous a permis, entre autres, de la respecter

Composition de services web par appariement de signatures

Les services web ont longtemps été présentés comme la réponse, tant attendue, à l'interopérabilité souhaitée des systèmes distribués hétérogènes. Dans le passé, plusieurs technologies ont fait la promesse d'offrir cette interopérabilité: .NET, DCOM, J2EE, CORBA, etc. La promesse ne fut jamais tenue, tantôt parce que la technologie en question n'était pas extensible (adaptable à différentes échelles) (DCOM et CORBA), tantôt parce qu'elle était de propriété industrielle (DCOM, .NET, etc.). UDDI (Universal Discovery Description and Integration) publie tous les services web disponibles et facilite ainsi la requête des services offerts par les différentes entreprises. Néanmoins, la façon dont ces requêtes sont formulées laisse à désirer. En particulier, UDDI prend pour acquis que, pour chaque besoin commercial, il y aurait un service commercial. Cette réalité a rapidement convaincu les utilisateurs des services web de l'importance d'en faire la composition. Par conséquent, la composition des services web a connu beaucoup d'intérêt dans les dernières années. Les approches adoptées pour composer des services web sont différentes. Nous prônons une approche syntaxique. Nous pensons qu'une recherche par contexte et domaine d'industrie permettrait une découverte adéquate de services web satisfaisant les besoins du client. WSDL nous facilite la tâche, puisque les types de ses éléments sont des documents d'affaires donnant une bonne idée des services qu'ils offrent. Nous utilisons l'appariement des signatures des opérations pour chercher l'ensemble d'opérations fournissant les types dont on a besoin. La composition des services web devient une composition de fonctions qui, partant d'un ensemble de messages d'entrées, produisent un ensemble de messages de sorties. Dans cette recherche, nous présentons un algorithme qui se base sur différentes manières d'apparier les types et qui satisfait cette approche sémantique ainsi que les résultats trouvés. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Services Web, .NET, DCOM, J2EE, CORBA, Standard UDDI, WSDL, Appariement, Composition

Agents et systèmes multi-agents : vers une synthèse de ces concepts

Les systèmes multi-agents appartiennent à un domaine de l'intelligence artificielle et ce sont des systèmes que l'on appréhende très différemment de l'ingénierie informatique classique. Les systèmes multi-agents interviennent là où la résolution classique des problèmes grâce à l'informatique a ses limites. Ce domaine est malheureusement peu exploité aujourd'hui compte tenu des possibilités qu'il offre dans de nombreux domaines comme les sciences sociales, sciences informatiques, sciences expérimentales ou encore l'industrie. Mais les limites des systèmes informatiques et industrielles actuels sont telles qu'il devient envisageable et même intéressant de développer des systèmes multi-agents pour répondre aux besoins croissants de nombreux domaines plus classiques, que ce soit en termes de temps, d'efficacité ou de productivité. Nous allons tout d'abord commencer par le concept d'agent, qui est l'élément fondamental pour concevoir des systèmes multi-agents. Nous verrons les divers types et catégories d'agents, ainsi que les architectures typiques qui leurs sont associés comme BDI, IDA ou CTS. Puis nous allons voir les notions concernant les systèmes multi-agents, comme la notion d'interaction qui est une des pièces maîtresses avec les agents pour concevoir un système multi-agents. Avec les interactions viennent des phénomènes d'auto-organisation, et on verra différent modèles d'organisation ainsi que plusieurs niveaux d'organisation dans les systèmes multi-agent. Enfin nous verrons différents outils, plateformes et langages adaptés à la conception de systèmes multi-agents, pour ce qui est de la structure des agents ou de l'aspect interactions et communications. Puis nous ferons quelques recommandations méthodologiques concernant le développement de systèmes multi-agents dans leur globalité.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : agent, système multi-agents, systèmes adaptatifs, organisation émergente, cycle cognitif, intelligence artificielle distribuée

Diagnostic des protocoles de communication fondé sur les automates à états finis étendus

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal