Context-aware reactive systems based on runtime semantic models