Reasoning about decomposing and recomposing problem frames developments: a case study
Zhi Li · 2004
Part of the current research work of the Open University is to explore the semantics of problem frames. The motivation to develop the semantics is shared with many graphical notations - a formal semantics contributes to a solution. As by JG Hall et al. (2003) problem frame manipulations (e.g., problem representation, transformation, decomposition and recomposition) supported by the semantics can be regarded as a formal refinement from the problem towards the specification. Therefore, the semantics of problem frames can be applied to underpin software development problems. This position paper presents a case study demonstrating a semantic view to formalise the representation of software development problems, and reasoning about their decomposition in the problem frames framework. We conclude with a proposed program of research through which the problem frame semantics can be developed.