ГОСТ Р ИС0 18629-41—2011
19.5 Определения входных условий для действий
Для входных условийдлядействий определены нижеследующие понятия.
19.5.1 poss_equiv
Два события эквивалентны по входным условиям поотношению к некоторомудействию, если они
согласованы подопустимости указанных событий дляданногодействия.
(forall (?а ?осс1 ?осс2) (iff(poss_equiv ?а ?осс1 ?осс2)
implies (and (occurrence_of ?s1 ?a)
(occurrence_of ?s2 ?a))
(iff(legal ?occ1)
(legal ?occ2)))))
19.5.2 trunc
Данное соотношение истинно, если событие ?осс1 является последующим элементом некоторого
допустимогособытия.
(forall (?осс) (iff(trunc ?осс)
(forall (?осс1 ?а)
(implies (= ?осс (successor ?а ?осс1))
(legal ?осс1)))))
19.5.3 Unconstrained
Некотороедействие является безусловным, если всесобытия на дереве событийэквивалентны по
входным условиям.
(forall (?а) (iff(unconstrained ?а)
(forall (?s1 ?s2)
(implies (and (activity_occurrence ?s1)
(activity_occurrence ?s2))
(poss_equiv?a?s1 ?s2)))))
19.6 Грамматика входных условий для действий
Грамматика описаний процесса длявходных условий для действий эквивалентна грамматике утверж
денийобщего описания технологическогопроцесса в соответствии с ИСО 18629-11.
31