formalisieren (formal + -isieren; verbalize)
einer gewissen (vereinfachenden) Form unterwerfen