User: Guest  Login
Title:

From Peer to Service - Object-Oriented Protocol Refinement in Kannel

Document type:
Technical Report
Author(s):
Kari Grano; Jukka Paakki
Abstract:
The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protocol can be developed towards a concrete implementation by gradually refining the abstract messages and the involved state machines, moving systematically from layer to layer over the subject application. The character...     »
Keywords:
protocol engineering; association refinement; finite state machines; object-oriented languages
Year:
1996
Year / month:
1996-05-01 00:00:00
Pages:
18
 BibTeX