MetaPL: A Notation System for Parallel Program Description and Performance Analysis