Requirements particle networks: an approach to software functional requirements modelling

摘要

In this paper, an appraoch to software functional requirements modelling using requirements particle networks is presented. In our approach, a set of requirements particles is defined as an essential tool to construct a visual model of software functional requirements specification during the software analysis phase and the relevant formal specification is systematically generated without the experience of writing formal specification. A number of algorithms are presented to perform these formal specification transformations using predefined templates of formal specification schema of the requirements particles. The usability of the requirements particle networks is investigated by conducting a workshop. The result indicates that an analyst with experience in writing data flow diagram is capable to produce a complete and consistent requirements particle networks.