This paper aims to formally model the eligibility requirements for the Department of Computing Science at Umea University. As of now, the requirements are written in plain text resulting in students or lecturers having to evaluate these manually. Eligibility requirements can be built complex which makes it difficult to handle manually. The purpose of this thesis is to examine how to go from a natural language model to a formal model.
The formal model is based on having sets of courses in different requirement domains. Where subsets can be obtained using functions and predicates from first-order logic. These subsets can be used to compute the truth value of eligibility requirements. This can help students to know if they are eligible to take a certain course.
A proof of concept is presented by applying the formal model to each course of the Department of Computing Science at Umea University. The result shows that most requirements can be modeled. The requirements that could not be modeled were requirements that contained adjectives in the description.