توضیحات
Complex communicating computer systemscomputers connected by data networks and in constant communication with their environmentsdo not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects.
The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.
————————————————————–
ترجمه ماشینی :
ارتباطات پیچیده سیستم های رایانه ای متصل به شبکه های داده و در برقراری ارتباط مداوم با محیط آنها همیشه مطابق آنچه انتظار می رفت رفتار نمی کنند. این کتاب مدل سازی رفتاری ، یک رویکرد دقیق به مشخصات رفتاری و تأیید سیستم های همزمان و توزیع شده را معرفی می کند. این یکی از تکنیک های بسیار معدودی است که قادر به مدل سازی تعامل سیستم در یک سطح از انتزاع کافی برای تعامل و تجزیه و تحلیل است. این کتاب با ارائه هر دو نظریه ریاضی و برنامه های کاربردی در دنیای واقعی ، این کتاب برای استفاده در کلاس و به عنوان مرجع برای معماران سیستم مناسب است.
این کتاب پایه و اساس مدل سازی رفتاری را با استفاده از جبر فرآیند ، سیستم های انتقال ، انواع داده های انتزاعی و منطق معین پوشش می دهد. تمرینات و نمونه ها بحث نظری را تقویت می کنند. این کتاب یک زبان مدل سازی ، MCRL2 را معرفی می کند ، که توضیحات مختصر از حتی پیچیده ترین الگوریتم ها و پروتکل های توزیع شده را امکان پذیر می کند. خوانندگان با استفاده از بدیهیات رفتاری و روشهای اثبات مانند تلاقی ، مخروط و کانونها ، یاد می گیرند که چگونه چنین الگوریتم هایی را با مشخصات خود اثبات کنند. مشخصات در MCRL2 را می توان در برابر نیازهای آنها شبیه سازی ، تجسم یا تأیید کرد. یک ابزار گسترده MCRL2 برای تأیید مکانیکی الزامات به صورت آنلاین بصورت آنلاین در دسترس است. این مجموعه ابزار با موفقیت برای طراحی و تجزیه و تحلیل نرم افزارهای صنعتی که از برنامه های مراقبت های بهداشتی گرفته تا شتاب دهنده های ذرات در CERN متغیر است ، استفاده شده است. پیوست ها مطالب مربوط به معادلات و نماد و همچنین راه حل های ورزشی را ارائه می دهند.
tag : دانلود کتاب مدل سازی و تجزیه و تحلیل سیستم های برقراری ارتباط , Download مدل سازی و تجزیه و تحلیل سیستم های برقراری ارتباط , دانلود مدل سازی و تجزیه و تحلیل سیستم های برقراری ارتباط , Download Modeling and Analysis of Communicating Systems Book , مدل سازی و تجزیه و تحلیل سیستم های برقراری ارتباط دانلود , buy مدل سازی و تجزیه و تحلیل سیستم های برقراری ارتباط , خرید کتاب مدل سازی و تجزیه و تحلیل سیستم های برقراری ارتباط , دانلود کتاب Modeling and Analysis of Communicating Systems , کتاب Modeling and Analysis of Communicating Systems , دانلود Modeling and Analysis of Communicating Systems , خرید Modeling and Analysis of Communicating Systems , خرید کتاب Modeling and Analysis of Communicating Systems ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.