Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
A language-based approach to protocol implementation
Abbott M., Peterson L. IEEE/ACM Transactions on Networking1 (1):4-19,1993.Type:Article
Date Reviewed: Sep 1 1994

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
Bookmark and Share
 
Network Protocols (C.2.2 )
 
 
Specialized Application Languages (D.3.2 ... )
 
 
Network Architecture And Design (C.2.1 )
 
Would you recommend this review?
yes
no
Other reviews under "Network Protocols": Date
An implementation of an automated protocol synthesizer (APS) and its application to the X.21 protocol
Ramamoorthy C. (ed), Dong S., Usuda Y. IEEE Transactions on Software Engineering SE-11(9): 886-908, 1985. Type: Article
Apr 1 1986
From state machines to temporal logic: specification methods for protocol standards
Schwartz R., Melliar-Smith P.  The analysis of concurrent systems (, Cambridge,651985. Type: Proceedings
Aug 1 1986
Reaching approximate agreement in the presence of faults
Dolev D., Lynch N., Pinter S., Stark E., Weihl W. Journal of the ACM 33(3): 499-516, 1986. Type: Article
Aug 1 1988
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy