ГОСТР ИСОГГС 10303-1112—2012
5.2.2 Определение объектов ИММ
В данном пункте определеныобъекты ИММ для прикладного модуля «Управление конфигурацией с
помощьюспецификаций».
5.2.2.1 Объект class
_
usago
_
effectivity
_
context
_
assignment
Объект class
_
usage
_
effectivity
_
context
_
assignment является подтипом объекта effecti-
vity
_
context
_
assignment. который реализует понятие, представленное в ПЭМ объектом Specifica-
tion
_
category
_
breakdown
_
influenco.
Объектclass
_
usago
_
effectivity
_
contoxt
_
assignmont определяетобъектapplkxi
_
effectivity
_
assignmont.
задавая тип данных effectivityjtems. который влияет на разработку решения для типа данных
class
_
usage
_
effectlvity
_
context
_
item.
EXPRESS-спецификация:
*)
ENTITY class
_
usage
_
effectivity
_
context
_
assignment
SUBTYPE OF (effectivity
_
context
_
assignment);
items: SET[1:?] OF class
_
usage
_
effectivity
_
context
_
item;
WHERE
WR1: SELF.role.name = ’class usage influence’:
WR2: SIZEOF( QUERY( i <* SELF.items | NOT
(’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
DEFINITION’ INTYPEOF(i))))=0:
WR3: (’SPECIFICATIONJX>NTROL
_
MIM.APPLIED
_
EFFECTIVITY
_
ASSIGNMENT IN
TYPEOF(SELF.assigned
_
effectivity
_
assignment))AND
(SIZEOF(TYPEOF(SELF.assigned
_
effectivity
_
assignment.assigned
_
effectivity))
= 1)AND (SELF.assigned
_
effectivity
_
assignment.assigned
_
effectivity.id =
’dass usage’)AND (SIZEOF( QUERY( i <*
SELF.assigned
_
effectivity
_
assignment\applied
_
effectivity
_
assignment.items|
NOT(’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
CONCEPT
_
FEATURE
_
CATEGORY
_
USAGE’IN
TYPEOF(i)) ))= 0);
END
_
ENTITY;
(*
Определениеатрибута
items — множество элементов, для которых объект applied
_
effectivity
_
assignment определяет
влияние на разработку решения.
Формальныеутверждения
WR1 — объект class
_
usago
_
effectlvity
_
contoxt
_
assignmentдолжен иметьатрибут role созначением
’classusage influence’ (влияние на применение класса);
WR2 — объект class
_
usago
_
effectivity
_
context
_
assignmentдолжен содержать в множестве своих
элементовтолькоэкземплярыобъектаproduct
_
definition.которыессылаютсячерезатрибутframo of referenco
на объект product
_
definition
_
context. имеющий наименование ’conceptual definition’ (концептуальное оп
ределение);
WR3 — объект class
_
usago
_
offectivity
_
context
_
assignment должен ссылаться на объект
applied
_
effoctivity
_
assignmontсатрибутом assigned
_
effectivity. представленным объектом effectivity с
атрибутом id. имеющим значение ’class usage’ (применение класса), у которого в множестве элементов
присутствуют толькообъекты product
_
concept
_
feature
_
category
_
usage.
5.2.22 Объект instance
_
usage
_
context
_
assignment
Объект instance
_
usago
_
context
_
assignmentявляется подтипом объекта product
_
definition
_
context
EXPRESS-спецификация:
*)
ENTITY instance
_
usage
_
context
_
assignment
SUBTYPE OF (product
_
definit>on
_
context);
items: SET[1:?j OF instance
_
usage context
_
select;
END
_
ENTITY,
(*
Определениеатрибута
items —данный атрибут определяет множество элементов типа данных instance
_
usage
_
context
_
select.
24