Экзамен вопросы и ответы / 1_2

1.2 Язык МSC

Язык MSC

- Message Sequence Charts

- Язык диаграмм взаимодействия

Применение MSC

• для определения требований;

• как спецификация взаимодействия процессов;

• Основа для генерации тестов;

• для документации;

• для объектно-ориентированного анализа и разработки.

Для описания протоколов обычно используются следующие элементы языка MSC:

1) ось сообщений;

2) сообщение;

3) запуск (сброс) тайм-аута и др.

MSC описывает взаимодействие между каким-либо числом компо­нент системы и между этими компонентами и окружающей средой.

ОСЬ

Для каждого компонента системы, охватываемой MSC, существует ось требований. Взаимодействия между компонентами системы представлены линиями сообщений. Посылка и прием сообщения - это два асин­хронных события. Это предполагает, что в MSC окружающая среда спо­собна принимать и посылать сообщения независимо.

Предполагается, что поведение окружающей среды также подчине­но законам MSC. Для каждого события MSC предполагается глобальная ось времени. Вдоль каждой оси отсчет времени идет сверху вниз, однако собственная шкала времени не определена.

Сообщение

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

Таймер

Таймер является единственным средством задания времени между отдельными событиями на трассе объекта. Таймер имеет имя и, возможно, длительность. Каждому таймеру соответствуют два события: установка таймера и срабатывание таймера. Вместо события срабатывания таймера имеется возможность указать сброс таймера. Имеется аналогия между таймерами в языке диаграмм взаимодействия с таймерами в языке SDL. В SDL таймер может быть установлен на определенный промежуток времени, после истечения которого таймер срабатывает и посылает сообщение своему владельцу. Дополнительно, имеется возможность сбросить установленный таймер.

Пример диаграммы