Citation Context

...-based modeling has been used for specifying the adaptation choices that a DAS must make [9], [15], [18], [26] as well as for the specification of monitoring and switching between adaptive behaviours =-=[20]-=-. A particular strength of goal-based modeling is that it supports the modeling of non-functional trade-offs, which can be used to capture some elements of environmental uncertainty. This is well illu...

Citation Context

...To ensure the continuous satisfaction of requirements, one needs to adapt the specification of the system-to-be according to changes in the context. This idea was originally proposed by Salifu et al. =-=[16]-=- and was extensively exploited in different works [14, 2] that handled context variability through the explicit modeling of alternatives. Penserini et al. [14] model the availability of execution plan...

Citation Context

...ion?”. Modeling context information has not to be a standalone activity, that is context has to be elicited in conjunction with the analysis we do for discovering alternative behaviors. Salifu et al. =-=[7]-=- investigate the use of problem frames to handle variability in context-aware software. In our work, we use goal analysis to elicit requirements without assuming that requirements are already recogniz...

Citation Context

..., certain low-level Claims can be considered axiomatic and need not be monitored at run time. In contrast, evidence for or against the assumption of an uncertain Claim has to be collected at run time =-=[21]-=-. 1 Figure 2 presents a Claim refinement model for the RDM application. The top level Claim in this model, c1 states that redundancy prevents network partitions, and thus a redundant topology helps th...

Citation Context

...nd others represent preconditions for applying software variants aiming to meet certain requirement. Recently, several contextual requirements models have been proposed to capture such a relationship =-=[4, 5, 6]-=-. However, modeling contextual requirements is a hard task in which designers need to make assumptions with high uncertainty, such as stating that executing a certain software variant in a specific co...

Citation Context

...judgments made by users who used the system in the past and benefit of that to maximize the satisfactions of the current users. Recent research has explored the role of context on requirements (e.g., =-=[34]-=-, [35], [18]) and the elicitation of contextual requirements [36]. In these works, the relationship between context and requirements are not evolvable, i.e., there is a certain degree of certainty whe...

Citation Context

...uch gap and to allow for answering questions like: “how do we decide the relevant context?”, “whydoweneedcontext?”and“how does context influence software and user behavior adaptation?”. Salifu et al. =-=[2]-=- investigate the use of problem descriptions to represent and analyze variability in context-aware software; the work recognizes the link between requirements and context as a basic step to design con...

Citation Context

...classes. Without an explicit user-defined function, our approach cannot be applied to these cases. Therefore, we plan to specify such normalisations explicitly. Recent work on requirements monitoring =-=[31]-=-, [32] indicates that it is important to detect meaningful changes at run-time. In a generic graph-based approach, high-level meaningful changes are expressed declaratively as change patterns [33]. We...

Citation Context

...To ensure the continuous satisfaction of requirements, one needs to adapt the specification of the system-to-be according to changes in the context. This idea was originally proposed by Salifu et al. =-=[25]-=- and was extensively exploited in different works [20] [2] that handled context variability through the explicit modeling of alternatives. Penserini et al. [20] model the availability of execution pla...