Thumbnail
Access Restriction
Open

Author Laney, Robin ♦ Barroca, Leonor ♦ Jackson, Michael ♦ Nuseibeh, Bashar
Source CiteSeerX
Content type Text
Publisher IEEE Computer Society
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Machine Specification ♦ Requirement Construct ♦ Inconsistent Requirement ♦ Multiple Problem Frame ♦ Domain Property ♦ Problem Frame ♦ Composition Frame ♦ Systematic Approach ♦ Simple Case Study ♦ Model Relevant Aspect ♦ Unwanted Effect
Description 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. 1.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2004-01-01
Publisher Institution In Proceedings of RE’04