ГОСТ Р 56271-2014
UpperBoundOfPropertyRange(x)лhasClassiffed(x; у) АhasClassifierfx; z)
UpperBoundOfPropertyRangeTemplate(y; z) — 9u(UpperBoundOfPropertyRangeTriple(u; у; z))
UsageOfRepresentat*onTriple{x; y; z) «—UsageOfRepresentation(x) лhasUsed(x: у) лhasUser(x; z)
UsageO(RepresentalionTemplale(y; z) —• 9u(UsageOfRepresentationTriple{u: y: z))
C.2 Протошаблоны для подтипов реляционных типов сущностей
1
ArrangementOflndividualTriple(x; у; z) —ArrangementOflndividual(x)ЛComposiltonO{lndiv»dualTripte(x; у: z)
ArrangementOflndividualTemplate(y; z) — 9u(ArrangementOflndivtduan‘riple(u; у; z))
AssemblyOflndividua!Triple(x; y; z) «-»AssemblyOflndividual(x) лArrangementOflndividualTriple(x; y; z)
AssemblyOflndivkJuarTeniplate(y; z) *-»9u(AssemblyOflndividuafTriple<u; y; z))
BeginningTriple(x: y; z) — Beginning^) лTemporaiBoundingTripte<x; y: z)
BeginningTemp!ate(y: z) *-• 9u(BeginningTripte(u; y; z))
ClassOfArrangementOflndividua!Triple(x: y, z) •-»
ClassOfArrangementOflndividual(x)AClassOfCompositionCHIndivKluafTripte(x: y; z)
ClassO(ArrangementOflndividualTemplate<y; z) ♦-»9u(ClassOfArrangementOflr>drviduannple{u: y; z))
ClassOfAssemblyOflndividualTriple(x; y; z) *-*
ClassOfAssemblyOnndividual(x) AClassOfArrangementOflndividuaITriple(x; y: z)
ClassOfAssemb)yOflndividualTemplate(y; z) *-»9u(ClassOfAssemblyOflndividualTrip!e(u; y: z))
ClassOfClassOfDefinitionTnple(x; y: z) — ClassOfClassOfDefinition(x) AClassOfClassOfRepresentationTnple(x: y; z)
ClassOfClassOfDefinitionTemplate(y; z) «-♦9u(ClassOfClassOfDefinitionTriple(u; у: z))
ClassOfClassO(DescripbonTripie{x; y; z )«-»ClassO(ClassOIDescriptk)o(x/’CiassOfClassOfRepres€ntaticxiTnple(x; y; z)
ClassOfClassOfDescripbonTempJate<y; z) -» 9u(ClassOfClassOfDescriptionTripJe<u; y: z))
ClassOfClassOfldenti(icatkxiTriple(x: y; z) —»
ClassOfClassOfldentification(x)AClassO<ClassOfRepfesentatonTriple(x; y, z)
ClassOfClassOfldentificat*onTemplate(y; z) -- 9u(C!assOfC!assOfldentificationTriple{u; y: z))
ClassOfClassOfRelationshipWithStgnatureTriple(x; y: z) ♦-
ClassOfClassOfRelationshipWithSignalure{x)AClassOfRelationshipWithSignatureTriple{x; y; z)
ClassOfClassOfRe!alionshipWithStgnatureTemplate(y: z) — 9u(CiassOfClassOfRelationshipWithSignatureTriple(u; y; z))
ClassO(ContainmentOflndivtdualTriple(x; y: z )«-»
ClassOfContainmentOflndivkiua)(x)AClassOfRelativeLocationTriple(x: y; z)
ClassO(ContainmentOflr>divtduaITemplate(y: z) ♦-»9u(ClassOfContainnwntOflndivjduarTripIe<u; y: z))
ClassOfDefinit»onTriple(x; y; z) *-♦ClassOfDefinition(x)AClassOfRepresentationOfThingTriple{x: y; z)
ClassOfDefinitk>nTemplate(y: z) — 9u(C!assOfDefinitk>nTriple{u: y: z))
ClassOfDescriptionTriple(x; y; z) *-* ClassOfDescription(x)AClassOfRepresentationOfThingTripte(x; y; z)
ClassOfDescriptionTemplate(y: z) ♦- 9u(ClassOfDescriptionTriple(u: y; z))
ClassOfDirectConnectionTriple{x; y; z) *-* ClassOfDirectConnection(x)л ClassOfConnectionOflndividualTriple(x; y; z)
ClassOfDirectConnect»onTemplale(y; z) — 9u(ClassOfDirectConnect»onTriple{u; y; z))
ClassOfFeatureWholeParlTriple(x; y; z) — ClassOfFeatureWholePart(x)’’ClassOfArrangementOflndiv»dualTripte(x; y; z)
ClassOfFeatureWhotePartTemplate(y: z) »-*9u(ClassOfFeatureWholePartTriple(u; y: z))
ClassOfldentificationTriple(x; y; z) —*ClassOfldentification(x)лClassOfRepresentationOfThingTripl&(x: y; z)
ClassO(ldentiftcalionTemplate(y; z) *-* 9u(ClassOfldentificatk>nTripl&(u; y: z))
ClassOflndirec«ConnectionTripte(x; y: z) *-
ClassOflndirectConnection{x)AClassOfConnectionOflndividualTnpte(x; y; z)
ClassOflndirectConnectionTemplate(y; z) —• 9u(ClassOflndirectConnectionTnple(u; y; z))
ClassOflsomorphicFunc5ionalMapp<ngTrip(e(x; y: z) ♦—
ClassOflsomorphicFuncbonalMapptng(x)AClassOfFunc ionalMappingTripSe(x; y: z)
ClassOflsomorphicFunctionalMappingTemplate(y; z) —►9u(ClassOflsofnorphicFunctionalMappingTripte(u; y; z))
ClassOfLeftNamespaceTriple(x; y; z) •- ClassOfLeftNamespace(x)AC!assOfNamespaceTriple(x: y. z)
ClassOfLeftNamespaceTemplate(y: z) •- 9u(ClassOfLeftNamespaceTriple(u: y; z))
ClassOfR>ghtNarTsespaceTriple(x; y; z) »-*ClassOfRightNamespace(x)AClassOfNamespaceTriple{x: y; z)
ClassOfRightNamespaceTemplalefy; z) — 9u(ClassOfRightNamespaceTriple(u; y; z))
ClassOfTemporalWholePartTriple(x: y; z) -*
ClassOfTempwalWholePart(x)AClassOfCompositionOflndividuaITriple{x; y; z)
ClassOfTemporalWholePartTemplate{y: z) —>9u{ClassOfTemporalWholePartTriple(u: y; z))
ContainmentOfIndividualTriple(x: y: z)ContainmentOflr>div*dual(x)ARelativeLocationTripte(x; y; z)
ContainmentOflndividualTemptate(y: z) •- 9u<ConlainmenraflndividualTriple(u: y; z)) CoordinateSystemTriple{x:
y; z) *-• CoordinateSystem(x)AWultidimensiorvalScaleTriplefx; y: z) CoordinateSystemTemplate(y: z) —•
9u(CoordinateSystemTriple(u; y: z))
DefinitionTnple(x; y; z) — Definition(x)ARepresentationOfThir>gTriple(x; y; z)
DefinitionTemplate(y; z)9u(Defirtitk>nTriple(u; y: z))
71