Adapting requirements models to varying environments
File(s)
Published version
Author(s)
Alrajeh, Dalal
Cailliau, Antoine
van Lamsweerde, Axel
Type
Conference Paper
Abstract
The engineering of high-quality software requirements generallyrelies on properties and assumptions about the environment inwhich the software-to-be has to operate. Such properties and as-sumptions, referred to as environment conditions in this paper, arehighly subject to change over time or from one software variantto another. As a consequence, the requirements engineered for aspecific set of environment conditions may no longer be adequate,complete and consistent for another set.The paper addresses this problem through a tool-supported re-quirements adaptation technique. A goal-oriented requirementsmodelling framework is considered to make requirements’ refine-ments and dependencies on environment conditions explicit. Whenenvironment conditions change, an adapted goal model is computedthat is correct with respect to the new environment conditions. Thespace of possible adaptations is not fixed a priori; the requiredchanges are expected to meet one or moreenvironment-independentgoal(s) to be satisfied in any version of the system. The adapted goalmodel is generated using a new counterexample-guided learningprocedure that ensures the correctness of the updated goal model,and prefers more local adaptations and more similar goal models.
Date Issued
2020-12-21
Date Acceptance
2020-02-12
Citation
2020, pp.50-61
Publisher
ACM
Start Page
50
End Page
61
Copyright Statement
© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Identifier
https://ieeexplore.ieee.org/abstract/document/9284116
Source
42nd International Conference on Software Engineering (ICSE'20)
Publication Status
Published
Start Date
2020-10-05
Finish Date
2020-10-11
Coverage Spatial
Seoul, South Korea
Date Publish Online
2020-12-21