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

Abstract

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

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI