Une approche formelle de la reconfiguration dynamique