Computing Reviews

A language-based approach to protocol implementation
Abbott M., Peterson L. IEEE/ACM Transactions on Networking1(1):4-19,1993.Type:Article
Date Reviewed: 09/01/94

The main features and benefits of Morpheus, a specialized language for the implementation of protocols, are described. The paper has a clear and classical layout. The introduction summarizes the contents of the paper and states its purpose. A short presentation of related work follows. The architectural biases for Morpheus are given, which helps the reader understand the approach adopted by the authors. A full presentation of the topic follows. The authors intend to demonstrate that their innovations concerning the implementation of protocols, by using a specialized language, have many benefits for designers. They do this by first explaining how the features of the language are exploited, and then presenting the experimental results. Several categories of protocols are discussed. For each category, an example program is presented, and the facilities offered by the language are specified. Finally, the authors compare their method with the automatic generation of protocols from their formal specifications.

Reviewer:  V. Cristea Review #: CR118013

Reproduction in whole or in part without permission is prohibited.   Copyright 2024 ComputingReviews.com™
Terms of Use
| Privacy Policy