ГОСТ Р ИСО/ТО 10303-12-2000

Группа П87

     

ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ


Системы автоматизации производства и их интеграция

ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 12

Методы описания. Справочное руководство по языку EXPRESS-I

Industrial automation systems and integration. Product data representation and exchange. Part 12. Description methods. The EXPRESS-I language reference manual

ОКС 25.040.40

ОКСТУ 4002

Дата введения 2002-01-01

     

Предисловие

1 РАЗРАБОТАН Всероссийским научно-исследовательским институтом стандартизации (ВНИИстандарт) при участии Научно-технического центра "ИНТЕГРО-Д"

ВНЕСЕН Техническим комитетом по стандартизации ТК 431 "СALS-технологии"

2 ПРИНЯТ И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Госстандарта России от 14 ноября 2000 г. N 292-ст

3 Настоящий стандарт содержит полный аутентичный текст международного стандарта ИСО/ТО 10303-12-97 "Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 12. Методы описания. Справочное руководство по языку EXPRESS-I"

4 ВВЕДЕН ВПЕРВЫЕ

Введение

Стандарты серии ГОСТ Р ИСО 10303 распространяются на машинно-ориентированное представление данных об изделии и обмен этими данными. Целью является создание механизма, позволяющего описывать данные об изделии на протяжении всего жизненного цикла изделия независимо от конкретной системы. Характер такого описания делает его пригодным не только для обмена инвариантными файлами, но также и для создания баз данных об изделиях, коллективного пользования этими базами и архивации соответствующих данных.

Стандарты серии ГОСТ Р ИСО 10303 представляют собой набор отдельно издаваемых стандартов (частей). Части данной серии стандартов относятся к одной из следующих тематических групп: методы описания, интегрированные ресурсы, прикладные протоколы, комплекты абстрактных тестов, методы реализации и аттестационное тестирование. Группы стандартов данной серии описаны в ГОСТ Р ИСО 10303-1. Настоящий стандарт входит в группу методов описания.

Настоящий стандарт определяет элементы языка EXPRESS-I. Каждый элемент языка представляется в своем собственном контексте с примерами. Сначала вводятся простые элементы, а затем представляются более комплексные идеи в порядке нарастания их сложности.

Обзор языка

EXPRESS-I - это название языка формального представления данных и спецификации абстрактных тестовых (контрольных) примеров. Он может быть использован для описания информационных требований других стандартов серии ГОСТ Р ИСО 10303 и родственен языкам EXPRESS и EXPRESS-G. Язык базируется на целом ряде целей проектирования, в частности:

- размеры и сложность стандартов серии ГОСТ Р ИСО 10303 требуют обеспечить читабельность языка как для компьютера, так и для человека. Выразительные средства стандартов данной серии призваны облегчить формальное выявление несоответствий в представлениях или спецификациях при использовании средств автоматизации;

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

- обойтись, насколько это возможно, без рассмотрения конкретной реализации;

- обеспечить средства отображения малых совокупностей EXPRESS-схем;

- обеспечить средства поддержки спецификации комплектов абстрактных тестов для процессоров информационных моделей.

В EXPRESS-I экземпляры объектов представляются в терминах значений атрибутов: особенностей либо характеристик, считающихся важными для использования и понимания. Эти атрибуты имеют представление, которое может быть простым типом данных (таким, как целочисленный) либо типом другого объекта. Геометрическая точка может быть определена в терминах трех вещественных (действительных) чисел. Атрибутам, образующим определение объекта, даются имена. Так, для геометрической точки три вещественных числа могут иметь имена х, у и z. Устанавливается отношение между определяемым объектом и определяющими его атрибутами и, аналогичным образом, между атрибутом и его представлением.

Язык EXPRESS-I обеспечивает средства для отображения реализацией элементов данных языка EXPRESS. Язык разработан, в основном, для восприятия человеком и для облегчения отображения экземпляров EXPRESS-I на определении в EXPRESS-схеме. В некоторых стандартах серии ГОСТ Р ИСО 10303, например в ГОСТ Р ИСО 10303-21, установлены требования к рациональным машинным реализациям схем. EXPRESS-I не предназначен для замены этих методов.

Основные элементы языка показаны на рисунке 1. Язык имеет две главные части. Первая часть служит для отображения экземпляров данных. Данные могут быть отображены на основе объект-объект, на основе схемы либо как набор экземпляров схем, предназначенный для отображения некоторой информационной модели рассматриваемой предметной области. В языке EXPRESS-I эти данные называются экземплярами предмета (object instances), экземплярами данных схемы (schema data instances) и моделью (model). На рисунке 1 предполагается, что информационная модель определена с помощью языка EXPRESS.

