Информационная система
«Ёшкин Кот»

Государственные стандартыСтроительная документацияТехническая документацияАвтомобильные дороги Классификатор ISO Мостостроение Национальные стандарты Строительство Технический надзор Ценообразование Экология Электроэнергия

Найти:
Где:
Тип документа:
Отображать:
Упорядочить:

Скачать ГОСТ Р ИСО 18629-12-2010 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро

Дата актуализации: 01.01.2021

ГОСТ Р ИСО 18629-12-2010

Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро

Обозначение: ГОСТ Р ИСО 18629-12-2010
Обозначение англ: GOST R ISO 18629-12-2010
Статус:Введен впервые
Название рус.:Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро
Название англ.:Industrial automation systems and integration. Process specification language. Part 12. Outer core
Дата добавления в базу:01.10.2014
Дата актуализации:01.01.2021
Дата введения:01.09.2011
Область применения:Стандарт в форме аксиом и определений устанавливает понятия, относящиеся к внешнему ядру языка, что позволяет аксиоматизировать семантику терминологии, используемой для описания внешнего ядра в соответствии с требованиями комплекса стандартов ИСО 18629. Стандарт распространяется на: - деятельность и ее агрегирование; - дискретные деятельности и их состояния; - ограничения деятельности; - параллельные примитивные деятельности; - составные деятельности; - примеры составных деятельностей.
Оглавление:1 Область применения
2 Нормативные ссылки
3 Термины, определения и сокращения
   3.1 Термины и определения
   3.2 Сокращения
4 Общие положения комплекса стандартов ИСО 18629
5 Общие положения настоящего стандарта
   5.1 Расширения, входящие во внешнее ядро
6 Теория ядра подчиненной деятельности
   6.1 Примитивные отношения
   6.2 Установленные отношения
   6.3 Связь с другими наборами аксиом
   6.4 Неформальная семантика
   6.5 Определения
   6.6 Аксиомы
7 Теория ядра дерева случаев
   7.1 Примитивные отношения
   7.2 Примитивные функции
   7.3 Связь с другими наборами аксиом
   7.4 Неформальная семантика
   7.5 Аксиомы
8 Теория ядра дискретного состояния
   8.1 Примитивные категории
   8.2 Примитивные отношения
   8.3 Связь с другими наборами аксиом
   8.4 Неформальная семантика
   8.5 Аксиомы
9 Теория ядра атомарной деятельности
   9.1 Примитивные отношения
   9.2 Примитивные функции
   9.3 Связь с другими наборами аксиом
   9.4 Неформальная семантика
   9.5 Определения
   9.6 Аксиомы
10 Теория ядра комплексной деятельности
   10.1 Примитивные отношения
   10.2 Установленные отношения
   10.3 Связь с другими наборами аксиом
   10.4 Неформальная семантика
   10.5 Определения
   10.6 Аксиомы
11 Теория ядра случаев деятельности
   11.1 Примитивные отношения
   11.2 Установленные отношения в теории ядра случаев деятельности
   11.3 Связь с другими наборами аксиом
   11.4 Неформальная семантика
   11.5 Определения
   11.6 Аксиомы
Приложение А (обязательное) Идентификатор ASN.1, присвоенный ИСО 18629-12
Приложение В (справочное) Связь с ситуационным исчислением
Приложение С (справочное) Пример описания процесса с помощью внешнего ядра PSL
Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации
Библиография
Разработан: НТЦ ИНТЕК
Утверждён:21.12.2010 Росстандарт (894-ст)
Издан: Стандартинформ (2014 г. )
Расположен в:Техническая документация Электроэнергия МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса Экология МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса
Нормативные ссылки:
ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010ГОСТ Р ИСО 18629-12-2010

© 2013 Ёшкин Кот :-) Карта сайта