Last updated on Monday, October 06, 2025
@article{Degrandsart2014SOSYM,
author = {Degrandsart, Sylvain and Demeyer, Serge and
Van den Bergh, Jan and Mens, Tom},
journal = {Software \& Systems Modeling},
month = mar,
note = {SCI impact factor 0.820, ranked 62 / 105 in Computer
Science, Software Engineering --- 2013},
number = {1},
pages = {191-208},
publisher = {Springer Berlin Heidelberg},
title = {A transformation-based approach to context-aware
modelling},
volume = {13},
year = {2014},
abstract = {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.},
annote = {internationaljournal},
doi = {10.1007/s10270-012-0239-y},
issn = {1619-1366},
}