Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
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.
Preface xiChapter 1. Why Use UML to Model Network Protocols? 11.1. Modeling network protocols 11.2. UML as a common language 141.3. Chapter summary 281.4. Bibliography 28Chapter 2. Simple Transmission 312.1. Introduction 312.2. Echo 312.3. Unidirectional: simple data sending 422.4. Full duplex: simple data sending 522.5. Chapter summary 732.6. Bibliography 73Chapter 3. Simple Chat Application 753.1. Introduction 753.2. Requirements 753.3. Analysis 763.4. Architecture design 883.5. Detailed design 893.6. Simple chat simulation 1013.7. Chapter summary 1303.8. Bibliography 131Chapter 4. Non-reliable Transmission Mediums 1334.1. Introduction 1334.2. Requirements 1344.3. Analysis 1354.4. Architecture design 1474.5. Detailed design 1504.6. Validation 1604.7. Chapter summary 1794.8. Bibliography 179Chapter 5. Simple Transport Protocol 1815.1. Introduction 1815.2. Requirements 1825.3. The Alternating Bit Protocol 1825.4. Analysis 1915.5. Architecture design 2005.6. Detailed design 2045.7. Simulations 2175.8. Further considerations 2355.9. Chapter summary 2385.10. Bibliography 239Appendix. Detailed Diagrams of the Simple Transport Protocol 241A.1. State machines for the Application Data Unit Manager (Simple Transport Protocol) 242A.2. Detailed simulations of the Simple Transport Protocol 245Index 259
"Students and engineers in computer science and related fields may find the material of interest." (Book News, 1 October 2011)