Elaborating abstract models