Dynamic high-level requirements in self-adaptive systems