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:

    There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.
    Sara Lawrence Lightfoot (20th century)