Author(s)

D.A. Brunskill, D. Rann & J. Turner

Abstract

Models are fundamental to computing. Their centrality to software systems is such that the distinction between them and reality is often lost. The importance of model building in system development means that the quality of a software product often rests on the quality of the underlying system model; a poor underlying model being likely to lead to poor system quality. In spite of this, it is often the case that insufficient attention is paid to model quality. An understanding of the modelling process is likely to lead to an improvement in system quality, especially if the modelling process itself is quality assured. A method to aid in this, based on the construction of an abstract model of models, is explained. The abstract model is described using the specification language Z. The functional quality of a model is contingent on the correlation betwe

Keywords