توضیحات
Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.
In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.
Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.
————————————————————–
ترجمه ماشینی :
طی دو دهه گذشته ، یک چالش اساسی برای محققانی که در زمینه مدل سازی و ارزیابی سیستم های مبتنی بر رایانه کار می کنند ، ارزیابی خصوصیات غیر عملکردی سیستم (NFP) مانند عملکرد ، مقیاس پذیری ، قابلیت اطمینان و امنیت است. < /p>
در این کتاب ، نویسندگان تکنیک های مدل محور را برای مدل سازی و تجزیه و تحلیل قابلیت اطمینان نرم افزار ارائه می دهند. بیشتر آنها مبتنی بر استفاده از UML به عنوان زبان مشخصات نرم افزار است. از دیدگاه مشخصات سیستم نرم افزاری ، چنین تکنیک هایی از مکانیسم های استاندارد پسوند UML (یعنی پروفایل UML) بهره برداری می کنند. پروفایل UML مهندسان نرم افزار را قادر می سازد علاوه بر مدل های کاربردی ، ویژگی های غیر عملکردی را نیز به مدل نرم افزار اضافه کنند. نویسندگان جزئیات وضعیت هنر در مورد پیشنهادات پروفایل UML را برای مشخصات قابلیت اطمینان شرح می دهند و به طور دقیق تجارتی را که انجام می دهند توصیف می کنند. تمرکز بیشتر روی خصوصیات RAM (قابلیت اطمینان ، در دسترس بودن ، قابلیت حفظ و ایمنی) است. در میان پروفایل های موجود ، آنها بر پروفایل سد (تجزیه و تحلیل قابلیت اطمینان و مدل سازی) تأکید می کنند ، که سعی در متحد کردن ، تحت یک چتر مشترک ، پروفایل های UML قبلی از ادبیات ، فراهم کردن قابلیت های مشخصات و تجزیه و تحلیل قابلیت اطمینان است. علاوه بر این ، آنها دو تکنیک برجسته مدل به مدل را توصیف می کنند ، که از تولید مدل تجزیه و تحلیل پشتیبانی می کنند و امکان ارزیابی بیشتر از خصوصیات قوچ مختلف را فراهم می کنند. مطالعات موردی از حوزه های مختلف نیز ارائه شده است ، به منظور ارائه نمونه هایی از نحوه استفاده از تکنیک های فوق الذکر. آنها همچنین از طریق استفاده از فرمالیسم های مدل سازی مناسب و همچنین تکنیک های تبدیل مدل به مدل برای استخراج مدلهای تجزیه و تحلیل قابلیت اطمینان از مشخصات UML ، بینش هایی در مورد تکنیک های تجزیه و تحلیل قابلیت اطمینان کسب می کنند. علاوه بر این ، پزشکان نرم افزار یک چارچوب یکپارچه را برای مشخصات الزامات قابل اعتماد بودن و خصوصیات UML پیدا می کنند و از مطالعات دقیق موردی بهره مند می شوند.
tag : دانلود کتاب ارزیابی قابلیت اطمینان مدل از سیستم های نرم افزاری , Download ارزیابی قابلیت اطمینان مدل از سیستم های نرم افزاری , دانلود ارزیابی قابلیت اطمینان مدل از سیستم های نرم افزاری , Download Model-Driven Dependability Assessment of Software Systems Book , ارزیابی قابلیت اطمینان مدل از سیستم های نرم افزاری دانلود , buy ارزیابی قابلیت اطمینان مدل از سیستم های نرم افزاری , خرید کتاب ارزیابی قابلیت اطمینان مدل از سیستم های نرم افزاری , دانلود کتاب Model-Driven Dependability Assessment of Software Systems , کتاب Model-Driven Dependability Assessment of Software Systems , دانلود Model-Driven Dependability Assessment of Software Systems , خرید Model-Driven Dependability Assessment of Software Systems , خرید کتاب Model-Driven Dependability Assessment of Software Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.