Modeling and Analyzing Variability for Mobile Information Systems

Abstract

Abstract. Advances in size, power, and ubiquity of computing, sensors, and communication technology made possible the development of mobile or nomadic information systems. Variability of location and system behavior is a central issue in mobile information systems, where behavior of software has to change and re-adapt to the different location settings. This paper concerns modeling and analysis of the complementary relation between software and location variability. We use graphical and formal location modeling techniques, show how to elicit and use location model in conjunction with Tropos goal-oriented framework, and introduce automated analysis on the location-based models.

Location-Based Software Modeling and Analysis: Tropos-Based Approach

“…This step can be done automatically using an automated solver after formalizing the location and location-based goal models. In [16], we used class diagram to represent location, and we formalized it besides the location properties using Datalog¬. We used DLV solver to do the reasoning.…”

A Goal Modeling Framework for Self-contextualizable Software

“…In this paper, we extend the modeling framework proposed in [6,7,8] trying to overcome its mentioned limitations. We use goal analysis in conjunction with our proposed context analysis to build self-contextualizable goal models 2 .…”

“…In our previous work [6,7,8], a modeling and reasoning framework has been presented to tackle some research challenges concerning mobile information systems presented in [9]. The main idea was to associate location (environmental or contextual) properties to the variation points of the goal model, and then to extract a location model from such properties.…”