Detail publikace

Případová studiie: Model ABP v PNtalku

KŘENA, B.

Český název

Případová studiie: Model ABP v PNtalku

Anglický název

A Case Study: Modelling Alternating Bit Protocol by PNtalk

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

en

Originální abstrakt

The alternating bit protocol (ABP) is a simple communication protocol that is able to cover unreliable mediums. ABP has been modelled in many modelling formalisms because it has most of important features of communication protocols although it is very simple. In this paper, we show one of possible models of ABP in modelling language called PNtalk that has been developed in our faculty.

Český abstrakt

Protokol ABP (Alternating Bit Protocol) je jednoduchý komunikační protokol, který je schopen přenášet zprávy i přes nespolehlivé přenosové médium. Tento protokol byl modelován v řadě modelovacích jazyků, protože přes svou jednoduchost má řadu vlastností důležitých pro komunikační protokoly. V článku je prezentován model protokolu ABP v modelovacím jazyce PNtalk, který byl vyvinut na naší fakultě.

Anglický abstrakt

The alternating bit protocol (ABP) is a simple communication protocol that is able to cover unreliable mediums. ABP has been modelled in many modelling formalisms because it has most of important features of communication protocols although it is very simple. In this paper, we show one of possible models of ABP in modelling language called PNtalk that has been developed in our faculty.

Klíčová slova česky

Protokol ABP, systém PNtalk, případová studie.

Klíčová slova anglicky

Alternating bit protocol, ABP, PNtalk, case study.

Rok RIV

2002

Vydáno

22.04.2002

Nakladatel

Marq software s.r.o.

Místo

Ostrava

ISBN

80-85988-71-2

Kniha

Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems

Strany od–do

65–72

Počet stran

8

BIBTEX


@inproceedings{BUT9830,
  author="Bohuslav {Křena},
  title="A Case Study: Modelling Alternating Bit Protocol by PNtalk",
  booktitle="Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems",
  year="2002",
  month="April",
  pages="65--72",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-71-2"
}