Computer Communications and Networks, International Conference on (1995)
Las Vegas, Nevada, USA
Sept. 20, 1995 to Sept. 23, 1995
A.A. Hanish , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Vic., Australia
T.S. Dillon , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Vic., Australia
Abstract: The main motivation for the present work stems from the wide gap which exists between the research efforts devoted to developing formal descriptions for communication protocols and the effective development methodologies used in industrial implementations. We apply object-oriented (OO) modelling principles to networking protocols, exploring the potential for producing re-useable software modules by discovering the generic underlying class structures and behaviour. Petri nets (PNs) are used for deriving re-useable model elements and the slightly modified TTCN notation is used for message sequence encoding. This demonstrates a formal, practical approach to the development of a protocol implementation through OO modelling. The paper addresses the problem of inter-layer communication among multiple protocol entities (PEs), assuming the standard ISO/OSI Reference Model. A generalised model called the inter-layer communication (ILC) model is proposed. An example of a PE based on the alternating-bit protocol (ABP) is also discussed.
protocols; object-oriented modelling; communication protocols; formal descriptions; industrial implementations; networking protocols; reuseable software modules; Petri nets; reuseable model elements; message sequence encoding; protocol implementation; protocol entities; ISO/OSI Reference Model; generalised model; interlayer communication model; alternating bit protocol; modified TTCN notation
A. Hanish and T. Dillon, "Object-oriented modelling of communication protocols for re-use," Computer Communications and Networks, International Conference on(ICCCN), Las Vegas, Nevada, USA, 1995, pp. 0018.