DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2015-06-01 - Colloque/Abstract - Anglais - 2 page(s)

Meyers Bart, Deshayes Romuald, Mens Tom , Vangheluwe Hans, "Generating Domain-Specific Property Languages with ProMoBox" in Workshop on Formal Methods in Human Computer Interaction (FoMHCI), Duisburg, Allemagne, 2015

  • Codes CREF : Technologies de l'information et de la communication (TIC) (DI4730), Informatique appliquée logiciel (DI2570), Informatique générale (DI1162)
  • Unités de recherche UMONS : Génie Logiciel (S852)
  • Instituts UMONS : Institut de Recherche en Technologies de l’Information et Sciences de l’Informatique (InforTech), Institut de Recherche sur les Systèmes Complexes (Complexys)
  • Centres UMONS : Modélisation mathématique et informatique (CREMMI)
Texte intégral :

Abstract(s) :

(Anglais) Domain-Specific Modelling allows domain experts with limited technical background to precisely model applications by using domain concepts. These domain-specific models can be simulated, optimized, transformed into other formalisms, and from these models executable code and documentation can be generated. Because of their syntactic simplicity they are suitable for analysis, which is nonetheless often neglected in current approaches. Especially in Human-Computer Interaction, verifying whether the model satisfies its requirements (specified as so-called properties) is essential. The ProMoBox approach presents a highly automated solution for the specification and verification of such properties. It provides a framework for model checking of temporal properties, where all visible artifacts (system designs, properties, simulation traces, etc.) are specified in the domain-specific way.

Mots-clés :
  • (Anglais) human-computer interaction
  • (Anglais) model checking
  • (Anglais) domain-specific modelling
  • (Anglais) software modeling