Protocol definition language