ГОСТ Р ИСО/МЭК ТО 10023—в3
сигнализируется об успешном освобождении, см. 10.7 ГОСТ
34.960). Форма этого определения —экземпляр общего определе
ния (приведенного в 8.5.5), полученный использованием в качестве
актуального типа параметра .^(Representations, который опреде
лен в библиотеке типов данных LOTOS.
type ТС Delays
is POThreeTuple aetualizedby TCF.stablishrncntDelay, TransitDeiay,
TCReleaseDelay using
sortnaines
Delays for ThreeTuple
EstDelay for Element
TransDelay for Element2
-RelDclay for Element3
Bool for FBool
opnnames
TCOstablishment for First
Transit for Second
TCRelease for Third
Delay for Tuple
endtype (* TCDelays *)
type TCEstablishmentDelay
is NatRepresentations
sorts
EstDelay
opns
EstDelayNat— >F.stDelay
TimeEstDelay —> Nat
-eq_, -no-. -Ie_, -It-. -ge_. -gt_EstDelay, EstDelay
— > Bool
eqns
forall
n. nl; Nat, e. el: EstDelay
ofsort Nat
Time (EstDelay (n)) »n;
ofsort Bool
EstDelay (n) le EstDelay (nl) » n le nl:
e It el = (e le el) and not (el le e);
e eq el = (e le el) and (el le e);
e ne el = not(e eq el);
e ge el = el le e;
e gt e l« ( e ge el) and not (el ge e);
J8