Semantic Models for Adaptive Interactive Systems