Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

این کتاب یک نمای کلی جامع از اصلاح خودکار مدل ارائه می‌دهد که به خوانندگان کمک می‌کند شکاف بین مشخصات متنی اولیه و اجرای مطلوب آن را ببندند. نویسندگان خوانندگان را قادر می‌سازند تا دو «جهت» را برای اصلاح دنبال کنند: پالایش عمودی، برای افزودن جزئیات و دقت به توصیف واحد برای یک مدل معین و پالایش افقی، که چندین دیدگاه را در یک سطح از انتزاع در نظر می‌گیرد، و مشخصات سیستم را با توضیحات اختصاصی اصلاح می‌کند. ساختار یا رفتار این بحث شامل چندین روش می‌شود که از طراحان سیستم‌های الکترونیکی در این فرآیند پالایش پشتیبانی می‌کنند، از جمله روش‌های راستی‌آزمایی برای بررسی خودکار اینکه آیا اصلاح به‌طور مورد نظر انجام شده است یا خیر.

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.