Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods

این کتاب روشی را برای مدل‌سازی معماری سیستم‌ها، به‌ویژه شبکه‌ها و سیستم‌های مخابراتی توصیف می‌کند، اگرچه بخش بزرگی را می‌توان در زمینه وسیع‌تری استفاده کرد. این روش Sysnet Modeling نام دارد و بر اساس یک زبان مدل سازی جدید به نام AML (Abstract systems Modeling Language) است که در کتاب نیز توضیح داده شده است. با استفاده از مدل سازی sysnet و AML، یک مدل رسمی از سیستم ایجاد می شود. این مدل می تواند برای تجزیه و تحلیل سیستم ها و همچنین برای انتقال دانش سیستم به مخاطبان وسیع تری از مهندسان در پروژه های توسعه استفاده شود. ذاتی مدل‌سازی sysnet همچنین پتانسیل کاهش قابل‌توجهی در زمان صرف شده برای پیاده‌سازی سیستم، از طریق امکان تولید کد و نمونه آزمایشی است.

The book describes a method for modeling systems architecture, in particular of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling, and is based on a new modeling language, called AML (Abstract systems Modeling Language), that is also described in the book. By applying sysnet modeling and AML, a formal model of the system is cre-ated. That model can be used for systems analysis, as well as for communicating system knowledge to a broader audience of engineers in development projects. Inherent in sysnet modeling is also a potential for considerable reduction in time spent on system implementation, through the possibilities for code- and test-case generation.