On Measuring Process Model Similarity Based on High-Level Change Operations · Study