Memetic Algorithms for Mining Change Logs in Process Choreographies · Study