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

• Автор: Шопырин, Данил Геннадьевич
• Шифр специальности: 05.13.13
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Санкт-Петербург
• Количество страниц: 174 с.

ВВЕДЕНИЕ. ГЛАВА 1. Язык описания и спецификации . Графический язык . Язык . Конечные автоматы в объектноориентированных системах. Реализация автоматных объектов на основе методов. ГЛАВА 2. РЕАЛИЗАЦИЯ АВТОМАТНЫХ СИСТЕМ НА ОСНОВЕ БИБЛИОТЕКИ . Архитектура библиотеки . Обзор классов библиотеки . Основные возможности. Механизм обработки ошибок. Параллельные вычисления. Реализация входных и выходных воздействий. Пример использования библиотеки . Проектирование и реализация автоматов. Протоколирование работы системы. Выводы. ГЛАВА 3. ГРАФИЧЕСКАЯ НОТАЦИЯ ДЛЯ ПРОЕКТИРОВАНИЯ АВТОМАТНЫХ ОБЪЕКТОВ. Термины и определения. Декомпозиция и структурирование логики автоматных объектов. Диаграммы поведения автоматных объектов. ГЛАВА 4. Термины и определения. Если состояния айв ортогональны друг другу и вложены в состояние с, как показано на рис. БШескагЬ разделяются пунктирной линией. Таким образом, состояния Айв параллельны друг другу, а состояние с является их ортогональным произведением. Рис. Пусть, например, самолет состоит из двух независимых подсистем VII И .


Проектирование и реализация автоматов. Протоколирование работы системы. Выводы. ГЛАВА 3. ГРАФИЧЕСКАЯ НОТАЦИЯ ДЛЯ ПРОЕКТИРОВАНИЯ АВТОМАТНЫХ ОБЪЕКТОВ. Термины и определения. Декомпозиция и структурирование логики автоматных объектов. Диаграммы поведения автоматных объектов. ГЛАВА 4. Термины и определения. Если состояния айв ортогональны друг другу и вложены в состояние с, как показано на рис. БШескагЬ разделяются пунктирной линией. Таким образом, состояния Айв параллельны друг другу, а состояние с является их ортогональным произведением. Рис. Пусть, например, самолет состоит из двух независимых подсистем VII И . Благодаря ортогоиализации, эта система в целом может быть изображена так, как показано на рис. Соответствующий граф переходов традиционного конечного автомата рис. Данный эффект называется комбинаторным взрывом и является основным недостатком традиционных конечных автоматов. Отметим, что язык успешно преодолевает эту проблему благодаря механизму ортогональных состояний. Дополнительным механизмом декомпозиции системы являются широковещательные события. События, сгенерированное внешним окружением или одной из подсистем, одновременно обрабатывается всеми параллельными состояниями системы, что значительно уменьшает связность подсистем. СОСТОЯНИЯ I, В КОТОрое ОНИ ПереХОДЯТ ПО СОбыТИЮ I рИС. Допустим, что подсистема vii находится в состоянии i, а подсистема в состоянии . В случае если окружением системы будет сгенерированио событие i, обе подсистемы перейдут в свои состояния I одновременно.