David Garduno Barrera, Michel Diaz

Communicating Systems with UML 2

Modeling and Analysis of Network Protocols

• Gebundenes Buch

Produktbeschreibung

This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and starting models. This book aims at giving the basis needed for anybody to model and validate their own protocols. It follows a practical approach and gives many examples for the description and analysis of well known basic network mechanisms for protocols. The book firstly shows how to describe and validate the main protocol issues (such as synchronization problems, client-server interactions, layer organization and behavior, etc.) in an easy and understandable way. To do so, the book considers and presents the main traditional network examples (e.g. unidirectional flows, full-duplex com-munication, error recovering, alternating bit). Finally, it presents the outputs resulting from a few simulations of these UML models. Other books usually only focus either on teaching UML or on analyzing network protocols, however this book will allow readers to model network protocols using a new perspective and integrating these two views, so facilitating their comprehension and development. Any university student studying in the field of computing science, or those working in telecommunications, embedded systems or networking will find this book a very useful addition.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Wiley
• Seitenzahl: 288
• Erscheinungstermin: 12. Juli 2011
• Englisch
• Abmessung: 234mm x 157mm x 20mm
• Gewicht: 567g
• ISBN-13: 9781848212992
• ISBN-10: 1848212992
• Artikelnr.: 33675319

Autorenporträt

David Garduno Barrera is a consultant and trainer. Michel Diaz is the Director of Research at CNRS and a senior researcher at LAAS/CNRS in Toulouse, France.

Inhaltsangabe

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