Stav dette: Semantic Models for Adaptive Interactive Systems