Auto-constructing dataflow models from system execution traces.