In this paper, we present an automatic implementation method by which executable communication programs in C can be generated from protocol specifications in LOTOS. The implementation method consists of two parts: 1) An implementation strategy and 2) a set of translation rules. The first part consists of the basic ideas on how to realize the primary mechanisms in LOTOS specifications. The second part formulates the implementation method by way of the translation rules based on the implementation strategy. The characteristics of our method can be summarized as follows:
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Zixue CHENG, Kaoru TAKAHASHI, Norio SHIRATORI, Shoichi NOGUCHI, "An Automatic Implementation Method of Protocol Specifications in LOTOS" in IEICE TRANSACTIONS on Information,
vol. E75-D, no. 4, pp. 543-556, July 1992, doi: .
Abstract: In this paper, we present an automatic implementation method by which executable communication programs in C can be generated from protocol specifications in LOTOS. The implementation method consists of two parts: 1) An implementation strategy and 2) a set of translation rules. The first part consists of the basic ideas on how to realize the primary mechanisms in LOTOS specifications. The second part formulates the implementation method by way of the translation rules based on the implementation strategy. The characteristics of our method can be summarized as follows:
URL: https://global.ieice.org/en_transactions/information/10.1587/e75-d_4_543/_p
Copy
@ARTICLE{e75-d_4_543,
author={Zixue CHENG, Kaoru TAKAHASHI, Norio SHIRATORI, Shoichi NOGUCHI, },
journal={IEICE TRANSACTIONS on Information},
title={An Automatic Implementation Method of Protocol Specifications in LOTOS},
year={1992},
volume={E75-D},
number={4},
pages={543-556},
abstract={In this paper, we present an automatic implementation method by which executable communication programs in C can be generated from protocol specifications in LOTOS. The implementation method consists of two parts: 1) An implementation strategy and 2) a set of translation rules. The first part consists of the basic ideas on how to realize the primary mechanisms in LOTOS specifications. The second part formulates the implementation method by way of the translation rules based on the implementation strategy. The characteristics of our method can be summarized as follows:
keywords={},
doi={},
ISSN={},
month={July},}
Copy
TY - JOUR
TI - An Automatic Implementation Method of Protocol Specifications in LOTOS
T2 - IEICE TRANSACTIONS on Information
SP - 543
EP - 556
AU - Zixue CHENG
AU - Kaoru TAKAHASHI
AU - Norio SHIRATORI
AU - Shoichi NOGUCHI
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E75-D
IS - 4
JA - IEICE TRANSACTIONS on Information
Y1 - July 1992
AB - In this paper, we present an automatic implementation method by which executable communication programs in C can be generated from protocol specifications in LOTOS. The implementation method consists of two parts: 1) An implementation strategy and 2) a set of translation rules. The first part consists of the basic ideas on how to realize the primary mechanisms in LOTOS specifications. The second part formulates the implementation method by way of the translation rules based on the implementation strategy. The characteristics of our method can be summarized as follows:
ER -