A hybrid approach to design correct communication protocols
作者:
Ye‐In Chang,
Jui‐Hsiang Chen,
期刊:
Journal of the Chinese Institute of Engineers
(Taylor Available online 1996)
卷期:
Volume 19,
issue 1
页码: 81-91
ISSN:0253-3839
年代: 1996
DOI:10.1080/02533839.1996.9677767
出版商: Taylor & Francis Group
关键词: computer networks;communication protocols;distributed systems;protocol synthesis;protocol validation
数据来源: Taylor
摘要:
A protocol is a set of rules which govern the interaction between communicating machines. Protocol analysis and synthesis are two approaches to guarantee that the communication between two machines satisfies progress properties. Although the analysis approach is much easier to design and more flexible than the synthesis approach for general cases, the analysis approach usually suffers the state space problem. Moreover, the analysis approach can be used to detect logical errors in the protocol but not to correct those errors, while the synthesis approach can produce a correct protocol. To make a compromise between these two approaches and have advantage of both approaches, in this paper, we propose an algorithm to design correct protocols by applying both approaches. Given a protocol, we first apply the analysis approach to construct two machines which satisfy certain conditions. Then, we apply the synthesis approach to detect possible errors and provide the designer several choices to correct the errors.
点击下载:
PDF (761KB)
返 回