2 Термины, определения и аббревиатуры

• 2.1 Термины и определения

• 2.2 Аббревиатуры

3 Фундаментальные понятия и допущения

• 3.1 Общие положения

• 3.2 Понятия и модели

  • Рисунок 1 - Обзор архитектуры интеграции ИСО/ТС 18876-1

4 Основы моделирования

• 4.1 Модели данных ИСО 15926-2 в логике первого порядка

• 4.2 Определение логического шаблона

• 4.3 Протошаблоны

• 4.4 Диаграммы

  • Рисунок 2 - Диаграмма класса

  • Рисунок 3 - Диаграмма зависимости

  • Рисунок 4 - Диаграмма отношения

  • Рисунок 5 - Диаграмма ролей зависимости

  • Рисунок 6 - Диаграмма кардинальных чисел

  • Рисунок 7 - Диаграмма отношения Специализация

  • Рисунок 8 - Диаграмма отношения Классификация

5 Спецификации шаблона

• 5.1 Требования к шаблону, общие положения

• 5.2 Шаблонные подписи

• 5.3 Шаблонная специализация

• 5.4 Проверка соответствия по ИСО 15926-2

6 Шаблоны индивидуальных объектов

• 6.1 Цель

• 6.2 Необходимые справочные элементы

• 6.3 Начальное множество

  • Рисунок 9 - Пример шаблона ClassificationOflndividual

  • Рисунок 10 - Пример шаблона ClassificationOfRelationship

  • Рисунок 11 - Пример шаблона InstanceOfRelationship

  • Рисунок 12 - Пример шаблона IdentificationByNumber

  • Рисунок 13 - Пример шаблона Classifiedldentification

  • Рисунок 14 - Пример шаблона LocationOfActivity

  • Рисунок 15 - Пример шаблона BeginningEndOflndividual

7 Шаблоны классов

• 7.1 Цель

• 7.2 Необходимые элементы справочных данных

  • Рисунок 16 - Использование пустого класса EmptyClass

• 7.3 Представление комплексных классов

• 7.4 Ограничения зависимостей

  • Рисунок 17 - Зависимость: допустимая наружная температура

  • Рисунок 18 - Зависимость: температура по Цельсию

  • Рисунок 19 - Экзистенциальное ограничение: допустимая наружная температура

  • Рисунок 20 - Ровно одно ограничение: допустимая наружная температура

  • Рисунок 21 - Классификация универсального ограничения

  • Рисунок 22 - Паттерн универсального ограничения

  • Рисунок 23 -Универсальное ограничение: оборудование, температура

  • Рисунок 24 - Пример ограничения типа "не более, чем n"

  • Рисунок 25 - Комбинирование универсальных ограничений и кардинальных чисел

• 7.5 Начальное множество

  • Рисунок 26 - Пример шаблона ClassificationOfClass

  • Рисунок 27 - Пример шаблона ClassificationOfClassOflndividual

  • Рисунок 28 - Пример шаблона ClassificationOfClassOfRelationship

  • Рисунок 29 - Пример шаблона RelationOflndividualsTolndividuals

  • Рисунок 30 - Пример шаблона SpecializationOflndividualRelation

  • Рисунок 31 - Пример шаблона EnumeratedSetOf2Classes

  • Рисунок 32 - Пример шаблона UnionOf2Classes

  • Рисунок 33 - Пример шаблона RelativeComplementOf2Classes

  • Рисунок 34 - Пример шаблона DisjointnessOf2Classes

  • Рисунок 35 - Пример шаблона SpecializationAsEnd2UniversalRestriction

  • Рисунок 36 - Пример шаблона CardinalityMinMax

  • Рисунок 37 - Пример шаблона CardinalityEnd1MinMax

  • Рисунок 38 - Пример шаблона MagnitudeOfProperty

  • Рисунок 39 - Пример шаблона LowerUpperOfNumberRange

  • Рисунок 40 - Пример шаблона LowerUpperOfPropertyRange

  • Рисунок 41 - Пример шаблона LowerUpperMagnitudeOfPropertyRange

  • Рисунок 42 - Пример шаблона PropertyRangeRestrictionOfClass

  • Рисунок 43 - Пример шаблона PropertyRangeMagnitudeRestrictionOfClass

  • Рисунок 44 - Пример шаблона SymbolOfScale

  • Рисунок 45 - Пример шаблона DimensionUnitNumberRangeOfScale

8 Шаблоны как справочные данные

• 8.1 Шаблонные подписи и аксиомы шаблонов

• 8.2 Представление class_of_multidimensional_object