УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Реализация диаграмм состояний

(С) 2006 г. П.Ю. Маврин
Научные руководители: Г.А. Корнеев, А.А. Шалыто

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Отсюда можно скачать полный текст работы в формате pdf (300 кб)
Исходный код библиотеки (zip архив) (75кб)

Аннотация

Часто при проектировании сталкиваются с ситуацией, когда поведение объекта определяется его некоторым текущим состоянием. Как правило, подобные конструкции естественно появляются при проектировании реактивных систем - событийно-управляемых систем, реагирующих на воздействия внешней среды.

В этой работе исследуются принципы построения систем с выделенными состояниями, поведение которых описано при помощи диаграмм состояний (Statechart), предложенных Дэвидом Харелом.

В данной работе предлагаются:

• новая семантика для диаграмм состояний. От известных семантик предлагаемую отличает формальное описание и удобство в практическом использовании;
• паттерн проектирования O-State, позволяющий реализовать диаграммы состояний, используя предложенную семантику.
• библиотека O-State, содержащая реализации основных классов паттерна на языке Java.

Предложенные методы апробированы при реализации системы тестирования олимпиадных задач.