Publication result 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

English Title

The Use of Conditional Grammars for Specifying and Verifying Communication Protocols

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

Formal specification of communication protocols is not a new problem.It seems to be a routine to formally specify protocols using regulargrammars, finite state machines, extended FSM, Petri nets or othertools. These can partially satisfy designer's requirements for protocoldesign but mostly they can be applied only on a simple version of aprotocol. To describe real-world application protocols with protocolparameters, time constraints, synchronization in distributedenvironment seems to be difficult by these means. The paper presents anew approach to protocol specification based on conditional grammars.It demonstrates that proposed formal specification is both intuitiveand descriptive, and it offers uniform formal approach to differentclasses of protocols. This specification is a good base for followingsimulation and verification.

English abstract

Formal specification of communication protocols is not a new problem.It seems to be a routine to formally specify protocols using regulargrammars, finite state machines, extended FSM, Petri nets or othertools. These can partially satisfy designer's requirements for protocoldesign but mostly they can be applied only on a simple version of aprotocol. To describe real-world application protocols with protocolparameters, time constraints, synchronization in distributedenvironment seems to be difficult by these means. The paper presents anew approach to protocol specification based on conditional grammars.It demonstrates that proposed formal specification is both intuitiveand descriptive, and it offers uniform formal approach to differentclasses of protocols. This specification is a good base for followingsimulation and verification.

Keywords

protocol, formal method, conditional grammar, verification, communication

Key words in English

protocol, formal method, conditional grammar, verification, communication

Authors

MATOUŠEK, P.

Released

01.01.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.fee.vutbr.cz/~matousp/doc/2001/esm01.html

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.fee.vutbr.cz/~matousp/doc/2001/esm01.html"
}