A formal ORM-to[-]UML mapping algorithm / Peter Bollen