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

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2014-09-30 - Article/Dans un journal avec peer-review - Anglais - 10 page(s)

Deshayes Romuald, Meyers Bart, Mens Tom , Vangheluwe Hans, "ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language" in CEUR Workshop Proceedings, 1237, 21-30, http://ceur-ws.org/Vol-1237/paper3.pdf

  • Edition : RWTH Aachen University, Aachen (Germany)
  • Codes CREF : Informatique appliquée logiciel (DI2570), Informatique générale (DI1162)
  • Unités de recherche UMONS : Génie Logiciel (S852)
  • Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys), Institut NUMEDIART pour les Technologies des Arts Numériques (Numédiart)
  • Centres UMONS : Modélisation mathématique et informatique (CREMMI)
Texte intégral :

Abstract(s) :

(Anglais) Domain-specificmodelling (DSM) helps designing systems at a higher level of abstraction, by providing languages that are closer to the problem space than to the solution space. Unfortunately, specifying and verifying properties of the modelled system has been mostly neglected by 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. This contradicts the DSM philosophy as domain experts are usually not familiar with such formalisms. To overcome this shortcoming, the ProMoBox approach lifts property specification and verification tasks up to the domain-specific level. For a given DSM language, some operations at the metamodel level are needed to allow specification and verification of properties. This paper reports on a practical case study of how to apply the ProMoBox approach on GISMO, a DSM language designed specifically for developing gestural interaction applications.

Identifiants :
  • ISSN : 1613-0773

Mots-clés :
  • (Anglais) model checking
  • (Anglais) gestural interaction
  • (Anglais) domain-specific modelling
  • (Anglais) model transformation
  • (Anglais) human-machine interaction