ГОСТ Р ИСОГГС 10303-1761—2015
EXPRESS-спецификация:
*>
ENTITY lr.formatior._defir.ition
SUBTYPE OF <Product_view_definition);
SELF\Product_view_definitior..defined_version : Information_version;
END_ENT1TY;
(*
Определение атрибута:
defined_version - задает объект lnformation_version. играющий роль настоящего атрибута.
4.2.2 Объект lnformation_product
Объект lnformation_product - это подтип объекта Product, который представляет информаци
онное изделие, являющееся чистой информацией, и не предназначенное для физической реализа
ции.
П р и м е ч а н и е-Объект Part представляет физически реализуемое изделие, а объект
Product_as_individual представляет физически реализованное изделие.
EXPRESS-споцификация:
")
ENTITY Information_product
ABSTRACT SUPERTYPE
SUBTYPE OF <Product);
END_ENTITY;
(*
"
4.2.3 Объект Software_version
Объект lnformation_version - это такой подтип объекта Product_vorsion, посредством которо
го обозначается версия информации.
EXPRESS-спецификация:
*)
ENTITY Information_version
SUBTYPE OF (ProductiverSion);
SELF\Product_version.of_product : Information_product;
END ENTITY;
(* “
Определение атрибута:
of_product задает объект lnformation_product. играющий роль настоящего атрибута.
4.3 Определение глобального правила ПЭМ
Настоящий подраздел описывает глобальное правило ПЭМ рассматриваемого прикладного
модуля. Ниже приведено глобальное правило ПЭМ и его определение.
4.3.1 Глобальное правило lnformation_product_version_constraint
Правило lnformatlon_product_version_constraint устанавливает ограничение, согласно кото
рому. объект lnformation_product. играющий роль атрибута of_product. должен быть связан с объек
том lnformation_version. представляющим версию программного обеспечения.
EXPRESS-спецификация:
*)
RULE Information_product_version_cor.strair.t FOR
(Product_version);
WHERE
WR1: SIZEOF (QUERY <pv <* Product_version | (NOT (
’INFORMATION_PRODUCT_ARM.’-r’INF0RMATI0N_VERS10N’IN TYPEOF {pv) ) )AND (
•INFORMATION_PRODUCT_ARM.’ * ’INFORMATION_PRODUCT’ IN TYPEOF <pv.of_product) )
) ) -
0
;
£NU_RULE;
<*
"
4