A flexible network monitoring tool based on a data stream management system