Execution Trace Management to Support Dynamic V&V for Executable DSMLs