- •Цельлабораторной работы.
- •Тактическая цель.
- •Стратегическая цель.
- •Общие теоретические положения.
- •Основные понятия.
- •Предметная область.
- •Знаковая система.
- •Методика наблюдения.
- •Габарит наблюдения предметной области.
- •Координаты наблюдения.
- •Наблюдаемые свойства.
- •Метасхема.
- •Экземпляр метасхемы (самоописание).
- •Экземпляр метасхемы (схема предметной области).
- •Представление результата наблюдений.
- •Функциональные связи атрибутов элементов.
- •Сложные наблюдения.
- •Дискретное и непрерывное.
- •Содержательная декомпозиция таблицы наблюдений.
- •Декомпозиция наблюдений по значениям свойств.
- •Границы: слитно или раздельно?
- •Слитность свойств.
- •Слитность во времени.
- •Форма и содержание.
- •Топологическая декомпозиция таблицы наблюдений.
- •Понятие объекта.
- •Понятие класса объектов.
- •Сети Петри: объектный подход.
- •Область неэффектиности реляционной модели данных.
- •Идея преобразования реляционной модели данных в объектную.
- •Контейнер кортежей: вектор и список.
- •Новая парадигма объектов.
- •Технология поддержки связей.
- •Физическая поддержка связей.
- •Вариант объектно-ориентированной бдвв приложения.
- •Календарь событий.
- •Пример наполнения объектной бдвв сети Петри.
- •Средства выполнения работы.
- •Советы и рекомендации.
- •Порядок выполнения работы.
- •Содержание и оформление результатов работы.
- •Приложение 2. Использование файлов стандартов оформления.
Метасхема.
PropIdn |
PropMin |
PropMax |
PropDif |
PropType |
PropDom |
… |
… |
… |
… |
… |
… |
Результат любого наблюдения, построенного по описанным выше правилам, можно представить в виде таблицы. Метасхема результата наблюдения есть правила описания столбцов таблицы (атрибутов) в виде другой таблицы, при условии произвольного количества уникальных строк в ней. Атрибутами метасхемы представления предметной области в базовых конечных элементах могут быть следующие:
PropIdn - идентификатор наблюдаемого свойства;
PropMin - минимальное значение диапазона наблюдения;
PropMax - максимальное значение диапазона наблюдения;
PropDif - погрешность различимости значения наблюдаемого свойства;
PropType - тип представления значения в используемой знаковой системе;
PropDom - идентификатор домена (семантики) наблюдаемого свойства.
Метасхема обладает свойством самоописания, т.е. её схема может быть описана как один из экземпляров данной метасхемы.
Экземпляр метасхемы (самоописание).
PropIdn |
PropMin |
PropMax |
PropDif |
PropType |
PropDom |
PropIdn |
None |
None |
None |
String |
IdName |
PropMin |
None |
None |
None |
None |
None |
PropMax |
None |
None |
None |
None |
None |
PropDif |
None |
None |
None |
None |
None |
PropType |
None |
None |
None |
String |
TpDom |
PropDom |
None |
None |
None |
String |
DmDom |
Особое значение наблюдаемого свойства “None” означает невозможность наблюдения свойства, т.е. отсутствие значения по причине абсурдности свойства в данном базовом конечном элементе. Например, классически определяемое для металлов свойство «твердость» отсутствует у жидкости.
Экземпляр метасхемы (схема предметной области).
PropIdn |
PropMin |
PropMax |
PropDif |
PropType |
PropDom |
T |
Tmin |
Tmax |
T |
Int |
Time |
X |
Xmin |
Xmax |
X |
Int |
SpaceX |
Y |
Ymin |
Ymax |
Y |
Int |
SpaceY |
Z |
Zmin |
Zmax |
Z |
Int |
SpaceZ |
P1 |
P1min |
P1max |
P1 |
Floate |
DomP1 |
P2 |
P2min |
P2max |
P2 |
Double |
DomP2 |
… |
… |
… |
… |
… |
… |
Pi |
Pi_min |
Pi_max |
Pi |
Type_Pi |
DomPi |
… |
… |
… |
… |
… |
… |
Заметим, что схема есть экземпляр метасхемы, а экземпляр схемы есть представление результата наблюдения. При этом достаточно использовать двухмерные таблицы (но многомерные базы данных более эффективны). Эта возможность используется в основе широко известной реляционной модели данных (РМД).
Представление результата наблюдений.
t |
x |
y |
z |
P1 |
P2 |
… |
Pi |
… |
Pn |
1 |
1 |
1 |
1 |
V1(1,1,1,1) |
V2(1,1,1,1) |
… |
Vi(1,1,1,1) |
… |
Vn(1,1,1,1) |
1 |
1 |
1 |
… |
V1(1,1,1,…) |
V2(1,1,1,…) |
… |
Vi(1,1,1,…) |
… |
Vn(1,1,1,…) |
1 |
1 |
1 |
sz |
V1(1,1,1,sz) |
V2(1,1,1,sz) |
… |
Vi(1,1,1,sz) |
… |
Vn(1,1,1,sz) |
1 |
1 |
… |
… |
V1(1,1,…) |
V2(1,1,…) |
… |
Vi(1,1,…) |
… |
Vn(1,1,…) |
1 |
1 |
sy |
sz |
V1(1,1,sy,sz) |
V2(1,1,sy,sz) |
… |
Vi(1,1,sy,sz) |
… |
Vn(1,1,sy,sz) |
1 |
2 |
1 |
1 |
V1(1,2,1,1) |
V2(1,2,1,1) |
… |
Vi(1,2,1,1) |
… |
Vn(1,2,1,1) |
1 |
… |
… |
… |
V1(1,…) |
V2(1,…) |
… |
Vi(1,…) |
… |
Vn(1,…) |
1 |
sx |
sy |
sz |
V1(1,sx,sy,sz) |
V2(1,sx,sy,sz) |
… |
Vi(1,sx,sy,sz) |
… |
Vn(1,sx,sy,sz) |
2 |
1 |
1 |
1 |
V1(2,1,1,1) |
V2(2,1,1,1) |
… |
Vi(2,1,1,1) |
… |
Vn(2,1,1,1) |
… |
… |
… |
… |
… |
… |
… |
… |
… |
… |
st |
sx |
sy |
sz |
V1(st,sx,sy,sz) |
V2(st,sx,sy,sz) |
… |
Vi(st,sx,sy,sz) |
… |
Vn(st,sx,sy,sz) |
Обратите внимание, что арифметизация предметной области строится на основе базовой системы координат, непосредственно связанной с определением предметной области. Условием корректного наблюдения свойства базового конечного элемента будет требования единственности его значения. При этом арифметизации предметной области позволяет использовать четверку <t,x,y,z> как ключ значений свойств в нашей таблице. Не все значения полей в таблице результатов наблюдения будут содержательными, некоторые из них могут иметь значение “None”.