{Declarative Techniques for Modeling and Mining Business Processes}