Un environnement G-DEVS / HLA : application à la modélisation et simulation distribuée de workflow

par Grégory Zacharewicz

Thèse de doctorat en Mathématiques et informatique. Modélisation et conception des processus assistés par ordinateur

Sous la direction de Claudia Frydman.

Soutenue en 2006

à Aix-Marseille 3 .

  • Titre traduit

    A G-DEVS / HLA environment : application to distributed modelling and simulation of workflow


  • Résumé

    Les travaux de cette thèse portent sur : - la proposition d’algorithmes de simulation distribuée conservative de modèles DEVS / G-DEVS, - la définition et la réalisation d’un environnement de modélisation & simulation (M&S) G-DEVS compatible HLA implémentant les algorithmes proposés, - l’application de l’environnement à la M&S de Workflow. Dans un premier temps, nous avons introduit un composant coordinateur racine G-DEVS distribué, incluant un algorithme de communication avec le RTI HLA basé sur le mécanisme de synchronisation conservative et utilisant un Lookahead positif. Nous avons ensuite proposé deux algorithmes originaux pour le calcul d’un Lookahead relatif à l’état courant d’un modèle G-DEVS. Ces algorithmes, basés sur l’analyse du domaine de variation de la fonction « durée de vie » du modèle, augmentent les performances de la simulation distribuée comme l’illustrent les expériences menées. Basé sur ces approches, nous avons développé un environnement de M&S distribué G-DEVS / HLA. Cet environnement a été intégré à une application de Workflow. Les possibilités offertes par l’environnement ont été illustrées par l’étude de cas réels d’entreprises.


  • Résumé

    The researches of this thesis are divided in : - the proposition of conservative distributed simulation algorithms of models DEVS / G-DEVS, - the definition and the realization of a G-DEVS modeling and simulation (M&S) environment HLA compliant implementing the proposed algorithms, - the application of the environment in the M&S of Workflow. First, we introduced a G-DEVS distributed root coordinator component, including an algorithm of communication with the RTI HLA based on the mechanism of conservative synchronization and using positive Lookahead. Then, we proposed two original algorithms for the computation of Lookahead concerning the current state of a G-DEVS model. These algorithms, based on the analysis of the variation domain of the “lifetime” function of the model, increase the performances of the distributed simulation as the led experiments illustrate it. Based on these approaches, we developed a distributed G-DEVS / HLA M&S environment. This environment was integrated into an application of Workflow. The possibilities offered by the environment were illustrated by the study of company’s real cases of Workflow. Key words: DEVS, GDEVS, Distributed Simulation, Conservative Synchronization, Lookahead, HLA, HLA time Management, HLA FEDEP, Workflow

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (190 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 185-190

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. Saint-Jérôme). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 200064843
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.