Моделирование систем. Объектно-ориентированный подход.

Учебное пособие содержит: краткое изложение языка UML той его части, которая может быть использована как основа языка моделирования сложных динамических систем; описание и возможности предлагаемого авторами нового языка моделирования на базе гибридных автоматов, являющегося расширением UML; исторический обзор и примеры различных подходов к конструированию инструментов моделирования; объектно ориентированный анализ сложных динамических систем. Книга является второй из трех книг, объединенных общим названием МОДЕЛИРОВАНИЕ СИСТЕМ.  Полное содержание Оглавление Предисловие                                                                         7 Глава 1. Объектно-ориентированный подход к моделированию      9 Необходимость в унифицированном языке описания моделей                        10 Классы, экземпляры и многокомпонентные системы                                     13 Использование UML на начальной стадии проектирования                            17 Диаграммы классов                                                                                 17 Атрибуты                                                                                               18 Поведение                                                                                             18 Операции и методы                                                                                 20 Абстрактные и конкретные классы. Интерфейсы                                         20 Классы и отношения                                                                                23 Ассоциация                                                                                           23 Обобщение                                                                                            24 Агрегация                                                                                              25 Наследование                                                                                         26 Полиморфизм                                                                                         31 Поведение. Диаграммы состояний                                                             31 Структурированные классификаторы                                                         34 Компоненты                                                                                            35 События и сигналы                                                                                  36 Пакеты                                                                                                  39 Модель                                                                                                  40 Глава 2. Объектно-ориентированное моделирование сложных динамических систем на основе формализма гибридного автомата              43 Активный класс и активный динамический объект                                       43 Пакеты и модель                                                                                     51 Использование пассивных объектов                                                          53 Переменные                                                                                           54 Типы данных                                                                                           55 Скалярные типы                                                                                      56 Вещественный тип                                                                                  56 Целые типы                                                                                            56 Булев тип                                                                                              57 Перечислимые типы                                                                                 57 Символьные типы                                                                                    57 Регулярные типы                                                                                     58 Векторы                                                                                                 58 Матрицы                                                                                                58 Массивы                                                                                                59 Списки                                                                                                  59 Комбинированный тип (запись)                                                                 60 Явно определяемые типы                                                                          60 Сигналы                                                                                                 61 Автоматическое приведение типов                                                            62 Система уравнений                                                                                 62 Карта поведения                                                                                     67 Состояния                                                                                              67 Переходы                                                                                               72 Структурная схема                                                                                  80 Объекты                                                                                                81 Связи                                                                                                    82 Регулярные структуры                                                                             85 Наследование классов                                                                            88 Добавление новых элементов описания                                                     89 Переопределение унаследованных элементов                                             90 Полиморфизм                                                                                         91 Параметризованные классы                                                                      91 Глава 3. Моделирование гибридных систем и объектно-ориентированный подход в различных пакетах                                                              93 Моделирование гибридных систем в инструментальных средствах для "больших" ЭВМ 94 Язык SLAM II                                                                                          94 Язык НЕДИС                                                                                            96 Гибридные модели в современных инструментах моделирования                    98 Моделирование гибридных систем в пакете Simulink ("блочное моделирование")          98 Моделирование гибридных систем на языке Modelica ("физическое моделирование")   122 Гибридное направление                                                                           127 Языки объектно-ориентированного моделирования                                      142 Simula-67 иНЕДИС                                                                                  142 ObjectMath                                                                                             143 Omola                                                                                                    143 Modelica                                                                                                 145 Инструменты "блочного моделирования"                                                     147 Анализ существующих языков ООМ применительно к моделированию сложных динамических систем 147 Глава 4. Многообъектные модели                                        151 Глава 5. Объектно-ориентированное моделирование и объектно-ориентированный анализ                                                                                163 Сложная техническая система                                                                  163 Объектно-ориентированный анализ при разработке сложных технических систем       165 Объектно-ориентированное моделирование на последующих этапах разработки и сопровождения сложной технической системы                                                                              172 Системно-аналитическая модель как основа "сквозной" технологии проектирования   175 Литература                                                                                            179 Дополнительная литература к главе 1                                                       179 Дополнительная литература к главе 2                                                       179 Дополнительная литература к главе 3                                                       180 Дополнительная литература к главе 4                                                       180 Дополнительная литература к главе 5                                                       180 Предметный указатель                                                                             183 4 Оглавление 5 Оглавление