A Constructive Approach to Problem Frame Semantics
Zhi Li, Jon G. Hall, Lucia Rapanotti · Open Research Online - ORO (The Open University) · 2004
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.