The Open UniversitySkip to content

Reasoning about dynamic aspectual requirements

Yu, Yijun; Peng, Xin and Leite, Julio Cesar Sampaio do Prado (2013). Reasoning about dynamic aspectual requirements. In: Moreira, Ana; Chitchyan, Ruzanna; Araújo, João and Rashid, Awais eds. Aspect-Oriented Requirements Engineering. Heidelberg: Springer, pp. 23–42.

Full text available as:
Full text not publicly available (Accepted Manuscript)
Due to publisher licensing restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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.

Item Type: Book Section
Copyright Holders: 2013 Springer-Verlag
ISBN: 3-642-38639-3, 978-3-642-38639-8
Keywords: requirements modeling; dynamic aspects; reasoning
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 38769
Depositing User: Yijun Yu
Date Deposited: 17 Oct 2013 08:23
Last Modified: 07 Dec 2018 23:06
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU