ГОСТ Р ИСОГГС 10303-1746—2015
4.2.3 Объект Software_version
Объект Software_version — это подтип объекта lnformation_version.
EXPRESS спецификация:
*)
ENTITY Software_version
SUBTYPE OF (lnformation_versk>n):
SELF\Product_version.of_product: Software;
END_ENTITY;
(*
Опредопение атрибута:
of_product — переопределенный атрибут, наследуемый от объекта Product_ version, область
определения которого меняется на объект Software.
4.3 Определение глобальных правил ПЭМ
Настоящий подраздел описывает глобальные правила ПЭМ рассматриваемого прикладного
модуля. Ниже приведены глобальные правила ПЭМ и их определения.
4.3.1 Глобальное правило software_dofinition_constraint
Правило software_definition_constraint устанавливает ограничение, согласно которому объект
Software_version. играющий роль атрибута defined_version. должен быть связан с объектом
Software_definition. представляющим определение программного обеспечения.
EXPRESS-спецификация:
*)
RULE software_definition_constraint FOR
{Product_view_defin ition);
WHERE
WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( ’SOFTWARE_ARM.’ +
’SOFTWARE_DEFINITION’ IN TYPEOF (pvd) )) AND ( ’SOFTWARE_ARM.’ + ’SOFTWARE_VERSION’ IN
TYPEOF ( pvd.dofined_version)) ) ) =0:
END_RULE:
(‘
Определения параметров:
Product_view_definition — множество всех экземпляров объекта Product_view_ definition.
Формальное положение:
WR1. Не
defined_version
должно существовать экземпляров объекта Product_view_definition. атрибут
которых ссылается на объект Software_version. и которые не являются
экземплярами объекта Software_definition.
4.3.2 Глобальное правило software_version_constraint
Правило software_version_constraint устанавливает ограничение, согласно которому объект
Software, играющий роль атрибута of_product. должен быть связан с объектом Software_version,
представляющим программное обеспечение некоторой версии.
EXPRESS-спецификация:
*)
RULE softv/are_version_constraint FOR
(Product_version);
WHERE
WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT ( ’SOFTWARE_ARM/ + ’SOFTWARE_VERSION’
IN TYPEOF ( pv))) AND { ’SOFTWARE_ARM.’ + ’SOFTWARE’ IN TYPEOF ( pv.ofproduct))) ) =0;
END_RULE:
(*
Определения параметра:
Product_version — множество всех экземпляров объекта Product_version.
Формальное положение:
WR1. Не должно существовать экземпляров объекта Product_version. атрибут of_product
которых ссылается на объект Software, и которые не являются экземплярами объекта
Software_version.
*)
END_SCHEMA; - Software_arm
С
4