Концептуализация проблемной области: Объектная модель

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

предикат (Объект, Значение).

Если предикат определяет название свойства объекта, то в качестве значения выступает конкретное значение этого свойства, например:

профессия ("Иванов", "Инженер").

Если предикат определяет название связи объекта, то значению соответствует объект, с которым связан первый объект, например:

Работает ("Иванов", "Механический цех").

В качестве важнейших типизированных видов отношений рассматриваются следующие отношения:

“род” - “вид” (обобщение);

“целое” - “часть” (агрегация);

“причина” - “следствие”;

“цель” - “средство”;

“функция” - “аргумент”;

“ассоциация”;

“хронология”;

“пространственное положение” и др.

Так, отношения обобщения ("род" - "вид") фиксируется на уровне названий классов объектов, например:

есть-подкласс (Инженеры, Личности).

Под классом объектов понимается совокупность объектов с одинаковым набором предикатов (свойств и связей). Класс объектов часто описывается в виде n-ного реляционного отношения, например:

личности (ФИО, Профессия, Подразделение,...).

Если объекты обладают частично пересекающимся набором предикатов, то осуществляется более сложная классификация объектов: класс объектов по значениям какого-либо свойства (признака) разбивается на подклассы таким образом, что класс объектов содержит общие для подклассов свойства и связи, а каждый из подклассов отражает специфические свойства и связи, например:

личности (ФИО, Год рождения, Профессия, Подразделение,...)

инженеры (ФИО, ВУЗ, Оклад,...)

рабочие (ФИО, Разряд, Тарифная ставка,...)

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

Отношение агрегации классов объектов ("целое" - "часть") отражает составные части объектов, которое можно представить в бинарном виде на именах двух классов объектов:

есть-часть (Оборудование, Цех);

есть-часть (Рабочие, Цех).

Аналогично представляются другие семантические отношения:

• причина-следствие (Задолженность, Банкротство);
• аргумент-функция (Спрос, Цена);
• средство-цель (Покупка акций, Прибыль);
• ассоциация (Производство, Обслуживание);
• хронология (Отгрузка, Поставка);
• пространственное положение (Сборка, Технический контроль).

Обычно объектное знание представляется графически средствами ER-моделей (модель "Сущность - Связь").