Recoverability of Communication Protocols—Implications of a Theoretical Study

Philip M. Merlin, David J. Farber

研究成果: Article査読

585 被引用数 (Scopus)

抄録

A study is presented which permits the formal analysis and synthesis of recoverable computer communication protocols. This study is based on a formal representation of processes by a model of computation, the Petri nets (PN‘s). The PN model is generalized to include a representation of the possible failures, and then, the concept of “recoverability” is formally defined. A set of necessary and sufficient conditions which a process must satisfy in order to be recoverable is derived. In the PN model, the processes that satisfy these conditions are shown to have some practical limitations. A new model, the time-Petri net (TPN), is introduced to remove these limitations. This new model allows the introduction of constraints in the execution times of its part. As shown in this paper, the TPN appears to be a suitable model for the study of practical recoverable processes. Several practical communication protocols are formally designed and analyzed using this new model, and some interesting properties of these protocols are formally derived.

本文言語English
ページ(範囲)1036-1043
ページ数8
ジャーナルIEEE Transactions on Communications
24
9
DOI
出版ステータスPublished - 1976 9
外部発表はい

ASJC Scopus subject areas

  • 電子工学および電気工学

フィンガープリント

「Recoverability of Communication Protocols—Implications of a Theoretical Study」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル