С большим энтузиазмом все сделаем за Вас
Гарантия результата по договору

ежедневно: 7:00-22:00

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

1 Область применения
2 Нормативные ссылки
3 Термины и определения
3.1 Термины, определенные в ИСО 10303-1
3.2 Термины, определенные в ИСО/МЭК 10646-1
3.3 Другие определения
4 Требования соответствия
4.1 Формальные спецификации, написанные на языке ЕХРRЕSS
4.1.1 Лексический язык
4.1.2 Графическая форма
4.2 Реализации языка ЕХРRЕSS
4.2.1 Синтаксический анализатор языка ЕХРRЕSS
4.2.2 Графический редактор
5 Фундаментальные принципы
6 Синтаксис спецификации языка
6.1 Синтаксис спецификации
6.2 Обозначение специальных символов
7 Основные элементы языка
7.1 Набор символов
7.1.1 Цифры
7.1.2 Буквы
7.1.3 Специальные символы
7.1.4 Подчеркивание
7.1.5 Пустое пространство
7.1.6 Комментарии
7.2 Зарезервированные слова
7.2.1 Ключевые слова
7.2.2 Зарезервированные слова, обозначающие операторы
7.2.3 Встроенные константы
7.2.4 Встроенные функции
7.2.5 Встроенные процедуры
7.3 Знаки
7.4 Идентификаторы
7.5 Литералы
7.5.1 Двоичный литерал
7.5.2 Целочисленный литерал
7.5.3 действительный литерал
7.5.4 Строковый литерал
7.5.5 Логический литерал
8 Типы данных
8.1 Простые типы данных
8.1.1 Числовой тип данных
8.1.2 Действительный тип данных
8.1.3 Целочисленный тип данных
8.1.4 Логический тип данных
8.1.5 Булев тип данных
8.1.6 Строковый тип данных
8.1.7 двоичный тип данных
8.2 Агрегированные типы данных
8.2.1 Тип данных АRRАY
8.2.2 Тип данных LIST
8.2.3 Тип данных ВАG
8.2.4 Тип данных SЕТ
8.2.5 Уникальность значений в агрегированных структурах
8.3 Именованные типы данных
8.3.1 Объектный тип данных
8.3.2 Определенный тип данных
8.4 Конструкционные типы данных
8.4.1 Перечисляемый тип данных
8.4.2 Выбираемый тип данных
8.5 Обобщенные типы данных
8.6 Классификация применения типов данных
8.6.1 Конкретизирующие типы данных
8.6.2 Параметрические типы данных
8.6.3 Базисные типы данных
9 Объявления
9.1 Объявление типа
9.2 Объявление объекта
9.2.1 Атрибуты
9.2.2 Локальные правила
9.2.3 Подти пы и суперти пы
9.2.4 Абстрактный объектный тип данных
9.2.5 Ограничения подтипов/супертипов
9.2.6 Неявные объявления
9.2.7 Конкретизация
9.3 Схема
9.4 Константа
9.5 Алгоритмы
9.5.1 Функция
9.5.2 Процедура
9.5.3 Параметры
9.5.4 Локальные переменные
9.6 Правило
9.7 Ограничения подтипов
9.7.1 Ограничение абстрактного супертипа
9.7.2 Подтипы полного покрытия
9.7.3 Перекрывающиеся подтипы и их спецификация
10 Область видимости и видимость
10.1 Правила области видимости
10.2 Правила видимости
10.3 Правила для явных элементов
10.3.1 Оператор альтернативных имен АЫАЗ
10.3.2 Атрибут
10.3.3 Константа
10.3.4 Элемент перечисления
10.3.5 Объект
10.3.6 Функция
10.3.7 Параметр
10.3.8 Процедура
10.3.9 Выражение QUERY
10.3.10 Оператор цикла
10.3.11 Правило
10.3.12 Метка правила
10.3.13 Схема
10.3.14 Ограничение подтипа
10.3.15 Тип
10.3.16 Метка типа
10.3.17 Переменная
11 Спецификация интерфейсов
11.1 Спецификация интерфейса USЕ
11.2 Спецификация интерфейса RЕFЕRЕNСЕ
11.3 Взаимодействие интерфейсов USЕ и RЕFЕRЕNСЕ
11.4 Импорт объектов посредством неявных интерфейсов
11.4.1 Импорт констант
11.4.2 Импорт определенных типов данных
11.4.3 Импорт объектных типов данных
11.4.4 Импорт функций
11.4.5 Импорт процедур
11.4.6 Импорт правил
11.4.7 Импорт ограничений подтипов
12 Выражения
12.1 Арифметические операторы
12.2 Операторы отношений
12.2.1 Операторы сравнения значений
12.2.2 Операторы сравнения экземпляров
12.2.3 Оператор принадлежности
12.2.4 Интервальные выражения
12.2.5 Оператор сопоставления строк
12.3 Двоичные операторы
12.3.1 Индексирование двоичных чисел
12.3.2 Оператор двоичной конкатенации
12.4 Логические операторы
12.4.1 Оператор NОТ
12.4.2 Оператор АMD
12.4.3 Оператор ОR
12.4.4 Оператор ХОR
12.5 Строковые операторы
12.5.1 Индексирование строк
12.5.2 Оператор конкатенации строк
12.6 Операторы агрегированных структур
12.6.1 Индексирование агрегированных структур
12.6.2 Оператор пересечения
12.6.3 Оператор объединения
12.6.4 Оператор различия
12.6.5 Оператор подмножества
12.6.6 Оператор супермножества
12.6.7 Оператор запроса
12.7 Ссылки
12.7.1 Простые ссылки
12.7.2 Префиксные ссылки
12.7.3 Ссылки на атрибуты
12.7.4 Групповые ссылки
12.8 Вызов функции
12.9 Инициализатор агрегированных структур
12.10 Оператор построения экземпляра сложного объекта
12.11 Совместимость типов
12.12 Выбираемые типы данных в выражениях
12.12.1 Выбираемые типы данных в унарных выражениях
12.12.2 Выбираемые типы данных в бинарных выражениях
12.12.3 Выбираемые типы данных в тернарных выражениях
13 Исполняемые операторы
13.1 Пустой оператор
13.2 Оператор АLIАS
13.3 Присваивание
13.3.1 Оператор присваивания
13.3.2 Совместимость по присваиванию
13.4 Оператор САSЕ
13.5 Составной оператор
13.6 Оператор ЕSСАРЕ
13.7 Оператор 1F...ТНЕN...ЕLSЕ
13.8 Оператор вызова процедур
13.9 Оператор RЕРЕАТ
13.9.1 Инкрементное управление
13.9.2 Управляющее условие WHILE
13.9.3 Управляющее условие UNTIL
13.10 Оператор RETURN
13.11 Оператор SКIР
14 Встроенные константы
14.1 Константа е
14.2 Неопределенность
14.3 Константа FАLSЕ
14.4 Константа РI
14.5 SЕLF
14.6 Константа ТRUЕ
14.7 Константа UNKNOWN
15 Встроенные функции
15.1 Арифметическая функция АВS
15.2 Арифметическая функция АСОS
15.3 Арифметическая функция АSINI
15.4 Арифметическая функция АТАN
15.5 Двоичная функция ВLЕNGТН
15.6 Арифметическая функция СОS
15.7 Универсальная функция ЕХISТS
15.8 Арифметическая функция ЕХР
15.9 Универсальная функция FОRМАТ
15.9.1 Символьное представление
15.9.2 Представление шаблоном
15.9.3 Стандартное представление
15.10 Арифметическая функция НIВОUND
15.11 Арифметическая функция НIINDЕХ
15.12 Строковая функция LENGТН
15.13 Арифметическая функция LОВОUND
15.14 Арифметическая функция LОG
15.15 Арифметическая функция LОG2
15.16 Арифметическая функция LОG10
15.17 Арифметическая функция LОINDЕХ
15.18 Функция пустого значения NVL.
15.19 Арифметическая функция ОDD
15.20 Универсальная функция RОLЕSОF
15.21 Арифметическая функция SIN
15.22 Агрегированная функция SIZЕОF
15.23 Арифметическая функция SQRT
15.24 Арифметическая функция ТАN
15.25 Универсальная функция ТYРЕОF
15.26 Универсальная функция USЕDIN
15.27 Арифметическая функция VАLUE
15.28 Функция принадлежности VАLUE_IN
15.29 Функция уникальности VАLUE_UNIQUЕ
16 Встроенные процедуры
16.1 Процедура INSЕRТ
16.2 Процедура RЕМОVЕ
Приложение А (обязательное) Синтаксис языка ЕХРRЕSS
А.1 Лексические элементы
А.1.1 Ключевые слова
А.1.2 Классы символов
А.1 .3 Лексические элементы
А.1.4 Комментарии
А.1 .5 Интерпретированные идентификаторы
А.2 Грамматические правила
А.3 Список перекрестных ссылок
Приложение В (обязательное) Определение допустимых реализаций объектов
В.1 Формализованный подход
В.2 Операторы ограничения суперти пов и подтипов
В.2.1 ОNЕОF
В.2.2 АND
В.2.3 АNDОR
В.2.4 Приоритет операторов
В.3 Интерпретация возможныхтипов данных сложных объектов
Приложение С (обязательное) Ограничения на экземпляры, налагаемые спецификацией интерфейса
Приложение D (обязательное) Графическое подмножество языка ЕХРRЕSS - ЕХРRЕSS-Q
D.1 Введение и обзор
D.2 Обозначения определений
D.2.1 Обозначения простых типов данных
D.2.2 Обозначения конструкционных типов данных
D.2.3 Обозначение определенныхтипов данных
D.2.4 Обозначение объектных типов данных
D.2.5 Обозначение ограничений подтипов
D.2.6 Обозначение функций и процедур
D.2.7 Обозначение правил
D.2.8 Обозначение схем
D.3 Обозначение взаимосвязей
D.4 Обозначение компоновки диаграмм
D.4.1 Ссылки между страницами
D.4.2 Ссылки между схемами
D.5 диаграммы уровня объектов
D.5.1 Имена ролей
D.5.2 Мощности множеств
D.5.3 Ограничения
D.5.4 Конструкцион ные и определенные типы данных
D.5.5 Объектные типы данных
D.5.6 Ссылки между схемами
D.6 диаграммы уровня схем
D.7 Полные ЕХРRЕSS-G диаграммы
D.7.1 Полная диаграмма уровня объектов
D.7.2 Полная диаграмма уровня схем
Приложение Е (обязательное) Заявка о соответствии реализации протоколу (ЗСРП)
Е.1 Синтаксический анализатор языка ЕХРRЕSS
Е.2 Средство редактирования ЕХРRЕSS-G
Приложение F (обязательное) Регистрация информационного объекта
F.1 Обозначение документа
F.2 Обозначение синтаксиса
Приложение G (обязательное) Генерация одной схемы из нескольких схем
G.1 Введение
G.2 Основные понятия
G.3 Изменение имен
G.3.1 Конфликты имен
G.3.2 Идентификаторы, представленные строками
G.4 Этап 1 - преобразование нескольких схем в промежуточную схему
G.4.1 Введение
G.4.2 Первичное содержимое
G.4.3 Вторичное содержимое
G.4.4 Сокращение
G.4.5 Имена и версии схем
G.5 Этап 2 - преобразование промежуточной схемы в схему по ИСО 10303-11:1994 .
G.5.1 Введение
G.5.2 Инициализация
G.5.3 Преобразование наращиваемых конструкционных типов данных
G.5.4 Преобразование ограничений подтипов
G.5.5 Преобразование абстрактных объектных и обобщенных типов данных
G.5.6 Преобразование атрибутов, переименованных при повторном объявлении
Приложение Н (справочное) Взаимосвязи
Н.1 Взаимосвязи через атрибуты
Н.1.1 Простая взаимосвязь
Н.1.2 Групповая взаимосвязь
Н.1.3 дистрибутивная взаимосвязь
Н.1.4 Инверсныйатрибут
Н.2 Взаимосвязи подтип/супертип
Приложение J (справочное) Модели на языке ЕХРRЕSS для примеров, иллюстрирующих ЕХРRЕSS-G
J.1 Пример модели единой схемы
J.2 Модель взаимосвязей
J.3 Простое дерево подтипов/супертипов
J.4 Повторное объявление атрибутов
J.5 Модели, состоящие из нескольких схем
Приложение К (справочное) Возможность языка ЕХРRЕSS, не рекомендуемые к использованию .
Приложение L. (справочное) Пример использования новых конструкций языка ЕХРRЕSS
L.1 Примеруправления разработкой изделий
Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации
Библиография
  • 14 сен. 2009 г. Федеральное агентство по техническому регулированию и метрологии 366-ст
