Masterarbeit angewandte theoretische Informatik: Generierung von Objektstrukturen aufgrund logischer Aussagen darüber