Wright

A software description language for the specification of communication protocols.