Effective Analysis of Flexible Collaboration Processes by way of Abstraction and Mining Techniques