Some Common Specification Systems

The first protocols were specified in a sort of structured English - text. This is very difficult to check for anything. Flowcharting has been used, but is an unnatural framework for specifying concurrency, and leads to very large charts. It does, however allow for some automatic checking and generating of parts of a protocol. More powerful techniques are: