The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1993 vol.26)
pp: 37-47
ABSTRACT
<p>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.</p>
CITATION
Alan Feteke, "Formal Models of Communication Services: A Case Study", Computer, vol.26, no. 8, pp. 37-47, August 1993, doi:10.1109/2.223535
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool