Telecommunication networks: protocols, modeling and analysis
Telecommunication networks: protocols, modeling and analysis
Data Communications Computer Networks & OSI
Data Communications Computer Networks & OSI
Object-oriented software engineering
Object-oriented software engineering
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.)
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
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
Radio Protocol Architecture of the CODIT UMTS System
Proceedings of the 1994 International Zurich Seminar on Digital Communications: Mobile Communications: Advanced Systems and Components
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
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Operating Systems and Communication Protocols
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Hi-index | 0.00 |
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 underlying generic class structures and behaviour. Petri Nets (PNs) are used to derive re-useable model elements and a 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. Our utilisation of PNs in the context of object based modelling allows for isolation of the behavioural characterisation of objects into a separate design plane, treated as a meta-level object control. This separation permits greater execution flexibility of the underlying object models. It is that very aspect of our modelling approach which can be utilised in software implementations where dynamically determined “re-programming” (i.e., change of procedures) is needed. For example, one of the requirements in wireless networking software is the ability to cope with ever-changing transmission/reception conditions and that, in turn, creates greatly varying error rates. Similarly, handoff procedures create situations where dynamically determined change of operational modes is required. To illustrate the modelling concepts, 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. The final example demonstrates how meta-level object control (PNs) allows for the dynamic selection of different ARQ based algorithms.