The Open UniversitySkip to content

Problem frame semantics for software development

Hall, Jon G.; Rapanotti, Lucia and Jackson, Michael (2005). Problem frame semantics for software development. Journal of Software and Systems Modeling, 4(2) pp. 189–198.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


This paper presents a framework for understanding Problem Frames that locates them within the Requirements Engineering model of Zave and Jackson, and its subsequent formalization in the Reference Model of Gunter et al. It distinguishes between problem frames, context diagrams and problem diagrams, and allows us to formally define the relationship between them as assumed in the Problem Frames framework.

The semantics of a problem diagram is given in terms of `challenges', a notion that we also introduce. The notion of a challenge is interesting in its own right for two reasons: its proof theoretic derivation leads us to consider a challenge calculus that might underpin the Problem Frame operations of decomposition and recomposition; and it promises to extend the notion of formal refinement from software development to requirements engineering.

In addition, the semantics supports a textual representation of the diagrams in which Problem Frames capture problems and their relationship to solutions. This could open the way for graphical Problem Frames tools.

Item Type: Journal Item
ISSN: 1619-1366
Keywords: Requirements engineering; Problem Frames; Semantics; Reference model; Framework
Academic Unit/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)
Item ID: 3314
Depositing User: Lucia Rapanotti
Date Deposited: 23 Jun 2006
Last Modified: 07 Dec 2018 08:54
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU