ГОСТ Р ИСО 18629-1—2010
- часть11. Ядро PSL;
- часть12. Внешнее ядро;
- часть 13. Время и теория упорядочивания;
- часть 14. Теория ресурсов;
- часть 15. Теория выполнения деятельности.
Каждая новая теория ядра должна быть включена в серию частей 1х.
c) Части 21—23 серии 2х распространяются на внешнее техническое взаимодействие:
- часть 21. EXPRESS;
- часть 22. XML;
- часть 23. UML.
Данные части могут быть изменены и доработаны в соответствии с потребностями промышлен
ности и изменениями технологий.
d) Части 41—47 серии 4х распространяются на дефинициальные расширения.
В дополнение к теориям ядра в комплексе стандартов ИСО 18629 предусмотрены серии дефи-
нициальных расширений, которые будут использоваться для фиксирования семантик терминологии
процесса в разных приложениях. Все определения в этих расширениях приведены с использованием
терминологии теории ядра. В настоящее время выпущены следующие части.
- часть 41. Виды деятельности;
- часть 42. Время и состояние;
- часть 43. Упорядочивание;
- часть 44. Роли ресурса;
- часть 45. Bi-щы наборов ресурсов;
- часть 46. Воды деятельности процессора;
- часть 47. Назначение процесса.
Дополнительные расширения будут разработаны комитетом по стандартизации в дальнейшем
в соответствии с требованиями промышленности. Любое новое расширение, т.е. дефинициальное рас
ширение ядра PSL. должно быть включено в серию частей 4х.
e) Стандарты серии 2хх распространяются на требования к реализации транслятора.
Стандарты этой серии будут доработаны в соответствии с потребностями промышленности и из
менениями технологии.
П р и м е ч а н и е — Система нумерации стандартов этой серии соответствует системе, принятой в других
стандартах, разработанных ИСО ТК 184.’ПК 4.
4.5 Стандарты ИСО 18629-1х: Теория ядра
4.5.1 ИСО 18629-11: Ядро PSL
Ядро PSL, основанное на математической теории первого порядка, — это формальный язык
с точной математической семантикой языка и набором аксиом, выражающим семантику данного языка.
Основными элементами языка являются четыре примитивных класса, две примитивные функции
и семь примитивных отношений онтологии ядра PSL.
Примитивными классами являются классы activity, activity„occurrence, timepoint и object.
Двумя функциями являются beginof и endof.
Примитивными отношениями являются следующие семь отношений — occurrence_of. between,
before-eq, between-eq. is-occurring-at. partidpates-in, exist-at.
4.5.2 ИСО 18629-12: Внешнее ядро
Расширения ядра PSL используют для определения таких расширений, которые будут приме
няться на практике для спецификации процессов производства, принадлежащих частным приложе
ниям. Набор расширений по ИСО 18629-12 дополняет ядро PSL, но данные расширения недоста
точно выразительны для описания сложных элементов, встречающихся на практике. Расширения
по ИСО 18629-12 являются более общими и глубокими в своем применении, чем остальные рас
ширения ИСО 18629 за исключением ядра PSL.
П р и м е ч а н и е 1— Главное отличие заключается в том. что внешнее ядро PSLдля своей спецификации
использует ядро PSL. в то время как ядро PSLдля своей спецификации не требует использования никакогодругого
набора аксиом.
9