The Open UniversitySkip to content
 

Composing requirements using problem frames

Laney, Robin; Barroca, Leonor; Jackson, Michael and Nuseibeh, Bashar (2004). Composing requirements using problem frames. In: 12th International Requirements Engineering Conference, 6-10 Sep 2004, Kyoto, Japan, IEEE, pp. 122–131.

Warning

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

Abstract

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
ISBN: 0-7695-2174-6, 978-0-7695-2174-9
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
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
eSTEeM
Item ID: 4134
Depositing User: Robin Laney
Date Deposited: 04 Jul 2006
Last Modified: 05 Mar 2014 10:12
URI: http://oro.open.ac.uk/id/eprint/4134
Share this page:

Available Versions of this Item

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk