From fine-grained to abstract process models: A semantic approach · Study