Detail publikace
The Use of Conditional Grammars for Specifying and Verifying Communication Protocols
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ů.
@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" }