Protokol (informatika)
Z Wikipedie, otevřené encyklopedie
Protokol je soubor syntaktických a sémantických pravidel určujících výměnu informace mezi nejméně dvěma entitami spojenými například prostřednictvím počítačové sítě.
Zahrnuje
- proceduru navázání spojení
- adresování
- přenos dat
- zpracování chyb
- řízení toku komunikace
- přidělování prostředků
Protokol může být standardizovaný (podle RFC, IEEE, CCITT, ISO, apod.) nebo soukromý (anglicky proprietary).
Pro formální popis protokolů se používají:
- stavové automaty – konečné automaty
- gramatiky – formální jazyky, SDL
- grafové modely – Petriho sítě, data-flow diagramy
- algebraické prostředky – CCS, stopy
Formální popis je důležitý pro verifikaci protokolu.
Protokol – Definuje pravidla komunikace. Komunikuje s partnerskou vrstvou jiného uzlu. Určuje způsob, jakým je organizovaná vrstva v OSI.
