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