Forschungsthemen [BA] Non-Invasive Monitoring of Abstract Object Models at RuntimeBetreuer: Karl Kegel