Communications Protocol - Basic Requirements of Protocols - Formal Specification

Formal Specification

Formal ways for describing the syntax of the communications are Abstract Syntax Notation One (a ISO standard) or Augmented Backus-Naur form (a IETF standard).

Finite state machine models and communicating finite-state machines are used to formally describe the possible interactions of the protocol.

Read more about this topic:  Communications Protocol, Basic Requirements of Protocols

Famous quotes containing the word formal:

    I will not let him stir
    Till I have used the approvèd means I have,
    With wholesome syrups, drugs, and holy prayers,
    To make of him a formal man again.
    William Shakespeare (1564–1616)