Formal model for user-centred adaptive mobile devices

The authors present an approach to complex adaptive mobile applications modelling and implementation, able to dynamically change according to changed behavioural properties, state and/or context variables and user's preference. To this aim, they design a metamodel made up of an action repository (AR) to store triples composed by logical propositions to define criteria for selecting actions to be executed. An algorithm has been devised to retrieve a set of possible actions – apps, services or components – to be executed from the AR. The selection of a single action to be executed depends on a user's model. The metamodel validation is carried out through an instantiation in two real scenarios: a proximity environment and a smartphone.