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.

URL: http://www.springerlink.com/content/ggrpne3q3p1xng...
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1007/s10270-004-0062-1
Google Scholar: Look up in Google Scholar

Abstract

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 Article
ISSN: 1619-1366
Keywords: Requirements engineering; Problem Frames; Semantics; Reference model; Framework
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 3314
Depositing User: Lucia Rapanotti
Date Deposited: 23 Jun 2006
Last Modified: 02 Dec 2010 19:49
URI: http://oro.open.ac.uk/id/eprint/3314
Share this page:

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