Synthesis of Protocol Specifications for Design of Responsive Protocols

Hirotaka IGARASHI; Yoshiaki KAKUDA; Tohru KIKUNO

Synthesis of Protocol Specifications for Design of Responsive Protocols

Hirotaka IGARASHI, Yoshiaki KAKUDA, Tohru KIKUNO

Full Text Views

0

Cite this

Summary :

Responsive protocols are communication protocols which ensure timely and reliable recovery when error events occur. Protocol synthesis for design of responsive protocols is to derive a protocol specification based on a service specification. In the previous methods, if the service specification includes simultaneous transmission of primitives from a high layer to a low layer through different service access points, then the derived protocol specification includes protocol errors of unspecified reception caused by message collisions. Also, they only includes a recovery function such as retransmission of messages. This is not enough for recovery from abnormal states due to coordination loss. This paper extends a class of derived protocol specifications to include message collisions which usually occur in real communication protocols. Furthermore, this paper proposes a new method for synthesis of a responsive protocal specification derived from a service specification such that the derived protocol specification is free from protocol erros of unspecified receptions caused by message collisions and includes two recovery functions: message retransmission and checkpoint restart functions.

Publication: IEICE TRANSACTIONS on Information Vol.E76-D No.11 pp.1375-1385

Publication Date: 1993/11/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Issue on Responsive Computer Systems)

Category

Cite this

Copy

Hirotaka IGARASHI, Yoshiaki KAKUDA, Tohru KIKUNO, "Synthesis of Protocol Specifications for Design of Responsive Protocols" in IEICE TRANSACTIONS on Information, vol. E76-D, no. 11, pp. 1375-1385, November 1993, doi: .
Abstract: Responsive protocols are communication protocols which ensure timely and reliable recovery when error events occur. Protocol synthesis for design of responsive protocols is to derive a protocol specification based on a service specification. In the previous methods, if the service specification includes simultaneous transmission of primitives from a high layer to a low layer through different service access points, then the derived protocol specification includes protocol errors of unspecified reception caused by message collisions. Also, they only includes a recovery function such as retransmission of messages. This is not enough for recovery from abnormal states due to coordination loss. This paper extends a class of derived protocol specifications to include message collisions which usually occur in real communication protocols. Furthermore, this paper proposes a new method for synthesis of a responsive protocal specification derived from a service specification such that the derived protocol specification is free from protocol erros of unspecified receptions caused by message collisions and includes two recovery functions: message retransmission and checkpoint restart functions.
URL: https://global.ieice.org/en_transactions/information/10.1587/e76-d_11_1375/_p

Copy

@ARTICLE{e76-d_11_1375,
author={Hirotaka IGARASHI, Yoshiaki KAKUDA, Tohru KIKUNO, },
journal={IEICE TRANSACTIONS on Information},
title={Synthesis of Protocol Specifications for Design of Responsive Protocols},
year={1993},
volume={E76-D},
number={11},
pages={1375-1385},
abstract={Responsive protocols are communication protocols which ensure timely and reliable recovery when error events occur. Protocol synthesis for design of responsive protocols is to derive a protocol specification based on a service specification. In the previous methods, if the service specification includes simultaneous transmission of primitives from a high layer to a low layer through different service access points, then the derived protocol specification includes protocol errors of unspecified reception caused by message collisions. Also, they only includes a recovery function such as retransmission of messages. This is not enough for recovery from abnormal states due to coordination loss. This paper extends a class of derived protocol specifications to include message collisions which usually occur in real communication protocols. Furthermore, this paper proposes a new method for synthesis of a responsive protocal specification derived from a service specification such that the derived protocol specification is free from protocol erros of unspecified receptions caused by message collisions and includes two recovery functions: message retransmission and checkpoint restart functions.},
keywords={},
doi={},
ISSN={},
month={November},}

Copy

TY - JOUR
TI - Synthesis of Protocol Specifications for Design of Responsive Protocols
T2 - IEICE TRANSACTIONS on Information
SP - 1375
EP - 1385
AU - Hirotaka IGARASHI
AU - Yoshiaki KAKUDA
AU - Tohru KIKUNO
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E76-D
IS - 11
JA - IEICE TRANSACTIONS on Information
Y1 - November 1993
AB - Responsive protocols are communication protocols which ensure timely and reliable recovery when error events occur. Protocol synthesis for design of responsive protocols is to derive a protocol specification based on a service specification. In the previous methods, if the service specification includes simultaneous transmission of primitives from a high layer to a low layer through different service access points, then the derived protocol specification includes protocol errors of unspecified reception caused by message collisions. Also, they only includes a recovery function such as retransmission of messages. This is not enough for recovery from abnormal states due to coordination loss. This paper extends a class of derived protocol specifications to include message collisions which usually occur in real communication protocols. Furthermore, this paper proposes a new method for synthesis of a responsive protocal specification derived from a service specification such that the derived protocol specification is free from protocol erros of unspecified receptions caused by message collisions and includes two recovery functions: message retransmission and checkpoint restart functions.
ER -