Realizability and dynamic reconfiguration of chor specifications