Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 14.05.2024 - 12:54
Категории

Расширение

Расширение (extension) — расширение ядра PSL, содержащее дополнительные аксиомы.
Примечание 1. Ядро PSL — относительно простой набор аксиом, достаточный для выражения широкого круга основных процессов. Однако более сложные процессы требуют выразительных ресурсов, превышающих ресурсы ядра PSL. Чтобы не было путаницы, само ядро PSL с каждым возможным понятием может быть полезно в описаниях того или иного процесса, но разнообразие отдельных модульных расширений требует развития и дополнения к ядру PSL. В этом случае пользователь может точно приспособить язык для удовлетворения его требований в выразительности.

Примечание 2. Все расширения являются теориями ядра или дефинициальными расширениями.
[ГОСТ Р 54136-2010. Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь]

330 просмотров

Правообладателям! В случае если свободный доступ к данному термину является нарушением авторских прав, составители готовы, по требованию правообладателя, убрать ссылку, либо сам термин (определение) с сайта. Для связи с администрацией воспользуйтесь формой обратной связи.