Protocol Engineering

ویرایش: 1 
نویسندگان: Hartmut König (auth.)  
سری:  
ISBN (شابک) : 9783642291449, 9783642291456 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 535 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

قیمت کتاب (تومان) : 88,000



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

قسمت اول این کتاب به مبانی پروتکل های ارتباطی اختصاص داده شده است و به تشریح آن می پردازد. اصول کار آنها و بطور ضمنی نیز اصول کار شبکه های کامپیوتری. نویسنده به معرفی مفاهیم سرویس، پروتکل، لایه و معماری لایه‌ای می‌پردازد و عناصر اصلی مورد نیاز در توصیف پروتکل‌ها را با استفاده از زبان مدل معرفی می‌کند. او سپس مهمترین توابع پروتکل را ارائه می دهد. بخش دوم به شرح پروتکل‌های ارتباطی می‌پردازد، و مروری بر روش‌های رسمی مختلف، جوهر مهندسی پروتکل ارائه می‌دهد. نویسنده روش‌های توصیف اساسی، مانند ماشین‌های حالت محدود، شبکه‌های پتری، محاسبات فرآیند، و منطق‌های زمانی را معرفی می‌کند که تا حدی به عنوان مدل‌های معنایی برای تکنیک‌های توصیف رسمی استفاده می‌شوند. او سپس یک تکنیک نماینده را برای هر یک از رویکردهای توصیف اصلی، از جمله SDL و LOTOS معرفی می‌کند و استفاده از UML را برای توصیف پروتکل‌ها بررسی می‌کند. بخش سوم چرخه عمر پروتکل و مهم ترین مراحل توسعه را پوشش می دهد و رویکردهایی را برای طراحی سیستماتیک پروتکل، با روش های مختلف تأیید، با تکنیک های اصلی پیاده سازی، و با استراتژی هایی برای آزمایش آنها، به ویژه با تست های انطباق و قابلیت همکاری ارائه می دهد. و زبان توصیف آزمون TTCN. نویسنده از پروتکل نمونه ساده انتقال داده XDT (EXample Data Transfer) در سراسر کتاب به عنوان یک پروتکل مرجع برای مثال زدن تکنیک های مختلف توصیف و نشان دادن روش های مهم اعتبار سنجی و پیاده سازی استفاده می کند.

این کتاب مقدمه ای بر پروتکل های ارتباطی و توسعه آنها برای دانشجویان کارشناسی و کارشناسی ارشد علوم کامپیوتر و فناوری ارتباطات است و همچنین مرجع مناسبی برای مهندسان و برنامه نویسان می باشد. بیشتر فصل‌ها شامل تمرین‌هایی هستند و وب‌سایت همراه نویسنده، مطالب آنلاین بیشتری از جمله شرح رسمی کامل پروتکل XDT و یک شبیه‌سازی متحرک که رفتار آن را تجسم می‌کند، ارائه می‌کند.

Communication protocols form the operational basis of computer networks and tele­communication systems. They are behavior conventions that describe how com­munication systems inter­act with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols.

Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication proto­cols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one represen­tative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocol to exemplify the various description techniques and to demonstrate important validation and implementation approaches.

The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior.

Front Matter....Pages I-XVII
Front Matter....Pages 3-4
1 Services....Pages 5-27
2 Protocols....Pages 29-52
3 Layers....Pages 53-63
4 Layered architectures....Pages 65-76
5 Protocol functions....Pages 77-106
6 Case study: The Internet protocol stack....Pages 107-128
Front Matter....Pages 129-130
7 Formal description methods....Pages 131-158
8 Formal description techniques....Pages 159-280
Front Matter....Pages 281-282
9 Protocol development process....Pages 283-287
10 Design....Pages 289-298
11 Verification....Pages 299-339
12 Performance evaluation....Pages 341-349
13 Implementation....Pages 351-384
14 Testing....Pages 385-484
15 Outlook....Pages 485-489
Back Matter....Pages 491-525