Location-based software modeling and analysis: Tropos-based approach

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

Volumn 5231 LNCS, Issue , 2008, Pages 169-182

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

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS;

AUTOMATED ANALYSIS; CONCEPTUAL FRAMEWORKS; LOCATION BASED; MOBILE APPLICATIONS; MODELING SOFTWARES; SOFTWARE MODEL; SOFTWARE SYSTEMS;

LOCATION;

EID: 57049189719     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87877-3_14     Document Type: Conference Paper

References (18)

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. Weiser, M.: The Computer for the Twenty-First Century, Scientific American 265(3), 94-104 (1991)
3. Ali, R., Dalpiaz, F., Giorgini, P.: Location-based variability for mobile information systems. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 575-578. Springer, Heidelberg (2008)
4. Yau, S.S., Liu, J.: Hierarchical situation modeling and reasoning for pervasive computing. In: Proc. Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2006), pp. 5-10 (2006)
5. Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. In: Proc. Second IEEE Intl. Conference on Pervasive Computing and Communications (PerCom 2004), p. 77 (2004)
6. Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using owl. In: Proc. Second IEEE Annual Conference on Pervasive Computing and Communications Workshops, pp. 18-22 (2004)
7. Salifu, M., Yu, Y., Nuseibeh, B.: Specifying monitoring and switching problems in context. In: Proc. 15th Intl. Conference on Requirements Engineering (RE 2007), pp. 211-220 (2007)
8. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)
9. Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: Form: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5, 143-168 (1998)
10. Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: Proc. 2006 conference of the Center for Advanced Studies on Collaborative research (CASCON 2006), p. 7. ACM, New York (2006)
11. Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Proc. 14th IEEE Intl. Requirements Engineering Conference (RE 2006), pp. 76-85 (2006)
12. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1-2), 3-50 (1993)
13. 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)
14. Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto (1995)
15. Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31-37 (1999)
16. Ali, R., Dalpiaz, F., Giorgini, P.: Modeling and analyzing variability for mobile information systems. In: Gervasi, O., Murgante, B., Laganá, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2008, Part II. LNCS, vol. 5073, pp. 291-306. Springer, Heidelberg (2008)
17. 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, pp. 167-181. Springer, Heidelberg (2002)
18. 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