Architecture-Bound Change Logic