Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Functional documents for computer systems
Science of Computer Programming
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
ACM Transactions on Database Systems (TODS)
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Hierarchical Situation Modeling and Reasoning for Pervasive Computing
SEUS-WCCIA '06 Proceedings of the 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)
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Goal and scenario based domain requirements analysis environment
Journal of Systems and Software - Special issue: Selected papers from the 11th Asia Pacific software engineering conference (APSEC 2004)
On Goal-based Variability Acquisition and Analysis
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Requirements-driven design of autonomic application software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Journal of Systems and Software
Research areas and challenges for mobile information systems
International Journal of Mobile Communications
Configuring features with stakeholder goals
Proceedings of the 2008 ACM symposium on Applied computing
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
Location-Based Variability for Mobile Information Systems
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Location-Based Software Modeling and Analysis: Tropos-Based Approach
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Guidelines for conducting and reporting case study research in software engineering
Empirical Software Engineering
An Architecture for Requirements-Driven Self-reconfiguration
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
Towards a Unified Framework for Contextual Variability in Requirements
IWSPM '09 Proceedings of the 2009 Third International Workshop on Software Product Management
Requirements reflection: requirements as runtime entities
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A goal-based framework for contextual requirements modeling and analysis
Requirements Engineering
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Requirements Engineering for Adaptive Service Based Applications
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Fuzzy Goals for Requirements-Driven Adaptation
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Business processes contextualisation via context analysis
ER'10 Proceedings of the 29th international conference on Conceptual modeling
COMPRO: a methodological approach for business process contextualisation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Awareness requirements for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Social sensing: when users become monitors
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Context: The environment in which the system operates, its context, is variable. The autonomous ability of a software to adapt to context has to be planned since the requirements analysis stage as a strong mutual influence between requirements and context does exist. On the one hand, context is a main factor to decide whether to activate a requirement, the applicable alternatives to meet an activated requirement as well as their qualities. On the other hand, the system actions to reach requirements could cause changes in the context. Objectives: Modelling the relationship between requirements and context is a complex task and developing error-free models is hard to achieve without an automated support. The main objective of this paper is to develop a set of automated analysis mechanisms to support the requirements engineers to detect and analyze modelling errors in contextual requirements models. Method: We study the analysis of the contextual goal model which is a requirements model that weaves together the variability of both context and requirements. Goal models are used during the early stages of software development and, thus, our analysis detects errors early in the development process. We develop two analysis mechanisms to detect two kinds of modelling errors. The first mechanism concerns the detection of inconsistent specification of contexts in a goal model. The second concerns the detection of conflicting context changes that arise as a consequence of the actions performed by the system to meet different requirements simultaneously. We support our analysis with a CASE tool and provide a systematic process that guides the construction and analysis of contextual goal models. We illustrate and evaluate our framework via a case study on a smart-home system for supporting the life of people having dementia problems. Results: The evaluation showed a significant ability of our analysis mechanisms to detect errors which were not notable by requirements engineers. Moreover, the evaluation showed acceptable performance of these mechanisms when processing up to medium-sized contextual goal models. The modelling constructs which we proposed as an input to enable the analysis were found easy to understand and capture. Conclusions: Our developed analysis for the detection of inconsistency and conflicts in contextual goal models is an essential step for the entire system correctness. It avoids us developing unusable and unwanted functionalities and functionalities which lead to conflicts when they operate together. Further research to improve our analysis to scale with large-sized models and to consider other kinds of errors is still needed.