Informations
Directeur de thèse :
Université :
Université Constantine 2
Soutenance
Date de soutenance :
3 Février 2016
Membres de Jury :
Zaidi Sahnoun
Djamel Eddine Saidouni
Allaoua Chaoui
Okba Kezar
Hamadi Bennoui
Manuscrit
Téléchargement :
Détails
Titre :
Conception des systèmes multi-agents à base de modèles formels intégrant le flou

Résumé :

Le paradigme des systèmes multi-agents (SMA) a montré sa pertinence pour le développement des systèmes complexes. Plusieurs études récentes se sont focalisées sur les méthodologies d’analyse et de conception des SMAs. En effet, ce domaine de recherche, qui est en plein essor, a vu une rénovation en termes de techniques et d’outils de développement des SMAs.  Malgré ces efforts, ce domaine reste mal maîtrisé. La raison derrière ce constat est l’incapacité de spécifier efficacement certains aspects pertinents d’un SMA, tels que le parallélisme, la dynamicité, la communication, l’ouverture et la manipulation d’informations incomplètes. De ce fait, le formalisme de spécification des SMAs a un impact immense sur le développement de tels systèmes. L’objectif de ce travail, est l’étude des méthodologies de conception des SMAS et la définition de modèles formels de spécification supportant les besoins conceptuels des SMAs, entre autres, la préservation des caractéristiques sus citées. Trois modèles sont proposés, dans le cadre de cette thèse. Le premier modèle, Synchronized Petri Net (SyPN), est une extension du modèle des réseaux de Petri récursifs, supportant la synchronisation entre plusieurs réseaux. Le deuxième modèle, Fuzzy Labeled Transition System (FLTS), est un modèle sémantique supportant la manipulation d’informations incomplètes et donc permettant le développent graduel des SMAs. Le dernier modèle, Open Fuzzy Synchronized Petri Net (OFSyPN), étend le modèle des SyPNs, il supporte la dynamicité, l’ouverture et la définition incrémentale d’informations. La sémantique de ce dernier étant définie de manière opérationnelle en termes de FLTS. OFSyPN est utilisé, par la suite, dans une perspective d’élaborer un Framework de développement rigoureux des SMAs distinguant entre les systèmes prédictibles et imprédictibles.


Mots clés :
Systèmes multi-agents Dynamicité Ouverture Modèle sémantique Modèles formels de spécification Abstraction et raffinement Ensembles flous Réseaux de Petri récursifs
Title:
Designing of Multi Agent Systems based on Formal Models Integrating Fuzziness

Abstract:

In the literature, the relevance of multi-agent systems (MAS for short) paradigm for the development of complex systems has been shown. Several recent studies have been focused on analytical and design methodologies dedicated to MASs. Indeed, this research area is successful; it saw renovations in terms of techniques and development tools for MASs. Despite these efforts, this area remains poorly managed. The reason behind this situation is the inability to effectively specify relevant aspects of MASs such as parallelism, dynamicity, communication, openness and incomplete information handling. So, the MAS specification formalism has an immense impact on the development of such systems. The aim of this work is the study of MASs design methodologies and the definition of formal models that supports the conceptual requirements of MASs, among others, features cited above. Three models are proposed in this thesis. The first model, Synchronized Petri Net (SyPN), is an extension of the recursive Petri nets model, allowing synchronization between several nets. The second model, Fuzzy Labeled Transition System (FLTS), is a semantics model, which allows handling incomplete information and thus allowing the gradual MAS development. The last model, Open Synchronized Fuzzy Petri Net (OFSyPN), extends SyPN model by dynamicity, openness and incremental information definition. Its semantics is defined operationally in terms of FLTS structures. Thereafter, OFSyPN is used, for proposing a general framework of a rigorous MAS design approach, which distinguishes between predictable and unpredictable systems.


Keywords:
Multi agent systems Dynamicity Openness Semantics model Formal specification models Abstraction and refinement Fuzzy set Recursive Petri net