TY - GEN
T1 - Modeling and analyzing variability for mobile information systems
AU - Ali, Raian
AU - Dalpiaz, Fabiano
AU - Giorgini, Paolo
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=54249149142&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69848-7_24
DO - 10.1007/978-3-540-69848-7_24
M3 - Conference contribution
AN - SCOPUS:54249149142
SN - 354069840X
SN - 9783540698401
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 291
EP - 306
BT - Computational Science and Its Applications - ICCSA 2008 - International Conference, Proceedings
T2 - International Conference on Computational Science and Its Applications, ICCSA 2008
Y2 - 30 June 2008 through 3 July 2008
ER -