Рисунок 1 - Главные элементы языка EXPRESS-I

Вторая часть языка служит для специфицирования абстрактных тестовых (контрольных) примеров с целью формального описания тестов, выполняемых над реализацией информационной модели, заданной на языке EXPRESS. Конструкциями языка, предназначенными для этой цели, являются контрольный пример (test case) и контекст (context). Данный раздел языка использует также процедурные аспекты языка EXPRESS. Экземпляры данных могут быть параметризованы и сохранены в контексте. Многие различные контрольные примеры могут присваивать значения параметризованным данным в контексте и использовать эти данные как часть спецификации данного теста.

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

Примечание - Примеры использования EXPRESS-I в настоящем стандарте не согласованы с правилами какого-либо конкретного стиля. В самом деле, иногда примеры используют не лучший стиль, чтобы достичь краткости либо показать гибкость. Примеры не претендуют на отражение содержания информационных моделей, определяемых в других стандартах серии ГОСТ Р ИСО 10303. Их функция - показать конкретные особенности EXPRESS-I. Любую аналогию между этими примерами и обязательными информационными моделями или абстрактными контрольными примерами, определенными в других стандартах серии ГОСТ Р ИСО 10303, следует игнорировать.

1 Область применения

Настоящий стандарт определяет язык, на котором может быть описан (отображен) экземпляр (часть) рассматриваемой предметной области. Стандарт также определяет метод формального описания для поддержки спецификаций абстрактных тестовых (контрольных) примеров. Данный язык называется EXPRESS-I. Этот язык родственен языку EXPRESS, определенному в ГОСТ Р ИСО 10303-11.

EXPRESS-I является языком реализации для языка концептуальной схемы, как определено в ИСО/ТО 9007 [1], а конкретным языком концептуальной схемы, послужившим отправной точкой для EXPRESS-I, является EXPRESS. Язык EXPRESS-I позволяет отображать состояние предметов, принадлежащих к рассматриваемой предметной области, и блоки информации, относящиеся к этим предметам.

В область применения настоящего стандарта входят:

- отображение экземпляров схем;

- отображение экземпляров типов и объектов (сущностей);

- данные абстрактного тестового (контрольного) примера;

- преобразование EXPRESS-схем и типов данных в экземпляры EXPRESS-I.

В область применения настоящего стандарта не входят:

- преобразование из других языков (концептуальных схем) в EXPRESS-I;

- определение форматов базы данных;

- определение форматов файла;

- определение форматов передачи данных;

- управление процессом;

- обработка информации;

- обработка исключительных ситуаций.

EXPRESS-I не является языком программирования.

2 Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие стандарты:

ГОСТ Р ИСО 10303-1-99 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы

ГОСТ Р ИСО 10303-11-2000 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

ГОСТ Р ИСО 10303-21-99 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 21. Методы реализации. Кодирование открытым текстом структуры обмена

ИСО/МЭК 8824-1-95* Информационная технология. Взаимосвязь открытых систем. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации

___________

* Оригиналы стандартов ИСО (ИСО/МЭК) - во ВНИИКИ Госстандарта России.

ИСО 10303-31-94* Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 31. Методология и основы аттестационного тестирования. Общие положения

___________

* Оригиналы стандартов ИСО (ИСО/МЭК) - во ВНИИКИ Госстандарта России.

ИСО/МЭК 10646-1-93* Информационная технология. Универсальный многобайтно-кодированный набор символов. Часть 1. Архитектура и основной многоязычный уровень

___________

* Оригиналы стандартов ИСО (ИСО/МЭК) - во ВНИИКИ Госстандарта России.

3 Определения

3.1 Термины, определенные в ГОСТ Р ИСО 10303-1

В настоящем стандарте использованы следующие термины, определенные в ГОСТ Р ИСО 10303-1:

- данные;

- информация;

- информационная модель.

3.2 Термины, определенные в ГОСТ Р ИСО 10303-11

В настоящем стандарте использованы следующие термины, определенные в ГОСТ Р ИСО 10303-11:

- граф подтип/супертип; ;

- значение;

- константа;

- лексема;

- объект;

- совокупность;

- тип данных сложного объекта;

- тип данных;

- экземпляр сложного объекта;

- экземпляр объекта;

- экземпляр простого объекта;

- экземпляр.

3.3 Термины, определенные в ИСО 10303-31

В настоящем стандарте использованы следующие термины, определенные в ИСО 10303-31:

- абстрактный тестовый (контрольный) пример;

- критерий вердикта;

- цель теста.

3.4 Другие определения

В настоящем стандарте использованы следующие термины с соответствующими определениями:

3.4.1 атрибут (attribute): Особенность, качество или свойство, характеризующее объект.