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

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

• Auteur / Autrice : Grégory Zacharewicz
• Direction : Claudia Frydman
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques et informatique. Modélisation et conception des processus assistés par ordinateur
• Date : Soutenance en 2006
• Etablissement(s) : Aix-Marseille 3

Mots clés

Mots clés contrôlés

Simulation par ordinateur

Modèles mathématiques

Flux de travail

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.

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