High-level message sequence charts