ГОСТ Р ИСО 18629-29—2010
С одерж ание
1 Область применения................................................................................................... 1
2 Нормативные ссылки . . ..................................................................................................................... 1
3 Термины, определения и сокращения................................................................................................. 2
3.1 Термины и определения.................................................................................................................. 2
3.2 Сокращения....................................................................................................................................... 5
4 Общие положения комплекса стандартов ИСО 18629 .................................................................... 5
5 Общие положения настоящего стандарта......................................................................................... 5
5.1 Расширения, входящие во внешнее ядро.................................................................................... 5
6 Теория ядра подчиненной деятельности............................................................................................6
6.1 Примитивные отношения................................................................................................................6
6.2 Установленные отношения........................................................ . .................................................6
6.3 Связь с другими наборами аксиом................................................................................................6
6.4 Неформальная семантика..............................................................................................................6
6.5 Определения................................................... ...............................................................................7
6.6 Аксиомы..............................................................................................................................................7
7 Теория ядра дерева случаев................................................................................................................8
7.1 Примитивные отношения................................................................................................................8
7.2 Примитивные функции....................................................................................................................8
7.3 Связь с другими наборами аксиом................................................................................................8
7.4 Неформальная семантика
.............
. ........................... ...............................................................8
7.5 Аксиомы..............................................................................................................................................9
8 Теория ядра дискретного состояния....................................................................................................11
8.1 Примитивные категории..................................................................................................................11
8.2 Примитивные отношения................................................................................................................11
8.3 Связь с другими наборами аксиом................................................................................................ 12
8.4 Неформальная семантика
.............
. ........................... ............................................................... 12
8.5 Аксиомы..............................................................................................................................................12
9 Теория ядра атомарной деятельности................................................................................................13
9.1 Примитивные отношения................................................................................................................13
9.2 Примитивные функции.....................................................................................................................14
9.3 Связь с другими наборами аксиом................................................................................................14
9.4 Неформальная семантика........................................... . ...............................................................14
9.6 Аксиомы............................................................................................................................................14
10 Теория ядра комплексной деятельности............................................................................................15
10.1 Примитивные отношения . ....................................................................... .................................15
10.2 Установленные отношения...........................................................................................................15
10.3 Связь с другими наборами аксиом................................................................................
...
16
10.4 Неформальная семантика..................................... .............................
...
...................................16
10.5 Определения...................................................................................................................................17
10.6 Аксиомы...........................................................................................................................................18
11 Теория ядра случаев деятельности................................................................ 19
11.1 Примитивные отношения.............................................................................................................. 20
11.2 Установленные отношения в теории ядра случаев деятельности........................................... 20
11.3 Связь с другими наборами аксиом............................................................................................. 20
11.4 Неформальная семантика............................................................................................................. 20
11.5 Определения................................................................................................................................... 21
11.6 Аксиомы............................................................................................................ 22
ПриложениоА (обязательное) ИдентификаторASN.1, присвоенный ИСО 18629-12 ...................... 25
Приложение В (справочное) Связь с ситуационным исчислением................................................... 26
ПриложениеС (справочное) Пример описания процесса с помощью внешнего ядра PSL............ 27
Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартовссы
лочным национальным стандартам Российской Федерации....................................32
Библиография............................................................
...
...............................................................................33
Ш