Detail výsledku
The Use of Conditional Grammars for Specifying and Verifying Communication Protocols
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.
protocol, formal method, conditional grammar, verification, communication
@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"
}