Опубликован: 05.03.2005 | Уровень: специалист | Доступ: платный
Практическая работа 11:

Использование MS Visio для генерации MPR-файлов

Разработанный набор утилит предназначен для:

  • преобразования MSC-диаграмм в формат MPR;
  • проверки правильности подключения сигналов;
  • загрузки комментариев.

Утилита поддерживает следующие типы конструкций:

Instance
Instance End
Message
Action
Comment
Coregion
Text
Condition
Reference
Block(Alt, Par, Loop, Opt).

При разработке диаграмм соединение объектов осуществляется при помощи Connector Point. Если какая-либо конструкция языка не будет присоединена, то будет выдано соответствующее сообщение об ошибке, "неправильный" элемент будет выделен красным цветом, а MPR-файл генериться не будет.


Исключение составляет элементы: Block, Condition, Reference и Text.

Описание элементов



Instance представляет собой один из взаимодействующих объектов. Необходимо задать имя данного элемента. После завершения приема/выдачи всех сигналов к Instance присоединяется блок Instance End. Для увеличения длины Instance TimeLine, его необходимо выделить и увеличить длину, используя Control.


Instance End самостоятельно не используется, применяется только совместно с конструкцией Instance. Используется для сигнализации того, что данный объект закончил принимать/посылать сигналы.


Message (событие/сообщение) представляет собой взаимодействие между объектами ( Instances ). Необходимо задать имя сообщения и параметры (если они необходимы). Messages должны быть присоединены к Instance с помощью Connector Points. Messages без имени не обрабатываются, и выдается сообщение об ошибке.


Action используется для отражения события, выполненного в рамках одного Instance. Блок необходимо присоединить с помощью Connector Point-а. Action без имени не обрабатывается, и выдается соответствующее сообщение об ошибке.


Comment используется для написания комментариев. Его требуется присоединить к Connector Point на Instance. Для увеличения длины необходимо использовать Control.


Coregion показывает, что сигналы, поступившие в рамках данного элемента, могут приходить в разном порядке. Coregion должен быть присоединен с использованием Connector Points, в противном случае возникает ошибка.


Text - это блок текстовых комментариев или описаний. Может располагаться в любой части рабочего листа.


Condition используется для объявления события, которое распространяется на несколько объектов ( Instance ). Может использоваться в качестве точки синхронизации. Необходимо задать имя или другие параметры. При использовании требуется "растянуть" на используемые оси Instance. Если условие Condition не распространяется на один из объектов ( Instance ), то поверх блока Condition задается Instance Line (рис. 11.1 и 11.2).


Instance Line самостоятельно не применяется, а только совместно с блоком Condition. Для ее присоединения используем Connector Points.

Изображение Condition без Instance Line

Рис. 11.1. Изображение Condition без Instance Line
Изображение Condition с Instance Line

Рис. 11.2. Изображение Condition с Instance Line

Reference применяется для определения ссылки на другую диаграмму (MPR-файл). Необходимо указать путь к используемой диаграмме. При отсутствии имени (пути) возникает ошибка.


Block позволяет задавать имя блока, используется совместно с элементом Separator, который разделяет Block на 2 и более фреймов. В заглавии блока необходимо указать его название и параметры (если необходимо):

Alt - указывает, что может выполняться один из фреймов в определенной последовательности.

Par - указывает, что сообщения, которые были объявлены в рамках данного блока, будут выполняться параллельно.

Opt - указывает на то, что данный фрейм может использоваться опционально.

Loop - указывает на то, что данный блок будет повторяться в цикле указанное число раз (указывается в параметрах).


Separator самостоятельно не используется, а применяется только совместно с элементом Block. При присоединении необходимо задействовать Connector Point.

Федор Антонов
Федор Антонов
Оплата и обучение
Сергей Чурбанов
Сергей Чурбанов
Какие подходы используются для обоснования истинности программ?
Марина Дайнеко
Марина Дайнеко
Россия, Moscow, Nope, 2008
Сергей Пантелеев
Сергей Пантелеев
Россия, Москва