Aspect-oriented requirements modelling separates the early crosscutting concerns as quality requirements such that one can reason about such requirements without cluttering with another. In this chapter, we propose a step further to reason about the dynamic goal models while the separated aspectual requirements are also dynamic. The key to this step is a list of change propagation rules for the goal models such that it is possible to reuse as much previous reasoning results as possible. To demonstrate, we use the Crisis Management System case study to indicate the application of these rules.
CITATION STYLE
Yu, Y., Peng, X., & Do Prado Leite, J. C. S. (2013). Reasoning about dynamic aspectual requirements. In Aspect-Oriented Requirements Engineering (Vol. 9783642386404, pp. 23–42). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-38640-4_2
Mendeley helps you to discover research relevant for your work.