Un DSL pour représenter et analyser des systèmes à événements discrets
Pascal Andre  1, *@  , Hugo Locteau  1  , Yasmina Dali Youcef  1, 2, 3  , Erwan Bousse  2@  , Olivier Cardin  3  
1 : Vérification pour l'Environnement et le LOgiciel
Laboratoire des Sciences du Numérique de Nantes
2 : NaoMod - Nantes Software Modeling Group
Laboratoire des Sciences du Numérique de Nantes
3 : Conception, Pilotage, Surveillance et Supervision des systèmes
Laboratoire des Sciences du Numérique de Nantes
* : Auteur correspondant

Il existe de nombreuses approches (langages, techniques, outils) pour étudier (i.e.modé-liser, analyser) des systèmes à événements discrets dans différents contextes. Les langagesgénéralistes,i.e.indépendant du contexte d'application, ont fait leur preuve en termed'expressivité ou d'efficacité d'analyse mais souffrent de deux inconvénients. D'une part,ils pêchent à s'adapter à leur contexte d'application, on a donc besoin de spécialistes pourdéfinir et analyser les systèmes. D'autre part, les outils manquent de généralité quant àl'éventail des propriétés à démontrer, ce qui amène à utiliser différents outils et néces-site donc encore plus de spécialites pour un projet donné. Dans cet article, nous explo-rons l'usage deDomain-Specific Languages(DSLs) pour étudier des SED adaptés à leurcontexte : définition d'un langage, d'un outillage de modélisation et de vérification. Cettecontribution est illustrée sur une étude de cas de production manufacturière pour alimenterempiriquement la réflexion sur le sujet. Le langage peutt s'adapter à d'autres contextes



  • Poster
Chargement... Chargement...