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



