Yu, Yijun; Peng, Xin and Leite, Julio Cesar Sampaio do Prado
(2013).
|
(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. |
| URL: | http://www.springer.com/computer/swe/book/978-3-64... |
|---|---|
| DOI (Digital Object Identifier) Link: | https://doi.org/10.1007/978-3-642-38640-4_2 |
| Google Scholar: | Look up in Google Scholar |
Abstract
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: | 02 May 2018 13:55 |
| URI: | http://oro.open.ac.uk/id/eprint/38769 |
| Share this page: |     |
Metrics
Altmetrics from Altmetric | Citations from Dimensions |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)