CR1 Standardisation DEVS

= Compte rendu de la première réunion "Standardisation DEVS" =


 * Liste des participants :
 * Frédéric Garcia - INRA Toulouse
 * Patrick Chabrier - INRA Toulouse
 * Gauthier Quesnel - INRA Toulouse
 * Jean-Pierre Muller - CIRAD Montpellier
 * Mamadou Traoré - LIMOS Clermont-Ferrant
 * Maâmar El-Amine HAMRI - LSIS Marseille
 * Salam FRAIHAT - LSIS Marseille
 * Eric Ramat - LIL Calais
 * Raphaël Duboz - IRD Sète

Introduction de Raphaël Duboz (IRD - Sète)
Il y a un besoin scientifique urgent de pouvoir échanger nos modèles de simulation.

Une standardisation permettrait la validation/vérification/confrontation de nos modèles et de nos implémentations du formalisme DEVS. Elle permettrait également une réutilisation et une maintenance simplifiées de nos modèles.

Ce besoin s'est déjà fait sentir dans la communauté internationale avec l'initiative de G. Weiner et B.P. Zeigler qui ont déposés un projet au SISO.

L'objectif de cette réunion est de fédérer les efforts faits autour de DEVS en France.

Etat des lieux sur la standardisation DEVS - Mamadou Traoré (Limos - Clermont-Ferrand)

 * Un point sur SCSC'07, atelier de standardisation DEVS du SISO
 * des voeux pieux mais au ralenti !
 * une pression du SISO, organisme de normalisation de l'interopérabilité de la simulation
 * présents : Zeigler, Kim, Warner, Vangheluwe
 * le groupe DEVS du SISO est fini ! rapport de Zeigler et Nutero
 * constat : des évolutions (des extensions), des implémentations nombreuses, ...
 * questions : parlons-nous du même devs ? pouvons-nous partager nos modèles devs ?


 * Buts (le futur de devs) :
 * Zeigler : standardisation pour l'éducation
 * Wainer : Intergiciel de M&S : la problématique de l'interfaçage
 * Vangheluwe : Librairie de modèles "certifiés" (traces = les trajectoires et les segments d'entrée/sortie sont certifiés)
 * le projet CANARIE : la simulation à l'aide de Web services - solution SOAP !
 * le projet "ACIMS" : le langage DEVML -> traduction vers un simulateur quelconque (pas d'à priori sur les implémentations) - solution SOAP !
 * les deux projets sont en cours de fusion
 * plusieurs personnes pensent que la standardisation n'est pas possible au vue de la multiplicité des plate-formes et des implémentations. B. Zeigler tient à ce que Devs reste un cadre formel.


 * Pour faire un standard (Mamadou et Hans Vangheluwe), il faut regarder :
 * la syntaxe : concrète (représentation graphique et textuelle) et abstraite
 * la sémantique : domaine (ensemble des éléments sémantiques) et fonction de mapping (correspondance entre les éléments sémantiques et devs)
 * l'implémentation : aller au delà des algorithmes devs
 * l'interopérabilité : les bus (HLA ou autres - point de vue interface fonctionnelle) et les segments (point de vue des entrées et des sorties)
 * les librairies : on développe des modèles, on les certifie et on les mets dans des librairies
 * la certification aux états-unis : il faut que ce soit certifié par quelqu'un

Ce qui est fait à Clermont - Mamadou Traoré (Limos - Clermont-Ferrand)

 * cadriciel comme J2EE et .net : une approche composant et plugin
 * idées de base :
 * description XML des éléments devs -> génération de code
 * composants de modélisation, de trace (observation des entrées et sorties), ...

les travaux du LSIS - Hamri (LSIS - Marseille)

 * G-devs et Min-Max-devs
 * G-devs : généralisation des entrées sous forme de fonctions continues représentées par des polynômes
 * Min-Max-devs : introduction d'une incertitude sur une entrée dans un intervalle de temps => ta est définie sur un intervalle


 * Environnement de M&S : LSIS_DME
 * éditeur graphique de modèles atomiques et couplés ; modèles à base de phases ;
 * génération de code Java à partir de templates
 * un noyau de simulation DevsJava
 * une syntaxe XML pour la représentation graphique
 * distribué qu'à des fins pédagogiques

VLE - Eric Ramat (LIL - Calais)

 * une présentation de VLE
 * des fichiers XML pour la description de la structure, de la dynamique des modèles et des plans d'expériences : les fichiers VPZ

Mimosa - Jean-Pierre Muller (Cirad - Montpellier)

 * représentation de la connaissance : les ontologies
 * modèle conceptuel : ontologie catégorielle, entité - relation monodirectionnelle (héritage, relation, ...)
 * ontologie individuelle : instantiation du modèle conceptuel


 * description de la dynamique
 * association de l'état à l'objet et de la dynamique


 * conception de la simulation : paramétrage et visualisation


 * architecture de la simulation : peut être devs ? M-devs = parallel-devs + "ds-devs" + événement instantané (logique) + événement  physique + événement d'état

Bilan et perspectives

 * La standardisation de l'enseignement de DEVS apparaît très importante.


 * Pour pouvoir développer des outils de modélisation de haut niveau d'abstraction, il est nécessaire de standardiser les spécifications depuis la représentation des ontologies jusqu'à devs. XML apparaît comme le support le mieux adapté à ces standards. Ce travail possède de nombreux points communs avec l'approche génie logiciel du Model Driven Architecture (MDA).


 * Le groupe commencera par se mettre d'accord sur l'xml-devs (structure et dynamique) + xml pour les cadres expérimentaux.


 * La standardisation des fonctions de transition posent un problème difficile. Le groupe est tombé d'accord pour se concentrer d'abord sur un bus commun. Néanmoins, la réflexion sur les fonctions de transition devra avoir lieu.


 * Une forte volonté de concrétiser cette réflexion par le développement de standards (même "locaux") et leurs implémentations concrètes s'est fait sentir. Pour cela, les participants se sont engagés à se réunir de nouveau pour répondre à l'appel ANR de 2008.