ГОСТР ИС0 18629-43—2011
17.5.1 coo
_
procedos
Некоторое комплексноесобытие ?осс1 имеет свойство «coo
_
precedes» поотношениюк комплексно
му событию ?осс2. если каждое неделимое подсобытие ?осс1 также имеет свойство «coo
_
precedes» по
отношению к каждому неделимому подсобытию ?осс2.
(forall (?осс1 ?осс2 ?а) (iff(coo
_
precedes ?осс1 ?осс2 ?а)
(forall (?s1 ?s2)
(implies (and(subactivity
_
occurrence ?s1 ?occ1)
(subactivity
_
occurrence ?s2 ?occ2)
(atomocc?s1)
(atomocc ?s2))
(soo
_
precedes ?s1 ?s2?a)))))
17.5.2 strong
_
parallel
Некоторое комплексноесобытие ?occ1 параллельно комплексномусобытию ?осс2. если какое-либо
неделимое подсобытие ?осс1 обладаетсвойством «same
_
bag» в отношении неделимого подсобытия ?осс2.
(forall (?осс1 ?occ2?a)(iff(strong
_
parallel?occ1 ?осс2?а)
(forall (?s1 ?s2)
(implies (and(subactivity
_
occurrence ?s1 ?occ1)
(subactivity
_
occurrence ?s2 ?occ2)
(atomocc ?s1)
(atomocc?s2))
(same
_
bag ?s1 ?s2 ?a)))))
17.5.3 atomocc
Некоторое событие обладает свойством «atomocc». если онозаключается в выполнении неделимого
действия.
(forall (?s) (iff(atomocc ?s)
(exists(?a)
(and (atomic ?a)
(occurrence
_
of ?s ?a)))))
25