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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Krogstie, J., Lyytinen, K., Opdahl, A., Pernici, B., Siau, K., Smolander, K.: Research areas and challenges for mobile information systems. International Journal of Mobile Communications 2(3), 220–234 (2004)
Pernici, B.: Mobile information systems: infrastructure and design for adaptivity and flexibility. Springer, Heidelberg (2006)
Weiser, M.: The computer for the twenty-first century. Scientific American 265(3), 94–104 (1991)
Streitz, N., Nixon, P.: The disappearing computer. Commun. ACM 48(3) (2005)
Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto (1995)
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)
Yau, S., Liu, J.: Hierarchical situation modeling and reasoning for pervasive computing. In: Proceedings of 3rd Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), pp. 5–10 (2006)
Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. PerCom., 77–86 (2004)
Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using owl. In: PERCOMW 2004: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops, pp. 18–22. IEEE Computer Society, Washington (2004)
Salifu, M., Nuseibeh, B., Rapanotti, L., Tun, T.: Using problem descriptions to represent variability for context-aware applications. In: First International Workshop on Variability Modelling of Software-intensive Systems (2007)
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)
Kang, K., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: Form: A feature-; oriented reuse method with domain-; specific reference architectures. Annals of Software Engineering 5, 143–168 (1998)
Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research (2006)
Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Proc. 14th IEEE International Requirements Engineering Conference, September 2006, pp. 11–15. Minneapolis, USA (2006)
Jennings, N.: On agent-based software engineering. Artificial Intelligence 117(2), 277–296 (2000)
Henderson-Sellers, B., Giorgini, P.: Agent-oriented Methodologies. Idea Group Pub. (2005)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. In: Selected Papers of the Sixth International Workshop on Software Specification and Design table of contents, pp. 3–50 (1993)
Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31–37 (1999)
Liaskos, S., McIlraith, S., Mylopoulos, J.: Representing and reasoning with preference requirements using goals. Technical report, Dept. of Computer Science, University of Toronto (2006), ftp://ftp.cs.toronto.edu/pub/reports/csrg/542
Warmer, J., Kleppe, A.: The object constraint language: precise modeling with UML. Addison-Wesley Longman Publishing Co., Inc., Boston (1998)
Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems (TODS) 22(3), 364–418 (1997)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic (TOCL) 7(3), 499–562 (2006)
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ali, R., Dalpiaz, F., Giorgini, P. (2008). Modeling and Analyzing Variability for Mobile Information Systems. In: Gervasi, O., Murgante, B., Laganà, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2008. ICCSA 2008. Lecture Notes in Computer Science, vol 5073. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69848-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-69848-7_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69840-1
Online ISBN: 978-3-540-69848-7
eBook Packages: Computer ScienceComputer Science (R0)