ГОСТ Р ИСО 18629-12—2010
Н А Ц И О Н А Л Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И
Системы промышленной автоматизации и интеграция
ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА
Ч а с т ь 12
Внешнее ядро
Industrial automation systems and integration. Process specification language. Part 12. Outer core
Дата введения — 2011—09—01
1 Область применения
Настоящий стандарт в форме аксиом иопределений устанавливает понятия, относящиеся к внешне
му ядру языка, что позволяет аксиоматизировать семантику терминологии, используемой для описания
внешнего ядра в соответствии с требованиями комплекса стандартов ИС018629.
Настоящий стандарт распространяется на.
-деятельность иееагрегирование:
- дискретныедеятельности и ихсостояния;
- ограничения деятельности:
- параллельные примитивныедеятельности;
- составные деятельности;
- примеры составныхдеятельностей.
2 Нормативные ссылки
В настоящем стандарте использованы нормативные ссылки на следующие стандарты, которые необ
ходимо учитывать при использовании настоящего стандарта. В случае ссылок надокументы, у которых
указана дата утверждения, необходимо пользоваться только указанной редакцией. Вслучае, когда дата
утверждения не приведена, следует пользоваться последней редакцией ссылочныхдокументов, включая
любые поправки и изменения к ним:
ИСО/МЭК 8824-1 Информационные технологии. Нотация абстрактного синтаксиса ворсии 1(ASN.1).
Часть 1. Спецификация базовой нотации (ISO/IEC 8824-1. Information technology — Abstract Syntax Notation
One (ASN.1)— Specification of basicnotation)
ИС010303-1 Системы промышленной автоматизации иинтеграция. Представление данныхо продук
ции иобмен данными. Часть 1.Обзор иосновные принципы (IS0 10303-1. Industrial automation systems and
integration — Productdata representation and exchange — Part 1:Overview and fundamental principles)
ИСО 15531-1 Системы промышленной автоматизации иинтеграция. Данные для управления про
мышленным производством. Часть 1.Общий обзор (IS015531-1. Industrialautomation systems and integration
— Industrial manufacturing management data — Part 1: General overview)
ИСО 18629-1 Системы промышленной автоматизации иинтеграция. Языкспецификаций процесса.
Часть 1.Обзор иосновные принципы (IS018629-1, Industrial automation systems and integration — Process
specification language— Part 1: Overviewand basic principles)
ИС018629-11 Системы промышленнойавтоматизации и интеграция. Язык спецификации процесса.
Часть 11: Ядро PSL (ISO 18629-11, Industrial automation systems and integration — Process specification
language— Part 11: PSL core)
Издание официальное
1