Модель атрибутов КМ ВП.

С элементами КМ ВП (процессами и объектами) связана модель атрибутов А_ВП:

А_ВП = <N_p, T_p, N_o, T_o, T_h>,

где: N_p – множество имен процессов и функция ;

T_p – множество имен типов процессов и функция ;

N_o – множество имен объектов и функция ;

T_o – множество имен типов объектов и функция ;

T_h – множество имен типов отношений иерархии процессов и объектов и функции , где N – множество натуральных чисел.

Имена процессов (N_p) (словосочетание с указанием действия путем использования глагола в повелительном наклонении) и объектов (N_o) отражают соответственно смысл выполняемых процессом действий, назначение (роль) инфообъекта в ходе решения задач, описываемых моделью. Например, "Собрать данные по штурманской службе", "Сведения о ЛА" и т.д. В спецификации имена являются комментарием.

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

Тип процесса (определяемый именем из T_p) указывает на метод, алгоритм реализации процесса и в спецификации (в зависимости от типа отношения иерархии T_h ) будет являться именем процедуры, условием выбора или условием завершения цикла.

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

Отношения иерархии, связываемые с процессами и объектами, позволяют расширять описательные возможности модели и определять такие отношения, как "процесс – подпроцессы" ("объект – компоненты объекта"); "процесс –варианты процесса" ("объект – варианты представления объекта"); "итеративный процесс – тело процесса" ("множество однотипных элементов – элемент множества").

Рассмотрим интерпретацию каждого из указанных в T_h типов иерархических отношений.

Отношение "&" – композиция [t_hp(p_i)=&, t_ho(o_i)=&] может рассматриваться как построение абстрактного объекта агрегацией его элементов.

Для некоторого p_i при t_hp(p_i)=& выполнение состоит в выполнении всех p_j таких, что . Иначе говоря, выполнение процесса, связанного с подчиненными иерархическим отношением типа композиция, требует выполнения всех его подпроцессов (рис.1).

Аналогично для инфообъектов (рис.2), преобразуемых в процессе: объект o_i при t_ho(o_i)=& определен, если определен каждый из детализирующих его j-ых компонентов, .

Отношение "V" – классификация [t_hp(p_i)=V, t_ho(o_i)=V] указывает на то, что понятие верхнего уровня есть обобщение для группы понятий нижнего.

Выполнение некоторого процесса p_i при t_hp(p_i)=V состоит в выполнении хотя бы одного из подчиненных ему процессов . Имя типа корневого процесса должно отражать условие выбора варианта реализации. Например, процесс "Определить тип аварийной ситуации" реализован, если выполнен один из его подпроцессов: "Записать объективную информацию", "Получить информацию о ЛА, требующих посадку" (рис. 3а)

Рис. 3.

Для информационных объектов: некоторый o_i при t_ho(o_i)=V считается определенным, если определен хотя бы один из подчиненных ему объектов . Объект "Полетное задание" определен, если существует хотя бы один из его составляющих: "Планируемое полетное задание" или "Фактическое полетное задание ".

Отношение "*" – итерация [t_hp(p_i)=*, t_ho(o_i)=*] позволяет определять в схеме вычислительного процесса итеративные процессы и описывать регулярные композиции информационных объектов. Интерпретация отношений итерации заключается в следующем.

Для некоторого p_i при t_hp(p_i)=* выполнение состоит в повторении всех неопределенное или заданное количество раз. Для итерационных иерархических отношений могут задаваться пороговые значения числа повторений, которые будут использоваться в ходе количественной оценки проекта: , где N – множество натуральных чисел.

Информационному объекту o_i, для которого определен способ декомпозиции типа t_ho(o_i)=*, при реализации может быть поставлена в соответствие любая регулярная структура данных. При данном типе иерархии информационному объекту может быть поставлено в соответствие максимальное количество элементов n, т.е. , воспринимается как максимальное количество компонентов в регулярной среде данных.