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.

Klappentext

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.

Inhalt

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