Modeling and analyzing variability for mobile information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5073 LNCS, Issue PART 2, 2008, Pages 291-306

  Ali, Raian ^a   Dalpiaz, Fabiano ^a   Giorgini, Paolo ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION; SENSOR NETWORKS;

AUTOMATED ANALYSES; COMMUNICATION TECHNOLOGIES; COMPLEMENTARY; COMPUTING; LOCATION MODELS; LOCATION SETTINGS; MOBILE INFORMATION SYSTEMS; MODELING; MODELING AND ANALYSIS; MODELING TECHNIQUES; SYSTEM BEHAVIORS;

INFORMATION SYSTEMS;

EID: 54249149142     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69848-7_24     Document Type: Conference Paper

References (23)

1. 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)
2. Pernici, B.: Mobile information systems: infrastructure and design for adaptivity and flexibility. Springer, Heidelberg (2006)
3. Weiser, M.: The computer for the twenty-first century. Scientific American 265(3), 94-104 (1991)
4. Streitz, N., Nixon, P.: The disappearing computer. Commun. ACM 48(3) (2005)
5. Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto (1995)
6. 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)
7. 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)
8. Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. PerCom., 77-86 (2004)
9. 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)
10. 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)
11. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)
12. 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)
13. 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)
14. 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)
15. Jennings, N.: On agent-based software engineering. Artificial Intelligence 117(2), 277-296 (2000)
16. Henderson-Sellers, B., Giorgini, P.: Agent-oriented Methodologies. Idea Group Pub. (2005)
17. 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)
18. Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31-37 (1999)
19. Liaskos, S., Mcllraith, 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
20. Warmer, J., Kleppe, A.: The object constraint language: precise modeling with UML. Addison-Wesley Longman Publishing Co., Inc., Boston (1998)
21. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems (TODS) 22(3), 364-418 (1997)
22. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Peril, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic (TOCL) 7(3), 499-562 (2006)
23. 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)