Flexible requirement satisfaction in adaptive systems