Detail publikace

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

MATOUŠEK, P.

Originální název

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

protocol, formal method, conditional grammar, verification, communication

Autoři

MATOUŠEK, P.

Vydáno

1. 1. 2001

Nakladatel

Czech Technical University

Místo

Praha

ISBN

1-56555-225-3

Kniha

Modelling and Simulation 2001

Strany od

59

Strany do

62

Strany počet

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"
}