Documentation/fr

= Utilisation de la plate-forme =

Un peu de théorie

 * Description du formalisme à événements discrets DEVS.

Documents de formation
Cours et documentations de VLE 0.8 proposés dans le cadre des formations 2007 et 2008 RECORD / VLE :
 * Guide d'installation de VLE
 * Savoir « lire » le C++ (introduction succincte au C++)
 * Cours sur les extensions DEVS (équations aux différences, statecharts, décision etc.)
 * Cours sur l'utilisation de GVLE
 * Explication de l'environnement VLE (introduction à VLE, lien entre DEVS et VLE)
 * Cours sur la modélisation et la simulation
 * Cadres expérimentaux


 * Anciennes documentations

Utilisation de VLE

 * GVLE : interface de modélisation, de conception de modèles et de définition de plan d'expériences.
 * VLE : application de simulation et d'exécution de plans d'expériences.
 * OOV : gestion des sorties de simulation.
 * EOV : interface graphique pour l'affichage en temps réel des sorties de simulation.


 * Définition des paquets : qu'est ce qu'un paquet ? quelles sont les commandes disponibles pour les utiliser ?

Langages de scripts

 * RVLE : utiliser R pour étudier directement des modèles conçus et réalisés avec VLE.
 * PyVLE : utiliser le langage Python pour écrire des scripts de pilotage d'expériences sur des modèles réalisés avec VLE et concevoir des applications Web avec des frameworks Python (comme Pylons, par exemple).
 * jvle : utiliser le langage Java pour écrire des programmes de pilotage d'expériences sur des modèles réalisés avec VLE

= Développements de modèles =

Modèles atomiques DEVS

 * Développement de modèles atomiques : une documentation pour l'écriture de modèles atomiques avec une description de chaque fonction de l'interface fonctionnelle du modèle atomique de VLE.
 * Développement de modèles exécutifs : comment réaliser des modèles qui manipulent la structure de vos modèles.
 * Déboguer les modèles : description des outils pour aider au débogue de modèles.

Extensions
DEVS est un formalisme de haut niveau qui possède la capacité d'encapsuler d'autres formalismes. VLE vous permet donc d'exploiter certains formalismes :
 * Équations différentielles ordinaires : QSS basé sur la quantification et DESS une encapsulation de schémas numériques classiques comme Runge-Kunta.
 * Automates cellulaires : CellDevs.
 * Équations aux différences : DifferenceEquation.
 * Réseau de Petri : PetriNet.
 * Automates à états finis de type Moore, Mealy, Devs et statechart : FSA.
 * Prise de décision, une extension d'exécution de plan d'activités à base de contraintes conditionnelles, temporelles et de précédences.

Constructeur de structure de modèles

 * La construction de grilles de modèles : MatrixTranslator.
 * La construction de graphes de modèles : GraphTranslator.