ГОСТ Р 56271-2014
П р и м е р - Релизация косвенного (непрямого) свойства шаблона InstanceOflndirectPropertyfa.
Ь, с) означает, что а — это класс косвенного (непрямого) свойства ClassOflndirectProperty, Ь (вре
менная часть) — это возможный индивидуальный объект Possiblelndividual. к которому относит
ся рассматриваемая зависимость и с — это экземпляр свойства Property. Аргумент b имеет тип
ClassOflndirectProperty, с — это экземпляр Property. Шаблонная подпись:
- название роли: тип свойства, тип роли: ClassOflndirectProperty;
- название роли: обладатель свойства, тип роли: Possiblelndividual:
- название роли: Property, тип роли: Property.
2.1.30 утверждение шаблона, шаблонное высказывание (template statement): Утверждение (выска
зывание). сделанное путем задания значений (инстанцирования) ролей шаблона экземплярами сущностей.
2.1.31 значение (value): Элемент (единица) данных.
[ИСО 10303-11:2004. definition 3.3.22]
2.2 Аббревиатуры
FOL — Логика первого порядка (first order logic):
DL — Описательная логика (description logic);
RDL — Библиотека справочных данных (reference data library).
3 Фундаментальные понятия идопущения
3.1 Общие положения
Модель данных ИСО 15926-2 является базовой и высоко нормализованной. С одной стороны,
это обеспечивает требуемую гибкость, с другой — это усложняет рассмотрение. Настоящий стандарт
определяет шаблоны, являющиеся выражениями предварительно заданных семантических блоков, до
пускающих удобное использование в рамках рассматриваемой модели. Подход, принятый в настоящем
стандарте, основан на архитектуре, описанной в ИСО/ТС 18876-1 (см. рисунок 1).
3.2 Понятия и модели
Понятия и модели, показанные на рисунке 1, рассмотрены в настоящем стандарте.
Foundation conceals
Основные понятия
Integration model subset
Подмножество интеграционной модели
General concepts
Subset selection
Mapping
Oiscipline-speciric concepts
Derived concepts
Application model
Общие понятия
Выбор подмножестоа
Отображение
Понятия дпя конкретной дисциплины
Производные понятия
Модель приложения
4
Рисунок 1— Обзор архитектуры интеграции ИСО/ТС 18876-1