83 followers
@namedgraph kinda reminds me of "model synchronization" and "model repair" as discussed e.g. here https://t.co/ffBcdfPJnk.. this can also be tackled as an optimization task, i.e., find the most optimal sequence of actions (C,U,D) that leads to synchronized