Folie 1 Matthias Weidlich, Jan Mendling, Mathias Weske [email protected] Behavioral Profiles An Abstraction for Efficient Calculation of Consistency between…