A Constructive Approach to Problem Frame Semantics

Li, Zhi; Hall, Jon G. and Rapanotti, Lucia (2004). A Constructive Approach to Problem Frame Semantics. Technical Report 2004/26; Department of Computing, The Open University.

DOI: https://doi.org/10.21954/ou.ro.00016017


The Problem Frame approach (PF) is an effective requirements engineering tool for analysing and structuring software development problems. PF has a graphical notation that is easy to use and understand. PF imposes only loose constraints on the features of the language used to describe its components and, with only slight restrictions, Hoare's CSP can be used. Although not generally applicable , in this paper we show that CSP can provide a constructive way to arrive at a solution to a PF expressed problem. The work is situated in the Problem Frame Semantics for Software Development of Hall, Rapanotti and Jackson.

Viewing alternatives

Download history


Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions