Foundational UML and ALF