Composing requirements using problem frames

Laney, Robin; Barroca, Leonor; Jackson, Michael and Nuseibeh, Bashar (2004). Composing requirements using problem frames. In: Proceedings of the 12th IEEE International Requirements Engineering Conference (RE 2004), IEEE, pp. 122–131.



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.

Viewing alternatives


Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions



  • Item ORO ID
  • 4134
  • Item Type
  • Conference or Workshop 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 or 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)
  • Depositing User
  • Robin Laney