Publication detail

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

MATOUŠEK, P.

Original Title

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

Type

conference paper

Language

English

Original 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.

Keywords

protocol, formal method, conditional grammar, verification, communication

Authors

MATOUŠEK, P.

Released

1. 1. 2001

Publisher

Czech Technical University

Location

Praha

ISBN

1-56555-225-3

Book

Modelling and Simulation 2001

Pages from

59

Pages to

62

Pages count

4

URL

http://www.fit.vutbr.cz/~matousp/doc/2001/esm01.html, http://www.fit.vutbr.cz/~matousp/doc/2001/esm01.ps

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.fit.vutbr.cz/~matousp/doc/2001/esm01.html, http://www.fit.vutbr.cz/~matousp/doc/2001/esm01.ps"
}