ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
161
кие показатели. В диссертации [12] автоматизация проектирования,
реализации и сопровождения пользовательского интерфейса основа-
на на онтологическом подходе. В работе [13] представлена методоло-
гия разработки алгоритмов решения задач анализа и синтеза структур
программного обеспечения и устройств вычислительной техники.
Кроме работ, направленных на формализацию проектирования про-
цессов программного обеспечения, в настоящее время активно разви-
ваются методы формализации проектирования бизнес-процессов в
различных областях применения [14], которые также могут быть ис-
пользованы для создания формализованной методологии проектиро-
вания ИМИ.
Общими недостатками всех этих методологий является ориента-
ция, как правило, на эрагатическую составляющую интерфейса и на
одну формальную модель, что существенно ограничивает возможно-
сти методологии. По мнению авторов статьи, для устранения этого
недостатка в основу методологии создания ИМИ необходимо поло-
жить такую совокупность взаимосвязанных формальных моделей и
операций над ними, которые позволяли бы решать весь комплекс за-
дач проектирования, приведенный в работе [9]. В частности, эти мо-
дели должны поддерживать иерархическое описание методологии
проектирования ИМИ, композицию одних процессов из других,
обоснованный переход от одних моделей к другим, проверку синтак-
сической корректности, функциональной правильности, выполнение
эквивалентных и оптимизирующих преобразований, адекватное
представление информации в зависимости от этапа и уровня проек-
тирования.
В настоящей работе рассматривается процессный подход к со-
зданию таких формальных моделей в зависимости от решаемой зада-
чи и принципы его использования для формализации методологии
проектирования ИМИ, предложенной в работе [9].
Формальные процессные модели
Последовательностный процесс.
С каждым последователь-
ностным процессом связан его
алфавит восприятий и реакций Act
=
{
a
1
,
a
2
, ...,
a
m
}.
Каждый символ
a
этого алфавита именует некоторый
объект, получаемый (воспринимаемый) процессом из внешней сре-
ды (
восприятие процесса
),
выдаваемый процессом во внешнюю
среду (
внешняя
реакция процесса
)
или объект, используемый про-
цессом для внутренних нужд
(
внутренняя реакция процесса
).
Про-
цессы действуют, воспринимая, порождая для внутреннего упо-
требления или выдавая наружу объекты с соответствующими име-
нами. Для того чтобы различать типы действий будем использовать
следующие обозначения: ?
a
–
для восприятий, !
a
–
для внешних ре-
акций,
τ
–
для внутренних реакций.