Tracing where IoT data are collected and aggregated (Logical Methods in Computer Science, 2017)