Определение атрибута

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

Предлагается следующая классификация атрибутов:

Атрибут

по назначению

атрибут классификации (категория);

первичный показатель;

вычисляемый показатель;

по виду связи

1_1 ( -->);

1_01 (-0->);

1_M (-->>);

1_0M (-0->>);

1_Case ( --1->>) - выбор одного из М ;

1_RM (-R->>) - упорядоченный список;

по участию в составе первичного ключа

ключевой;

не ключевой;

по структуре

простого типа;

составной

по связи с экземпляром

ссылка на объект;

копия;

Каждый конкретный объект - это структура, которой соответствует множество экземпляров этого объекта. Структура задает связи экземпляра с другими экземплярами. Каждой связи ставится в соответствие конкретный атрибут.

Вид связи

Вид связи- это специальный метаобъект, указывающий какого вида отношение задается атрибутом. Будем различать следующие виды связи:

- 1_1 ( -->);

- 1_01 (-0->);

- 1_M (-->>);

- 1_0M (-0->>);

- 1_Case ( --1->>) - выбор одного из М ;

- 1_RM (-R->>) - упорядоченный список.

Вид связи задается следующим отношением:

атрибут

имеет

вид_связи.<вариант вида связи>

end

Спецификация атрибутов

Простые первичные показатели

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

Простой первичный показатель не является ссылкой на экземпляр какого-либо объекта.

wr.<имя показателя>

имеет

вид_связи.<имя вида связи> ; ; ; ;

тип

<имя простого объекта>; ; ; ;

проверяет

функция.<имя функции>

end

Ссылки

Атрибут- ссылка (reference) - это вводимые и редактируемые характеристики экземпляров объектов, задающие указатель на объект. Для ссылки может быть задана функция ввода и ряд условий, проверяемых при редактировании.

reference.<имя показателя>

имеет

вид_связи.<имя вида связи> ; ; ; ;

тип

<имя объекта>; ; ; ;

проверяет

функция.<имя функции>

end

Копии

Атрибут- копия (copy) - это вводимая и редактируемая характеристика экземпляров объекта, являющаяся копией экземпляра другого объекта. Для копии может быть задана функция копирования и ряд условий, проверяемых при редактировании. Экземпляр - копия это новый экземпляр, который с момента создания живет самостоятельно в составе экземпляра - владельца

copy.<имя показателя>

имеет

вид_связи.<имя вида связи> ; ; ; ;

тип

<имя объекта>; ; ; ;

создает

функция.<имя функции>

end

объект.Рейсы

состав

wr.Ид_рейса;

Время_вылета; ; ;

reference.Тип_самолета;

Аэропорт_назначения;

Авиакомпания;

.......................................

primary_key.Основной

содержит

Ид_рейса

end

объект.План_вылетов

состав

wr.Ид_экземпляра_рейса;

Фактическое_время_вылета; ; ;

reference.Выполняет : Воздушное_судно; ; ; ; ;

inside.Заказ_для_рейса : Заказ; ; ; ; ;

....................................................

copy.Для_рейса : Рейсы; ; ; ; ;

primary_key.Основной

содержит

Ид_экземпляра_рейса

end

Категории

Атрибут - категория(cat) позволяет задать классификационный признак для экземпляра и выбрать его структуру в зависимости от значения категории. Вид связи для категории всегда 1: Case (--1->>), а тип - объект. Спецификация категории имеет следующий вид:

cat.<имя категории>

вариант

объект.<имя1>;

<имя2>;

......

<имяN>

end

Ключи

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

primary_key.<имя ключа>

содерхит

<cписок простых атрибутов>

end

Вычисляемые показатели

Вычисляемый показатель- это некоторая вычисляемая характеристика экземпляра объекта. Будем различать следующие варианты вычисляемых показателей:

вычисляемый_показатель

вариант

простой вычисляемый показатель ;{f()}

вычисляемая_связь {rf()}

end

Значение простого вычисляемого показателя не привязано ко времени и для соответствующего экземпляра имеется только последнее значение. Атрибут вида f() имеет вид связи 1:1. С показателем связывается функция расчета значения:

f(). <имя атрибута>

тип

<имя простого объекта>;;

вычисляет

функция.<имя функции>; ; ; ;

end

Вычисляемые связи

Вычисляемая связь(rf()) - это атрибут, задающий связи конкретного экземпляра объекта с экземплярами другого объекта, которые вычисляются заданной функцией поиска. Вычисляемые связи реализуются через специальные объекты со структурой, которая задается структурой исходного объекта и объекта связи.

Функция определения экземпляров по вычисляемой связи должна быть задана в спецификации атрибута. Спецификация вычисляемой связи имеет следующий вид:

rf().<имя вычисляемой связи>

тип

объект.<имя объекта> ; ; ; ;

вычисляет

функция.{<имя процедуры> / <select>}; ; ; ;

имеет

вид_связи.<обозначение вида связи>

end

Траектория движения элементов (trajectory) в пространстве параметров

Траектория изменения показателей элементов объекта представляет собой протокол изменения значений показателей, привязанный по крайней мере ко времени изменения ( более полно привязка к событию).

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

trajectory.<имя>

contain

<список атрибутов>

end

Линейная шкала времени

Нелинейная шкала времени (скользящее среднее и другие показатели)

Протокол работ (работа, событие)

Формирование f(t) на основе первичных показателей

Объединение потоков значений