Mining constraints for artful processes