Моделирование дискретно-событийных систем средствами графического языка состояний и переходов конечных автоматов

В книге рассматривается назначение и основные свойства визуального интерпретируемого языка DLAA, разработанного как средство структурированного описания конфигурации и динамики поведения сложных систем с использованием графических диаграмм, реализуемых поверх базовых языков программирования (C++, C#) и расширяющих описательные возможности этих языков в представлении поведенческих свойств сложных динамических систем. Рассмотрена вычислительная модель семантики периода выполнения языка DLAA. Приводится сравнение языка DLAA с известными графическими языками такими, как диаграммы Мура, диаграммы состояний Харела, диаграммы конечных автоматов языков SysML и UML, методология А.А. Шалыто, формализм DEVS. Описаны инструментальные средства, предназначенные для автоматизации процесса создания цифровых моделей с использованием языка DLAA.