Translation of an Abstract Problem to a System