ГОСТ Р ИСО/ТС 10303-25—2012
ENTITY Feature
ABSTRACT SUPERTYPE OF {ONEOF (StructuralFeature. BehavraralFeature))
SUBTYPE OF (ModelElement):
ownerScope: ScopeKind;
owner: Classifier;
END_ENTITY; - - Feature
ENTITY GeneralizaWeElement
ABSTRACT SUPERTYPE OF (ONEOF {Classifier. Association. Package))
SUBTYPE OF (ModelElement);
isRoot:BOOLEAN;
isLeaf;BOOLEAN;
isAbstract;BOOLEAN;
INVERSE
parents; SET[0:?l OF Generalization FOR child;
children: SET[Ck?j OF Generalization FOR parent;
END_ENTITY; - - GeneralizaWeElement
ENTITY Generalization
SUBTYPE OF (Relationship);
discriminator; Name;
parent : GeneralizaWeElement;
child : GeneralizaWeElement;
END_ENTITY; - - Generalization
ENTITY ModelElement
ABSTRACT SUPERTYPE OF (ONEOF (Feature. Namespace. GeneralizaWeElement.
Parameter. AssociationEnd. Relationship))
SUBTYPE OF (Element);
nameName;
visibilityVisibifctyKind;
isSpecificationBOOLEAN;
namespace Namespace;
INVERSE
imported_by; SET[0:?] OF Elementlmport FOR importedElement;
END_ENTITY; - - ModelElement
ENTITY Multiplicity;
range ; Multiplicityrange;
INVERSE
size_of; SET[0;?] OF StructuralFeature FOR multiplicity;
END_ENTITY; - - Multiplicity
ENTITY Multiplicityrange;
lower : INTEGER;
upper : INTEGER;
INVERSE
range_of; SETI1:?] OF Multiplicity FOR range;
END_ENTITY; - - Multiplicityrange
ENTITY Namespace
ABSTRACT SUPERTYPE OF (ONEOF (Classifier. Package))
SUBTYPE OF (ModelElement);
INVERSE
elements ; SET[0:?J OF ModelElement FOR namespace;
END_ENTITY; - - Namespace
ENTITY Operation
SUBTYPE OF (BehavionUFeature);
concurrency : CallConcurrencyKind:
isRoot:BOOLEAN;
isLeaf:BOOLEAN;
isAbstract;BOOLEAN;
specification : STRING;
END_ENTITY: - - Operation
27