Publication Details

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: Czech Technical University, 2001, pp. 59-62. ISBN 1-56555-225-3. Available from: http://www.fee.vutbr.cz/~matousp/doc/2001/esm01.html
Czech title
Použití podmínkových gramatik pro specifikaci a verifikaci komunkačních protokolů
Type
conference paper
Language
english
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT)
URL
Keywords

protocol, formal method, conditional grammar, verification, communication

Abstract

Formal specification of communication protocols is not a new problem. It seems to be a routine to formally specify protocols using regular grammars, finite state machines, extended FSM, Petri nets or other tools. These can partially satisfy designer's requirements for protocol design but mostly they can be applied only on a simple version of a protocol. To describe real-world application protocols with protocol parameters, time constraints, synchronization in distributed environment seems to be difficult by these means. The paper presents a new approach to protocol specification based on conditional grammars. It demonstrates that proposed formal specification is both intuitive and descriptive, and it offers uniform formal approach to different classes of protocols. This specification is a good base for following simulation and verification.

Annotation

Formal specification of communication protocols is not a new problem. It seems to be a routine to formally specify protocols using regular grammars, finite state machines, extended FSM, Petri nets or other tools. These can partially satisfy designer's requirements for protocol design but mostly they can be applied only on a simple version of a protocol. To describe real-world application protocols with protocol parameters, time constraints, synchronization in distributed environment seems to be difficult by these means. The paper presents a new approach to protocol specification based on conditional grammars. It demonstrates that proposed formal specification is both intuitive and descriptive, and it offers uniform formal approach to different classes of protocols. This specification is a good base for following simulation and verification.

Published
2001
Pages
59-62
Proceedings
Modelling and Simulation 2001
Conference
15th European Simulation Multiconference, Praha, CZ
ISBN
1-56555-225-3
Publisher
Czech Technical University
Place
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"
}
Back to top