Methods and arrangements for automatically determining allowable sequences of changes, e.g., sequences where the order in which changes are carried out will transition a computing system from a workable state into another workable state, are disclosed.