A set of languages for context-aware adaptation