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-02-01 - Article/Dans un journal avec peer-review - Anglais - 17 page(s)

Mens Tom , Degrandsart Sylvain, Demeyer Serge, Van den Bergh Jan, "A transformation-based approach to context-aware modelling" in Software and Systems Modeling, 13, 1, 191-208, 10.1007/s10270-012-0239-y

  • Edition : Springer (Germany)
  • Codes CREF : Technologies de l'information et de la communication (TIC) (DI4730), Informatique appliquée logiciel (DI2570), Analyse de systèmes informatiques (DI2572)
  • 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) Context-aware computing is a paradigm for governing the numerous mobile devices surrounding us. In this computing paradigm, software applications continuously and dynamically adapt to different “contexts” implying different software configurations of such devices. Unfortunately, modelling a context-aware application (CAA) for all possible contexts is only feasible in the simplest of cases. Hence, tool support verifying certain properties is required. In this article, we introduce the CAA model, in which context adaptations are specified explicitly as model transformations. By mapping this model to graphs and graph transformations, we can exploit graph transformation techniques such as critical pair analysis to find contexts for which the resulting application model is ambiguous. We validate our approach by means of an example of a mobile city guide, demonstrating that we can identify subtle context interactions that might go unnoticed otherwise.

Identifiants :
  • DOI : 10.1007/s10270-012-0239-y

Mots-clés :
  • (Anglais) critical pair analysis
  • (Anglais) context coverage
  • (Anglais) context adaptation
  • (Anglais) model transformation
  • (Anglais) context-aware model