Нужна мгновенная консультация эксперта?
Просто позвоните по бесплатному номеру: 8 (800) 222-46-11
Или задайте вопрос в форме обратной связи:

Или напишите нам в мессенджерах и получите мгновенный ответ эксперта:

Viber Telegram VK Facebook WhatsApp Instagram

2020-05-30


Разделы портала сертификации "Сертики ру":


Вопрос-ответ

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

Сертификация-это основное требование к производителям и импортерам продукции по качеству продукции. Наша компания занимается комплексным сопровождением клиента в процессах сертификации продукции, услуг, производства практически во всех направлениях.

Мы поможем Вам оформить сертификат Таможенного союза, декларацию таможенного союза, Экспертное заключение или  СГР в минимальные сроки с максимумом комфорта для Вас, "под ключ".  

Понять подлежит или не подлежит обязательной сертификации продукция не всегда просто, ответ на этот вопрос Вы можете найти сами на страницах Портала или можете "Задать вопрос" нашим экспертам.

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

Это довольно частый вопрос и ответ на него можно увидеть в классификации продукции по кодам ТН ВЭД,  если Вам это не удалось, задайте вопрос нашим экспертам, они обязательно Вам помогут.

Добровольный сертификат дает явные конкурентные преимущества и является в наше время условно добровольной, так как все крупные покупатели, торговые сети, оптовики все равно требуют добровольный сертификат ГОСТсертификат ISO или сертификат КУЗ СТО 03.080.02033720.1-2020.

