ГОСТР ИСО 18629-43—2011
(forall (?осс)
(<=> (occurrence
_
of ?осс make
_
harness
_
wire)
(exists (?осс1 ?осс2 ?оссЗ ?осс4)
(and (occurrence
_
of ?ocd extrude)
(occurrence
_
of ?осс2 twist)
(occurrence
_
of ?occ3 jacket)
(occurrence
_
of ?occ4 assemble)
(soo
_
precedes (soomap ?occ1) (soomap ?occ2) make
_
harness
_
wire)
(soo
_
precedes (soomap ?occ3) (soomap ?occ4) make
_
harness
_
wire)
(soo
_
precedes (soomap ?occ2) (soomap ?occ3) make
_
harness
_
wire))))
Данное представление формализует процесс спецификации на рисунке В.6. Вданном представлении соот
ношение «soo
_
precedes» используется для спецификации упорядочивающих ограничений для событий «extrude»,
«twist», «jacket» и «assemble». Каждая стрелка на рисунке В.6 соответствует формуле «soo
_
precedes». Функция
«soomap» используется для выделения возможных многозначных событий.
32