This book gives a practical approach to modeling and analyzingcommunication protocols using UML 2. Network protocols are alwayspresented with a point of view focusing on partial mechanisms andstarting models. This book aims at giving the basis needed foranybody to model and validate their own protocols. It follows apractical approach and gives many examples for the description andanalysis of well known basic network mechanisms forprotocols.
The book firstly shows how to describe and validate the mainprotocol issues (such as synchronization problems, client-serverinteractions, layer organization and behavior, etc.) in an easy andunderstandable way. To do so, the book considers and presents themain traditional network examples (e.g. unidirectional flows,full-duplex com-munication, error recovering, alternating bit).Finally, it presents the outputs resulting from a few simulationsof these UML models.
Other books usually only focus either on teaching UML or onanalyzing network protocols, however this book will allow readersto model network protocols using a new perspective and integratingthese two views, so facilitating their comprehension anddevelopment.
Any university student studying in the field of computing science,or those working in telecommunications, embedded systems ornetworking will find this book a very useful addition.
Auflage
Sprache
Verlagsort
Verlagsgruppe
Produkt-Hinweis
Dateigröße
ISBN-13
978-1-118-60217-1 (9781118602171)
Schweitzer Klassifikation
Preface xi
Chapter 1. Why Use UML to Model Network Protocols? 1
1.1. Modeling network protocols 1
1.2. UML as a common language 14
1.3. Chapter summary 28
1.4. Bibliography 28
Chapter 2. Simple Transmission 31
2.1. Introduction 31
2.2. Echo 31
2.3. Unidirectional: simple data sending 42
2.4. Full duplex: simple data sending 52
2.5. Chapter summary 73
2.6. Bibliography 73
Chapter 3. Simple Chat Application 75
3.1. Introduction 75
3.2. Requirements 75
3.3. Analysis 76
3.4. Architecture design 88
3.5. Detailed design 89
3.6. Simple chat simulation 101
3.7. Chapter summary 130
3.8. Bibliography 131
Chapter 4. Non-reliable Transmission Mediums 133
4.1. Introduction 133
4.2. Requirements 134
4.3. Analysis 135
4.4. Architecture design 147
4.5. Detailed design 150
4.6. Validation 160
4.7. Chapter summary 179
4.8. Bibliography 179
Chapter 5. Simple Transport Protocol 181
5.1. Introduction 181
5.2. Requirements 182
5.3. The Alternating Bit Protocol 182
5.4. Analysis 191
5.5. Architecture design 200
5.6. Detailed design 204
5.7. Simulations 217
5.8. Further considerations 235
5.9. Chapter summary 238
5.10. Bibliography 239
Appendix. Detailed Diagrams of the Simple Transport Protocol 241
A.1. State machines for the Application Data Unit Manager (Simple Transport Protocol) 242
A.2. Detailed simulations of the Simple Transport Protocol 245
Index 259
