This projects aims at the development of methods for a semi-automatic formalization of legal regulations provided in natural language. For this purpose, established methodologies from the domain of Natural Language Processing (NLP) are supposed to be applied. More precisely, a prototype shall be developed that gets pre-selected descriptions of legal regulations as inputs and transforms this into an equivalent but formal representation. Then, the result can be utilized e.g. for supporting processing flows or an automatic validation of the completeness and consistency of the respective regulations.