The Third Workshop on Future Trends of Distributed Computing Systems (1992)

Taipei, Taiwan

April 14, 1992 to April 16, 1992

ISBN: 0-8186-2755-7

pp: 34-40

A. Benslimane , Lab. d'Inf., UFR des Sci. et Tech., Besancon, France

ABSTRACT

Realizing the need for a precise model of computer communications protocols, many different approaches are being investigated. The author presents an algebraic approach to formally specify protocols composed of many modules. The protocols studied are described in the model of finite state machine and then transformed into a set of process equations. The main concept consists in carrying out transformations on these equations in order to prove some properties. The reachability analysis can then be defined in the form of algebraic transformation rules applied to the global system states. The properties to verify during the communication between processes are the detection of some logical errors such as deadlocks, blocking or unspecified receptions.<>

INDEX TERMS

distributed processing, finite automata, formal specification, protocols

CITATION

A. Benslimane, "An algebraic approach to validate communication protocols,"

*The Third Workshop on Future Trends of Distributed Computing Systems(FTDCS)*, Taipei, Taiwan, , pp. 34-40.

doi:10.1109/FTDCS.1992.217517

CITATIONS

SEARCH