Пояснения

Слайд 6. Основной элемент языка

В EXPRESS для моделирования предметной области используются именно такие абстрактные понятия, называемые «сущностями». Таким образом, сущность – абстрактное понятие, выражающее класс объектов реального мира, имеющих общие характеристики. Примерами сущностей являются: изделие, организация, геометрическая точка и т.п. Если для предметной области важным является некоторое множество объектов, имеющих общие свойства, то в информационной модели предметной области это множество представляется в виде сущности (например, изделие для проектирования). С другой стороны, можно сказать, что в информационной модели предметной области содержится описание тех абстрактных понятий, которые важны для этой предметной области.

Сущность выражает некоторый абстрактный образец объекта реального мира. Сами объекты выражаются с помощью экземпляров сущностей. Таким образом, экземпляр сущности – абстрактное понятие, выражающее представителя класса объектов реального мира, имеющих общие характеристики. Например, понятие «геометрическая точка» – сущность, но конкретная точка выражается экземпляром сущности. В информационных моделях на языке EXPRESS нельзя представить собственно экземпляры сущностей, но можно задать условия корректности экземпляров некоторой сущности, т.е. критерий существования некоторого объекта реального мира, выражаемого экземпляром сущности, в моделируемой предметной области. Например, для некоторой предметной области мы можем потребовать, чтобы все геометрические точки имели только положительные координаты и точки, не удовлетворяющие этому условию, не попадут в нашу предметную область, а экземпляры сущности «геометрическая точка», которыми они выражаются, будут некорректными.

Итак, сущность выражает класс объектов, определяемый общими характеристиками. Общие характеристики объектов выражаются атрибутами сущности (например, координаты в пространстве для геометрической точки). Таким образом, атрибут сущности – абстрактное понятие, выражающее отдельную характеристику класса объектов реального мира, имеющих общие характеристики. Каждый атрибут сущности имеет имя, описывающее выражаемую атрибутом характеристику в контексте сущности (например, координаты точки имеют имена «x», «y» и «z»). Экземпляры сущности обладают конкретными значениями атрибутов (например, x=1, y=2, z=3).