General Administration of Quality Supervision, Inspection and Quarantine of the People‘s Republic of China
Последняя версия
GB/T 20719.12-2010
сфера применения
Эта часть GB/T 20719 предоставляет концептуальное выражение, принадлежащее внешнему ядру языка PSL, с использованием набора аксиом и определений GB/T 20719. Эти аксиомы обеспечивают семантическую аксиоматизацию терминов во внешнем ядре GB/T 20719. В сферу действия этой части GB/T 20719 входят: совокупность видов деятельности и подвидов деятельности; дискретные действия и состояния; ограничения на осуществление деятельности; одновременность основных видов деятельности; комплексная деятельность; возникновение сложных видов деятельности.
GB/T 20719.12-2010 Ссылочный документ
GB/T 16262.1 Информационные технологии. Первая абстрактная синтаксическая нотация (ASN.1). Часть 1. Спецификация базовой нотации.
GB/T 16656.1 Системы промышленной автоматизации и интеграция. Представление и обмен данными о продукции. Часть 1: Обзор и основные принципы
GB/T 19114.1 Системы промышленной автоматизации и интеграция данных управления промышленным производством. Часть 1: Общий обзор
GB/T 20719.1 Система промышленной автоматизации и интеграция. Язык спецификации процессов. Часть 1. Обзор и основные принципы.
GB/T 20719.11 Язык спецификации систем промышленной автоматизации и процессов интеграции. Часть 11: ядро PSL
GB/T 20719.12-2010 История
2011GB/T 20719.12-2010 Системы промышленной автоматизации и интеграция. Язык спецификации процессов. Часть 12: Внешнее ядро