A Monitoring and Discovery Approach for Declarative Processes Based on Streams