Действующий

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

Группа Т58
НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ
Дата введения 01.01.2013
Предисловие
Цели и принципы стандартизации в Российской Федерации установлены Федеральным законом от 27 декабря 2002 г. N 184-ФЗ "О техническом регулировании", а правила применения национальных стандартов Российской Федерации - ГОСТ Р 1.0-2004* "Стандартизация в Российской Федерации. Основные положения"
Сведения о стандарте
1 ПОДГОТОВЛЕН Научно-техническим центром "ИНТЕК" на основе собственного аутентичного перевода на русский язык международного стандарта, указанного в пункте 4
2 ВНЕСЕН Техническим комитетом по стандартизации ТК 100 "Стратегический и инновационный менеджмент"
3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 22 декабря 2011 г. N 1609-ст
4 Настоящий стандарт идентичен международному стандарту ИСО 18629-14:2006* "Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 14. Теории ресурсов" (ISO 18629-14:2006 "Industrial automation systems and integration - Process specification language - Part 14: Resource theories").
* Доступ к международным и зарубежным документам, упомянутым здесь и далее по тексту, можно получить перейдя по ссылке
При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном приложении ДА
5 ВВЕДЕН ВПЕРВЫЕ
Информация об изменениях к настоящему стандарту публикуется в ежегодно издаваемом информационном указателе "Национальные стандарты", а текст изменений и поправок - в ежемесячно издаваемом информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ежемесячно издаваемом информационном указателе "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет
Введение
ИСО 18629 - это комплекс стандартов на компьютерно-интерпретируемый обмен данными обеспечения технологического процесса. Все части комплекса стандартов ИСО 18629 устанавливают групповой язык программирования для описания конкретного технологического процесса, рассматриваемого как часть всего процесса изготовления изделия либо внутри одной промышленной компании, либо сразу в нескольких промышленных секторах (компаниях) вне его связи с какой-либо моделью компьютерного представления. Природа данного языка программирования такова, что он обеспечивает доступ к спецификациям технологического процесса и технологическим данным изделия на всех стадиях процесса его изготовления.
В настоящем стандарте установлены фундаментальные элементы языка, принятого в ИСО 18629.
Все части комплекса ИСО 18629 не связаны с какой-либо конкретной моделью компьютерного представления технологического процесса в рассматриваемом техническом приложении. Все вместе части ИСО 18629 обеспечивают структурную технологическую взаимосвязь процессов производства для улучшения оперативной совместимости рассматриваемых технических приложений.

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

В настоящем стандарте в виде аксиом и определений установлены основные принципы, связанные с внешним ядром языка спецификаций процесса (outer core). Приведенные аксиомы обеспечивают аксиоматизацию семантики терминологии, принятой в настоящем стандарте.
В настоящем стандарте рассмотрены следующие вопросы:
- ресурсы;
- взаимосвязь между ресурсами и операциями;
- комплектность ресурсов;
- аддитивные ресурсы.

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

В настоящем стандарте использованы нормативные ссылки на следующие стандарты*, которые необходимо учитывать при использовании настоящего стандарта. В случае ссылок на документы, у которых указана дата утверждения, необходимо пользоваться только указанной редакцией. В случае, когда дата утверждения не приведена, следует пользоваться последней редакцией ссылочных документов, включая любые поправки и изменения к ним:
ИСО/МЭК 8824-1 Информационные технологии. Нотация абстрактного синтаксиса версии 1 (ASN.1). Часть 1. Спецификация базовой нотации (ISO/IEC 8824-1, Information technology - Abstract Syntax Notation One (ASN.1) - Part 1: Specification of basic notation)
ИСО 15531-1 Системы промышленной автоматизации и интеграция. Управляющая информация промышленным производством. Часть 1. Общий обзор (ISO 15531-1, Industrial automation systems and integration - Industrial manufacturing management data - Part 1: General overview)
ИСО 18629-1 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 1. Обзор и основные принципы (ISO 18629-1, Industrial automation systems and integration - Process specification language - Part 1: Overview and basic principles)
ИСО 18629-11:2005 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 11. Ядро PSL (ISO 18629-11:2005, Industrial automation systems and integration - Process specification language - Part 11: PSL-core)
ИСО 18629-12 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро (ISO 18629-12, Industrial automation systems and integration - Process specification language - Part 12: PSL Outer core)

3 Термины, определения и сокращения  

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

В настоящем стандарте применены следующие термины с соответствующими определениями:
3.1.1 аксиома (axiom): Точно сформулированное аналитическое выражение на формальном языке, устанавливающее ограничения к интерпретации символов в словаре языка.
[ИСО 18629-1]
3.1.2 установленная лексика (defined lexicon): Набор символов в нелогической лексике, обозначающих установленные понятия.
Примечание - Заданный лексикон состоит из констант, функций и отношений.
Пример - Термины с консервативным определением.
[ИСО 18629-1]
3.1.3 дефинициональное расширение (definitional extension): Расширение ядра PSL, представляющее новые лингвистические понятия, которые могут быть определены с помощью терминов ядра PSL.
Примечание - Дефинициальные расширения не добавляют выразительную силу ядру PSL и используются для подробного описания семантики и терминологии в области применения.
[ИСО 18629-1]
3.1.4 расширение (extension): Расширение ядра PSL, содержащее дополнительные аксиомы.
Примечание 1 - Ядро PSL представляет собой относительно простой набор аксиом, достаточный для представления широкого круга основных процессов. Однако для представления более сложных процессов требуются дополнительные ресурсы, отсутствующие в ядре PSL. Ядро PSL с каждым понятием следует использовать для описаний того или иного процесса, а для описания разнообразных модульных расширений следует использовать расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой язык, который соответствует требованиям к выразительности.
Примечание 2 - Все расширения являются теориями ядра или дефинициональными расширениями.
[ИСО 18629-1]
3.1.5 грамматика (grammar): Правила совместного использования логических символов и словарных терминов для составления точно сформулированных аналитических выражений.