Modeling and Analyzing Location-based Requirements: Goal-oriented Approach

In emerging computing paradigms, such as mobile information systems, there is a strong relation between the system requirements and location. The system may operate in various locations and location can be a main factor in deciding the requirements to meet and the way to meet them. In this paper, we propose a goal-oriented requirements engineering approach to model and analyze location-based requirements. We propose a set of modelling constructs to represent location, show how to capture location-based requirements via location-based goal model, and present a set of analysis and reasoning techniques about the formalized models.

[1]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[2]  Raian Ali,et al.  Modeling and Analyzing Variability for Mobile Information Systems , 2008, ICCSA.

[3]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[4]  Janice Singer,et al.  Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, October 5-7, 2004, Markham, Ontario, Canada , 2004, CASCON.

[5]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[6]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[7]  Stephen S. Yau,et al.  Hierarchical situation modeling and reasoning for pervasive computing , 2006, The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06).

[8]  Jadwiga Indulska,et al.  A software engineering framework for context-aware pervasive computing , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[9]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[10]  Yijun Yu,et al.  On Goal-based Variability Acquisition and Analysis , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[11]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[12]  Tao Gu,et al.  Ontology based context modeling and reasoning using OWL , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[13]  Raian Ali,et al.  Location-Based Variability for Mobile Information Systems , 2008, CAiSE.

[14]  Bashar Nuseibeh,et al.  Specifying Monitoring and Switching Problems in Context , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[15]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[16]  Sheila A. McIlraith,et al.  Representing and Reasoning with Preference Requirements Using Goals (revised) No: CSRG-542 , 2009 .

[17]  Keng Siau,et al.  Research areas and challenges for mobile information systems , 2004, Int. J. Mob. Commun..

[18]  John Mylopoulos,et al.  Requirements analysis for customizable software: a goals-skills-preferences framework , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..