Laney, Robin; Barroca, Leonor; Jackson, Michael and Nuseibeh, Bashar
This is the latest version of this eprint.
|DOI (Digital Object Identifier) Link:||http://dx.doi.org/10.1109/ICRE.2004.1335670|
|Google Scholar:||Look up in Google Scholar|
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a problem, one approach to solving it is through a process of composing solutions to sub-problems. In this paper, we contribute to supporting such a process by providing a way to compose multiple Problem Frames. We develop a systematic approach to composing inconsistent requirements. We introduce Composition Frames, a requirements construct that models relevant aspects of composition and thus deals with unwanted effects, such as interference of overlapping reactions to events. Throughout the paper we use a simple case study to illustrate and validate our ideas.
|Item Type:||Conference Item|
|Extra Information:||The conference took place on 6-11 September 2004.
RE 04 received 99 full research papers and accepted 27. It is the main international conference in the field of requirements engineering.
This paper is the first serious work to address the composition of problem frames in detail. It clarifies a number of concerns that were previously obscure.
It was a key component of a research programme that led to an EPSRC grant for £192,000.
|Keywords:||requirements; composition; problem frames; software architecture; composition frames; domain properties; machine specifications; multiple problem frames; problem decomposition; requirements composition|
|Academic Unit/Department:||Mathematics, Computing and Technology > Computing & Communications
Mathematics, Computing and Technology
|Interdisciplinary Research Centre:||Centre for Research in Computing (CRC)|
|Depositing User:||Robin Laney|
|Date Deposited:||04 Jul 2006|
|Last Modified:||14 Jan 2016 16:00|
|Share this page:|
Available Versions of this Item
Composing requirements using problem frames. (deposited 03 Aug 2006)
- Composing requirements using problem frames. (deposited 04 Jul 2006) [Currently Displayed]