Formaiizing the Repair Process