Communicating Systems with UML 2 Modeling and Analysis of Network Protocols

by Barrera, David Garduno; Diaz, Michel

• ISBN13: 9781848212992
• ISBN10: 1848212992
• Edition: 1st
• Format: Hardcover
• Copyright: 2011-07-12
• Publisher: Wiley-ISTE

Summary

This book provides a practical approach to modeling and analyzing communication protocols using UML. It shows how to describe and validate main protocol issues (such as synchronization problems, client-server interactions, layer organization, and behavior) in an easy and understandable format. Furthermore, the book considers and presents the main traditional network examples (e.g., unidirectional flows, full-duplex communication, error recovering, and alternating bit), while summarily detailing the outputs resulting from a few simulations of these UML models.

Author Biography

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.

Table of Contents

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