org.eclipse.viatra.integration.uml