Мы предоставляем по принципам «единого окна», то есть Вам необходимо только отправить заявку, а наши эксперты сделают всю остальную работу сами - подскажут какие сертификаты нужно оформить и проведут все работы по оформлению сертификат Таможенного союза, декларацию таможенного союза или же сертификатов ГОСТ.

Мы стараемся подобрать наиболее конкурентные предложения, это достигается путем проведения автоматического тендера среди органов и лабораторий, через которые мы можем Вам оформить все необходимые документы. 

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

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

Это относится к каждому клиенту компании и делают сертификацию через наш Центр сертификации удобной, комфортной и доступной , мы работаем по всем регионам России, по Таможенному союзу, с Украиной, Европой, США, Китаем и любой страной мира без ограничений. К Вам будет прикреплен индивидуальный менеджер, который будет "вести" Вас на протяжении всего процесса сертификации.

Нормативная документация

Наша цель - сделать процесс сертификации, регистрации и декларирования максимально простым и доступным...

Почему именно Портал сертификации "Сертики ру"?

сертификат соответствия тс

Надежно. Мы предоставляем свои услуги и помощь с 2011 года, за это время к нам не было ни одной претензии, а вот благодарностей за консультации и оформление документов было немало.

сертификат соответствия ru

Законно. Мы работаем только с проверенными и аккредитованными органами по сертификации и испытательными лабораториями, весь риск их недобросовестной работы мы берем на себя, Вы ничем не рискуете, мы отвечаем за качество и легальность всей документации, оформленной Вам.

сертификат соответствия гост

Выгодно. Мы отбираем только самые лучшие предложения на рынке услуг сертификации на данный момент и предлагаем их Вам по минимальной цене на рынке с максимальным комфортом и минимальными сроками оформления для Вас.


таможенный сертификат соответствия

100% РЕЗУЛЬТАТ

гарантия оформления

проверить сертификат соответствия

консультации

абсолютно бесплатно

скачать сертификат соответствия

скидки

постоянным клиентам

сертификат соответствия таможенного союза

всегда на связи

Позвоните нам

Остались вопросы?








Нет, всё понятно

Наши клиенты