Book description
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.
