A framework for XML Data Streams History Checking and Monitoring