Detail publikace

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

MATOUŠEK Petr. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In: Modelling and Simulation 2001. Praha: České vysoké učení technické, 2001, s. 59-62. ISBN 1-56555-225-3. Dostupné z: http://www.fee.vutbr.cz/~matousp/doc/2001/esm01.html
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
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
URL
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
Konference
15th European Simulation Multiconference, Praha, CZ
ISBN
1-56555-225-3
Vydavatel
České vysoké učení technické
Místo
Praha, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6144,
   author = "Petr Matou\v{s}ek",
   title = "The Use of Conditional Grammars for Specifying and Verifying Communication Protocols",
   pages = "59--62",
   booktitle = "Modelling and Simulation 2001",
   year = 2001,
   location = "Praha, CZ",
   publisher = "Czech Technical University",
   ISBN = "1-56555-225-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6144"
}
Nahoru