uml matching finito