Sciweavers

Share
RE
2004
Springer

Composing Requirements Using Problem Frames

9 years 11 months ago
Composing Requirements Using Problem Frames
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.
Robin C. Laney, Leonor Barroca, Michael Jackson, B
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where RE
Authors Robin C. Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh
Comments (0)
books