Practical Performance Modeling: Application of the MOSEL Language

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

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany.
MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact and easy to understand. With additional constructs, the interesting performance or reliability measures and graphical representations can be specified. With some experience, it is possible to write down the MOSEL description of a system immediately only by knowing the behavior of the system under study. There are no restrictions, unlike models using, for example, queueing networks, Petri nets or fault trees.
MOSEL fulfills all the requirements for a universal modeling language. It is high level, system-oriented, and usable. It is open and can be integrated with many tools. By providing compilers, which translate descriptions specified in MOSEL into the tool-specific languages, all previously implemented tools with their different methods and algorithms (including simulation) can be used.
Practical Performance Modeling: Application of the MOSEL Language provides an easy to understand but nevertheless complete introduction to system modeling using MOSEL and illustrates how easily MOSEL can be used for modeling real-life examples from the fields of computer, communication, and manufacturing systems.
Practical Performance Modeling: Application of the MOSEL Language will be of interest to professionals and students in the fields of performance and reliability modeling in computer science, communication, and manufacturing. It is also well suited as a textbook for university courses covering performance and reliability modeling with practical applications.