Detail publikace

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. Modelling and Simulation 2001. Praha: Czech Technical University, 2001. p. 59-62. ISBN: 1-56555-225-3.
Název česky
Použití podmínkových gramatik pro specifikaci a verifikaci komunkačních protokolů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
URL
Klíčová slova

protocol, formal method, conditional grammar, verification, communication

Abstrakt

Formální specifikace komunikačních protokolů není nový problém. Protokoly se běžně popisují pomocí regulárních gramatik, konečných automatů, Petriho sítí a dalších nástrojů. Tyto prostředky mohou částečně pokrýt požadavky návrháře, ale většinou je lze použít pouze na jednoduché verze protokolů. Pro popis reálných aplikačních protokolů s parametry, časovými omezeními a synchronizací v distribuovaném prostředí tyto formální přístupy nestačí. Tento článek představuje nový způsob popisu protokolů pomocí podmínkových gramatik. Ukazuje, že navržený formalismus je dostatečně intuitivní i popisný a umožňuje jednotný formální přístup k různým třídám protokolů. Tato specifikace může být dobrým základem pro následnou simulaci a verifikaci protokolů.

Rok
2001
Strany
59–62
Sborník
Modelling and Simulation 2001
ISBN
1-56555-225-3
Vydavatel
Czech Technical University
Místo
Praha
BibTeX 
@inproceedings{BUT5437,
  author="Petr {Matoušek}",
  title="The Use of Conditional Grammars for Specifying and Verifying Communication Protocols",
  booktitle="Modelling and Simulation 2001",
  year="2001",
  pages="59--62",
  publisher="Czech Technical University",
  address="Praha",
  isbn="1-56555-225-3",
  url="http://www.fee.vutbr.cz/~matousp/doc/2001/esm01.html"
}
Nahoru