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:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
Related Phrases
Related Words