Концептуальные средства описания предметной области

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

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

Отношение между типами. Пусть S – фиксмрованное множество типов. Т.к. в каждый момент времени t двум типам T ₁ и T ₂ соответствуют два множества объектов (T ₁)^t_ob и (T ₂)^t_ob, то между ними существуют определенные теоретически множественные отношения, например, (T ₁)^t_ob (T ₂)^t_ob или (T ₁)^t_ob ∩ (T ₂)^t_ob = . Эти отношения могут носить случайный характер или, наоборот, быть справедливыми для любых значений t. Во втором случае они, как правило, выражают устойчивые закономерности предметной области. Чтобы иметь возможность отразить эти аксиомы в концептуальной модели, множество S снабжается отношением частичного порядка, которое принято обозначать IS-A. Это от­ношение интерпретируется следующим образом: " Если Т ₁ IS-A Т ₂, то в любой момент времени t каждый объект типа Т ₁ является объектом типа Т ₂". Други­ми словами, справедлива следующая аксиома: . Если множество типов S конечно, то его можно изобразить в виде ори­ентированного графа, вершины которого помечены именами типов, а дуги соединяют те вершины, которые находятся в отношении IS-A. На рисунке представлен фрагмент такого графа.

Операции над типами. Наиболее употребительными являются операции соответствующие обычным теоретико-множественным конструкциям. Эти операции порождают новые типы, которые сначала не были определены. Например,

ЧЕЛОВЕК = МУЖЧИНА ЖЕНЩИНА

МУЖЧИНА ЖЕНЩИНА =