Business Process Modeling Abstraction Based on Semi-Supervised Clustering Analysis · Study