Li, Zhi; Hall, Jon and Rapanotti, Lucia
(2014).
![]() |
(Version of Record)
Due to publisher licensing restrictions, this file is not available for public download Click here to request a copy from the OU Author. |
DOI (Digital Object Identifier) Link: | https://doi.org/10.1007/s00766-013-0173-8 |
---|---|
Google Scholar: | Look up in Google Scholar |
Abstract
Formal approaches to development are widely acknowledged to have difficulty in the validation of realworld requirements; in contrast, non-formal approaches find it difficult to identify the formal structures in requirements that are useful in a solution. That the problems that computing treats are embedded in the real world with solutions being an essentially formal machine means this dichotomy will always exist, with some new approach to the development needed which can draw a boundary between what is formalised and what can be left informal. In this paper, we show how the natural cause-and-effect structures that can be found in non-formal requirements descriptions can be used systematically to arrive at a software specification. The theoretical contribution of the work is the formalisation of Jackson’s idea of problem progression in his Problem Frames framework through the use of a graph grammar to capture problem models as graphs and their manipulation as transformations. The approach is illustrated through a substantial benchmark example—Swartout’s and Balzer’s package router. We also report on the results of an initial empirical evaluation of the approach based on a prototype problem progression tool we have constructed.
Item Type: | Journal Item | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Copyright Holders: | 2013 Springer-Verlag London | ||||||||||||
ISSN: | 1432-010X | ||||||||||||
Project Funding Details: |
|
||||||||||||
Keywords: | requirements; specifications; problem frames; problem progression; graph transformation | ||||||||||||
Academic Unit/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
||||||||||||
Research Group: | Centre for Research in Computing (CRC) | ||||||||||||
Item ID: | 38402 | ||||||||||||
Depositing User: | Jon Hall | ||||||||||||
Date Deposited: | 12 Sep 2013 10:58 | ||||||||||||
Last Modified: | 07 Dec 2018 22:59 | ||||||||||||
URI: | http://oro.open.ac.uk/id/eprint/38402 | ||||||||||||
Share this page: | ![]() ![]() ![]() ![]() |
Metrics
Altmetrics from Altmetric | Citations from Dimensions |