Formalization geupdate en UML gemaakt van model