This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Models of Communication Services: A Case Study
August 1993 (vol. 26 no. 8)
pp. 37-47

Formal methods can play an important role in exploring new communication systems services. The telecommunications and data communications communities have long accepted the need for formally describing protocols, but only recently have they considered formally describing a service by abstracting specifications from a particular protocol that provides that service. Specifying a service at an abstract level meets two important needs: standardization and customization. The author presents a simplified atomic multicast as an example service and input/output automata for the formal model. He shows how to represent the service specification, a protocol, and implementations of that protocol. He also sketches how to prove the correctness of the protocol and implementation, that is, how to show that the specified service is actually provided.

Citation:
Alan Feteke, "Formal Models of Communication Services: A Case Study," Computer, vol. 26, no. 8, pp. 37-47, Aug. 1993, doi:10.1109/2.223535
Usage of this product signifies your acceptance of the Terms of Use.