Offering a practical approach to modeling and analyzing communication protocols using UML 2, this book gives the basis needed to model and validate protocols. It is based on a practical approach and includes illustrative examples for the description and analysis of well known basic network mechanisms for protocols.