A generic model for fine grained configuration management including version control and traceability

This paper describes the implementation of a prototype system that supports fine-grained configuration and version management. The development has been undertaken in the context of providing trusted support for high-integrity software development. The starting point of this paper is a formal specification of the consistency and completeness criteria that our system must meet. The main issues are illustrated using a simple example: a system which supports the evolution of requirements and design documents and maintains the relationships between these two artifacts. The prototype was developed using a sophisticated object-oriented database system. Finally we draw conclusions about the integration of fine-grained configuration and version management facilities into a single framework.