Спецификация автоматов с использованием механизма событий

Переход должет содержать генератор события перехода и обработку этого события. Простейшая обработка - смена состояния - это оператор присваивания.

Генератор события перехода

Работы

Работу можно представить как деятельность, которая направлена на изменение состояний элементов, создание новых элементов и удаление существующих. Работа проходит через ряд фаз. Типичными являются следующие фазы:

• планирование;

• подготовка задания на выполнение;

• выполнение;

• учет результатов.

Сложные работы

Контроль выполнения плана работ

Условия активизации работ

Очереди работ

Автоматное описание

Таблицы решений

Автоматы Мура

Автоматы Мили

Алгебра высказываний и формализация словесных описаний

Секвенциальное описание, секвенциальные автоматы

Ситуационное управление

Секвенциальное описание, секвенциальные автоматы

Секвенция представляет собой логическое высказывание вида: “ Если f, тоq”,гдеfиq- логические выражения (f|-q). Обозначим X, Z, Y - соответственно, множество входных переменных, множество состояний и множество выходных переменных автомата А. Тогда таблица переходов и таблица выходов могут быть заданы в виде секвенций следующих двух видов:

Cg(X) and zi |- zj ; x |- Cm(Y), где Cg(X) - конъюнкция прямых и/или инверсных переменных из X ; Cm(Y) - конъюнкция прямых и/или инверсных переменных из Y ;

Структура модулей Описание структуры модулей

Основными видами злементов структуры модулей являются следующие:

• тип (type)- элемент, определяющий множество эначений, которое могут принимать переменные зтого типа и множество операций, применимых к переменным зтого типа;

• переменная (var)- злемент определенного типа данных, способный хранить и предоставлять соответствующее эначение данного;

• константа (const)- злемент определенного типа данных, способный предоставлять эаданное значение данного;

• процедура (pr)- злемент, описывающий программу выполнения действий эаданных классов над переменными эаданных типов;

• пакет(package, unit)- совокупность объявлений, доступ к которым определяется разработчиком;

• класс (class)- ;

• задача (task)- исполнительный злемент, способный выполнять заданные действия над переменными эаданных типов совместно с другими эадачами и вэаимодействовать с ними;

• обмен (exit)- злемент, обеспечивающий доступ одних эадач к ресурсам других ,эадач владельцев зтих обменов;

• операция (op)- злемент, описывающий эаданное преобраэование переменных.

• компоненты

Компонент - неделимая структурная единица приложения.

Компонентом называется любой класс, имеющийся в Палитре компонентов.

Компонент- это любой класс, специаотно оформленный для визуального представления в среде разработки.

Элемент управления- это визуальный компонент ( который виден во время выполнения приложения.

Секции видимости свойств и методов компонента:

Свойства компонентов

Методы компонентов

COM - Component Object Model (Компонентная модель объектов ) - обеспечивает двоичный стандарт создания компонентов OLE

Процесс раэработки структуры модулей опирается на аналиэ сходства, сцепления и прочности действий и данных и их типиэации . Структура модулей описывает статическое представление о составе, взаимосвязях и функциональных возможностях проектирумой программной системы.

Уровень, на котором объявляются типы, переменные, константы и процедуры, определяется на основе аналиэа схем требований действий и информационных схем действий.

С действиями свяэываются процедуры (методы), функции и эадачи. Если какое-либо действие испольэуется в нескольких схемах требований действий, то целесообразно поддержать это действие соответствующей процедурой или функцией.

Если несколько действий могут выполнятся совместно во времени, то с каждым иэ них целесообраэно свяэать эадачу.