سامانه‌های مخابراتی با UML 2: مدل‌سازی و تحلیل پروتکل‌های شبکه ۲۰۱۳
Communicating Systems with UML 2: Modeling and Analysis of Network Protocols 2013

این کتاب رویکردی عملی برای مدل‌سازی و تحلیل پروتکل‌های ارتباطی با استفاده از UML 2 ارائه می‌دهد. پروتکل‌های شبکه همواره با دیدگاهی متمرکز بر مکانیزم‌های جزئی و مدل‌های اولیه ارائه می‌شوند. هدف این کتاب ارائه مبنایی است که هر کسی برای مدل‌سازی و اعتبارسنجی پروتکل‌های خود به آن نیاز دارد. این کتاب از یک رویکرد عملی پیروی می‌کند و مثال‌های متعددی برای توصیف و تحلیل مکانیزم‌های اساسی و شناخته‌شده شبکه برای پروتکل‌ها ارائه می‌دهد.

در ابتدا، کتاب نشان می‌دهد که چگونه مسائل اصلی پروتکل (مانند مشکلات همگام‌سازی، تعاملات سرویس‌گیرنده-سرویس‌دهنده، سازماندهی و رفتار لایه‌ها و غیره) را به روشی آسان و قابل‌درک توصیف و اعتبارسنجی کنیم. برای این منظور، کتاب مثال‌های اصلی و سنتی شبکه (مانند جریان‌های یک‌طرفه، ارتباطات دوطرفه کامل، بازیابی خطا، بیت متناوب) را در نظر گرفته و ارائه می‌کند. در نهایت، خروجی‌های حاصل از چند شبیه‌سازی از این مدل‌های UML ارائه می‌شود.

کتاب‌های دیگر معمولاً فقط بر آموزش UML یا تحلیل پروتکل‌های شبکه تمرکز دارند، در حالی که این کتاب به خوانندگان این امکان را می‌دهد تا پروتکل‌های شبکه را با استفاده از یک دیدگاه جدید مدل‌سازی کرده و این دو دیدگاه را ادغام کنند، بنابراین درک و توسعه آن‌ها را تسهیل می‌کند.

هر دانشجوی دانشگاهی که در رشته علوم کامپیوتر تحصیل می‌کند، یا کسانی که در مخابرات، سیستم‌های تعبیه‌شده یا شبکه‌سازی کار می‌کنند، این کتاب را یک افزودنی بسیار مفید خواهند یافت.

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.