ГОСТ Р ИСО 18629-12—2010
10.6.6 Аксиома 6
Дереводеятельности представляет собой поддереводерева случаев:
(forall (?осс1 ?осс2?а)
(implies (min precedes ?осс1 ?осс2 ?а)
(exists (?осс0)
(and (initial ?occ0)
(or (precedes ?осс0 ?осс1)
(= ?оссО?осс1))
(precedes ?осс1 ?осс2)))))
10.6.7 Аксиома 7
Случаи корневых элементов являютсяэлементами дерева случаев:
(forall (?осс?а)
(implies (root ?осс ?а)
(exists(?осс0)
(and (initial ?occ0)
(or (precedes ?occ0 ?осс)
(= ?осс0 ?осс))))))
10.6.8 Аксиома 8
Каждый случайатомарной деятельности является деревом деятельности, содержащим толькоодин
случай:
(forall (?а1 ?а2 ?осс)
(implies (and (atomic ?а1)
(occurrence_of ?occ?a1)
(subactivity ?a2 ?a1))
(root ?occ ?a2)))
10.6.9 Аксиома 9
Деревья деятельности являются дискретными:
(forall (?осс1 ?осс2)
(implies (min_precedes?occ1 ?осс2?а)
(exists (?оссЗ)
(and (next_subocc ?осс1 ?оссЗ ?а)
(or (min_precedes ?оссЗ ?осс2 ?а)
(= ?оссЗ ?осс2))))))
10.6.10 Аксиома 10
Случаи подчиненной деятельности, находящиеся наодной ветвидерева случаев, принадлежат од
ной ветви деревадеятельности:
(forall (?а ?осс1 ?осс2 ?оссЗ)
(implies (and (min_precedes ?осс1 ?осс2 ?а)
(min_precedes ?осс1 ?оссЗ ?а)
(precedes ?осс2 ?оссЗ))
(min_precedes ?осс2 ?оссЗ ?а)))
10.6.11 Аксиома 11
Дерево деятельности случая составной подчиненной деятельности является поддеревом дерева
деятельности случая.
(forall (?а1 ?а2)
(implies (subactivity?а1 ?a2)
(not (exists (?occ)
(subtroe ?occ?a2 ?a1)))))
11 Теория ядра случаев деятельности
Activityoccurrence включает в себя аксиомы, ограничивающие свойства случаев атомарной подчи
ненной деятельности. Теория ядра случаевдеятельности сводит интуитивные представления к произволь
ным составным элементам подчиненной деятельности.
19