Petri nets in software engineering
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Data Communications Computer Networks & OSI
Data Communications Computer Networks & OSI
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
A language-based approach to protocol implementation
IEEE/ACM Transactions on Networking (TON)
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Object-Oriented Conceptual Modeling
Object-Oriented Conceptual Modeling
Primer in Petri Net Design
FDTs for open distributed systems, a retrospective and a prospective view
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
ADAPTIVE - An Object-Oriented Framework for Flexible and Adaptive Communication Protocols
Proceedings of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking IV
Operating Systems and Communication Protocols
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
Hi-index | 0.00 |
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.