Title: Thesis Defence: Evaluating Repositories: Standards, Techniques and Performance Simulation
This thesis defense involves the presentation of the work done in the last year related to evaluating repositories for the Dutch Tax and Customs Administration (Belastingdienst). The presentation will present a set of criteria for evaluating repository systems for storing and maintaining formal models, in particular as used
in the context of the DTCA. Two repository systems will be described which were evaluated during the thesis
period. Also (some) of the current standards, techniques, systems and (open-source) projects related to these repositories will be presented. Lastly, a simple case study for simulating the performance of a repository
will be presented.