ГОСТ Р HCO/HL7 27951— 2016
invariant(BLх, у) 1
х.ог(у).equal(x.not.and(y.not;.not!;
1 ;
В.2.1.4 Свойство xor: BL
Определение: исключающая дизъюнкция хот ограничивает дизъюнкцию от таким образом, что два операнда
не могут одновременно иметь значение «true».
invariant(BL х, у) |
x.xor(у).equal(x.or(у).апа(х.апп(у;.not));
1;
В.2.1.5 Свойство implies: BL
Определение: правило импликации в форме «Если условие, ТО следствие». Логическая импликация опреде
ляется как дизъюнкция следствия (conclusion) и отрицание условия. Это означает, что если условие (condition) имеет
значение «true», то для того, чтобы результат всего выражения имел значение «true», необходимо, чтобы следствие
(condusion) имело значение «true». Логическая импликация важна для конструирования инвариантных выражений.
invariant(BL condition, conclusion) |
condition.implies(conclusion;.equal(
condition.not.or(conclusion));
l ;
Импликация необратима и не указывает, что имеет значение «true», если условие имеет значение «false» (ex
(also quodlibet — лат. «из лжи следует что угодно»),
В.2.1.6 Литеральная форма
Литеральная форма типа данных Boolean определяется именованными значениями, указанными в конструк
ции values, а именно «true» и «false».
В.2.2 Тип данных BooleanNonNull (BN) (специализация типа данных BL)
Определение: тип данных BN ограничивает тип данных BL таким образом, то значение этого типа данных
не может быть пустым. Этот тип данных предназначен для использования в тех случаях, когда пустое значение
недопустимо.
private type BooleanNonNull alias BN speciali2es BL;
I ;
B.2.2.1 Свойство isNull: BN
invariant (BNx; (
x.isNull.not
i ;
ST
♦heaocraracterf): ST
«MBMnoO’Sr
-Hengthfl.NT
•medeTypeQ: CS(code ■ ’texVpUm"}
♦comprossioflO CS{notApptcabteO)
♦reterenceO:TEL{notAppleableO}
♦mtegntyCtieck!) ВII{notApplcable<)}
«mtegrityCheckAtoertbrnO• CS(nolAppfceWeO)
♦emmbnalO EO(notAppIcableO)
BN
BIN
♦bead!)•BN(поШиЦ)
<bnd>(8N)
’H ’rANYj
us7
EO
tmedaTypeO: CS
♦charsdO CS
♦languageO: CS
♦cwnpresaenO;CS
♦reference(). 7EL
♦integrityCheck!): Bit
♦mtegrityCheckAlgorthinO CS
♦Вштьлаяг) ED
Рисунок B.3 — Обзор мультимедийных и текстовых типов данных
В.2.3 Тип данных BinaryData (BIN) (специализация типа данных LIST<BN>)
Определение: тип данных BIN представляет собой простой блок битов. Он является защищенным, так что не
должен объявляться за пределами спецификации типов данных.
303