Séminaire du CRIM : Une approche pour la génération de langages de vérification spécifiques au domaine

Séminaire du CRIM : Une approche pour la génération de langages de vérification spécifiques au domaine
11/09/14 11h00
CRIM (405, avenue Ogilvy, bureau 101, Montréal)

ProMoBox: A Framework for Generating Domain-Specific Property Languages (conférence en anglais)

Par Bart Meyers, étudiant au doctorat, Département de mathématiques et d'informatique, Université d'Anvers, Belgique.

RÉSUMÉ ►  Specifying and verifying properties of the modelled system has been mostly neglected by domain-specific modelling (DSM) approaches. At best, this is only partially supported by translating models to formal representations on which properties are specified and evaluated based on logic-based formalisms, such as linear temporal logic. This contradicts the DSM philosophy as domain experts are usually not familiar with the logics space. To overcome this shortcoming, we propose to shift property specification and verification tasks up to the domain-specific level. The ProMoBox framework consists of (i) generic languages for modelling properties and representing verification results, (ii) a fully automated method to specialize and integrate these generic languages to a given DSM language, and (iii) a verification backbone based model checking directly plug-able to DSM environments. In its current state, ProMoBox offers the designer modelling support for defining temporal properties, and for visualizing verification results, all based on a given DSM language. We report results of applying ProMoBox to a case study of an elevator controller.

BIOGRAPHIE ►Bart Meyers is a PhD student and teaching assistant in the department of Mathematics and Computer Science at the University of Antwerp (Belgium). Since 2009, he is a member of the Modelling, Simulation and Design (MSDL) research lab, led by prof. Hans Vangheluwe.

Bart's research interests are in the field of language engineering in the context of domain-specific modeling. More specifically, he investigates the composition and the evolution of modeling languages, and domain-specific property languages. His research is directed towards generative approaches, supported by core model-driven engineering techniques meta-modeling and model transformation.

Bart has written papers that were accepted at the International Conference on Software Language Engineering (SLE) and for publication in the Science of Computer Programming journal (SCP). As a result of a number of research visits, he has published papers with active members of the Model-Driven Engineering community such as prof. Hans Vangheluwe, prof. Tom Mens, prof. Juan de Lara, prof. Jonathan Sprinkle, prof. Frédéric Boulanger, prof. Eugene Syriani, Dr. Manuel Wimmer, Dr. Levi Lucio and Dr. Antonio Cicchetti. Since 2014, he is the co-organizer of the summer school Domain-Specific Modeling – Theory and Practice, held in Antwerp.

INSCRIPTION Carmen.Robert@crim.ca ou 514 840-7992.
Conférence gratuite. Jeudi, le 11 septembre 2014, de 11 h à 12 h.
Au CRIM, 405, avenue Ogilvy, bureau 101, Montréal.


Les séminaires scientifiques du CRIM sont donnés par des experts de renommée internationale, des collaborateurs universitaires du CRIM, le personnel de R-D du CRIM et ses boursiers de 2e et 3e cycles. Au programme, des présentations conviviales sur les dernières avancées scientifiques et technologiques. Ces séminaires sont gratuits et ouverts à tous.  

  • #Bientôt ???? Le CRIM présentera le projet Application des technologies vocales aux langues autochtones le 19 novembre… https://t.co/FnO5IKw79H
  • Tom Landry RT @Tom_Landry_: Ce fût un réel plaisir que de partager ma vision de l'avenir de la géomatique. Et que dire des mots-clés sélectionné par l…