Copy the page URI to the clipboard
Hall, Jon G. and Rapanotti, Lucia (2003). A Reference Model for Requirements Engineering. Technical Report 2003/06; Department of Computing, The Open University.
DOI: https://doi.org/10.21954/ou.ro.0001600d
Abstract
The Reference Model of Gunter et al., 2000, provides a framework for describing and analyzing key software engineering artifacts and their properties. In this paper we propose a reification of this framework in which behaviour is explicitly trace-based. We find that this benefits the formalism in adding structure in ways which are meaningful and practical from an engineering viewpoint. In particular, we develop notions of points of introduction and reachabil-ity in the new framework, and show how they strengthen the properties of the Reference Model.