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 (00) 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 modijed TTCN notation is used for message sequence encoding. This demonstrates a formal, practical approach to the development of a protocol implementation through 00 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 (XBP) is also discussed.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.