| 来源类型 | Monograph (IIASA Working Paper)
|
| 规范类型 | 论文
|
| On the Specification and Verification of Communication Protocols. |
| Petrenko A
|
| 发表日期 | 1980
|
| 出版者 | IIASA, Laxenburg, Austria: WP-80-060
|
| 出版年 | 1980
|
| 语种 | 英语
|
| 摘要 | The purpose of this paper is to consider the most complicated problem related to computer network design, and especially to the so-called "gateways": the definition and estimation of the logical correctness of protocols. While the simple terminal connection of a computer to a computer system necessitates only the emulation of the chosen terminal, the very complicated interconnection of several computer networks requires the definition and implementation of a whole hierarchy of protocols. Naturally, all the protocols of each level must be rigorously specified and carefully verified before being implemented into soft-, firm-, or hardware. In order to achieve this goal, a technique based on a top-down approach, involving stepwise refinement and verification of the protocol actions in various situations, is proposed in this paper. This technique requires the formalism of a special kind of Petri net: the Petri net with enabling predicates. |
| 主题 | General Research (GEN)
|
| URL | http://pure.iiasa.ac.at/id/eprint/1409/
|
| 来源智库 | International Institute for Applied Systems Analysis (Austria)
|
| 资源类型 | 智库出版物
|
| 条目标识符 | http://119.78.100.153/handle/2XGU8XDN/122031
|
推荐引用方式
GB/T 7714 |
Petrenko A. On the Specification and Verification of Communication Protocols.. 1980.
|
|
文件名：
|
WP-80-060.pdf
|
|
格式：
|
Adobe PDF
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
