Requirements evolution and evolution requirements with constrained goal models