ГОСТ Р 56271-2014
Приложение С
(обязательное)
Листинг: протошаблоны
В настоящем приложении рассмотрено полное множество протошаблонов, определенных в настоящем стан
дарте. См. также 4.3.
С.1 Протошаблоны реляционных типов сущностей
4
ApprovalTriple(x: у; z) -* Approval(x)лhasApproved(x: у)лhasApprover(x; z)
ApprovalTemplate(y; z) •- 9u(Approva!Trip!e(u: у; z))
Boundary01NumberSpaceTriple(x; y: z)«—BoundaryOfNumberSpace(x) AhasSubclass(x: y) AhasSuperclass(x: z)
BoundaryOfNumberSpaceTemplate(y; z) — 9u(BoundaryOfNumberSpaceTriple(u; y: z))
BoundaryOfPropertySpaceTriple(x: y; z) -» BoundaryOfPropertySpace(x)AhasSubciass(x: y)AhasSuperdass(x; z)
BoundaryOfPropertySpaceTemplate(y: z)9u(BoundaryOfPropertySpaceTriple(u: y; z))
CauseOfEventTriple(x: y; z) ♦- CauseOfEvent(x)AhasCaused(x; y)AhasCauser(x; z)
CauseOfEventTemplate(y; z)9u(CauseOfEventTnple(u: y; z))
ClassOfApprovalTriple(x; y. z) —•ClassOfApproval(x)AhasClassOfApproved(x; y)AhasClassOfApprover(x: z)
ClassO(ApprovarTemplate(y; z) -♦
9
u(Cl
3
SsOfApprovaITripte(u: y: z))
ClassOtCauseOfBeginningOfClassOflndividualTnpte(x; y: z) *—
ClassOfCauseOfBeginningOfClassOflndividuat{x) AhasClassOfBegun(x; y) AhasClassOfCauser(x: z)
ClassO(CauseOfBeginningOfClassOflndividualTemplate(y: z) *-»
9u(ClassOfCauseOfBeginningOfClassOflndividualTriple(u: y: z))
ClassOfCauseOIEndingCMClassOflndividualTriple(x; y; z) -»
ClassOfCauseOfEndingOfClassOflndividual(x)AhasClassOfCauser(x; y) AhasClassCHEnded(x; z)
ClassOfCauseOfEndingOfClassOflnchvkiualTemplate(y: z) *-* 9u(ClassOfCauseOIEndingOfC!assOflndividualTriple(u. y; z))
ClassOfCIassOfCompositionTriple(x; y; z) —
ClassOfClassOfComposition(x) AhasClassOfClassOfPart(x; y) AhasCiassOfClassOfWhole(x; z)
ClassOfClassOfCompositionTemplate(y; z) ♦-*9u(ClassOfClassOfComposit»onTfiple(u: y: z))
ClassOfClassOfRepresentationTripte<x: y; z) •-
ClassOfCIassOfRepresentation(x)AhasClassOfPattern(x; y) AhasClassOfRepresented(x: z)
ClassOfClassOfRepresenlationTemplate(y: z) -♦ 9u(CiassO(C!assOfRepresenlationTriple(u; y: z))
ClassOfClassOfRepresentationTranslationTrip»e(x; y; z) «-♦
ClassOfClassOfRepresentationTranslation(x)AhasClassOfFirst(x: у) AhasClassOfSecond(x: z)
ClassOrciassOfRepresentalionTranslationTemplate(y; z) -» 9u(ClassOfClassOfRepresentalionTranslationTriple(u; y; z))
ClassO(ClassOfResponsibililyForRepresentationTriple(x; y: z) —
ClassOrciassOfResponsibilityForRepresentation(x)AhasClassOIClassOfControlled(x: y^hasControllertx: z)
ClassO(ClassOfResponsibilityForRepresenlationTemplate(y: z) •-
9u(ClassOfClassOfResponsibilityForRepfesentationTripie(u; y; z))
ClassOfClassOfUsageOfRepresentationTriple(x: y; z) -♦
ClassOfClassO(UsageOfRepresentation(x)AhasClassOfClassOfUsed(x; y)AhasUser(x; z)
ClassO(ClassOfUsageOfRepresentationTemplate(y: z) — 9u(C!assCMClassOftJsageOfRepresentationTriple(u; y; z))
ClassOfClassificationTnple(x: y; z)
ClassOfCIassification(x)AhasClassOfClassified(x: y)AhasClassO(Classifier(x: z)
ClassOfCiassificationTemp!ate(y; z) -. 9u(ClassOfClassiricationTripIe(u: y; z))
ClassOfCompositk)nOflndividualTriple<x: y: z) *-
ClassOfCompositkxiOflndividua!(x)AhasClassOfPart(x; у)AhasClassOfWho<e(x; z)
ClassOfComposibonCXIndivkJualTemplatefy; z) —* 9u(ClassOfCompositionOflndividualTriple(u; y; z))
ClassOfConnectionOfIndiv»dualTriple(x; y: z) •-*
ClassOfConnectionOflndivkJual(x)AhasClassOfSide1(x: у) AhasCIassOfSKle2(x: z)
ClassOfConnectionOflndiv»duatTemplate(y: z) — 9u(ClassOfConnectionOflndividualTnp(e(u; y: z))
ClassOfDimensionForShapeTrip(e(x; y: z) «-
ClassOfDimensionForShape(x) AhasClassOfDimension(x; y)AhasClassOfShape(x; z)
ClassO(DimensionForShapeTemplate(y; z) — 9u(CtassOfDimens»onForShapeTriple{u: y; z))
ClassOfFunclionalMappingTripteix: y; z) *- ClassOfFunclionalMapping(x)AhasCodomain(x; y)AhasDomam(x; z)
ClassOfFunctionalMappcngTemplate(y: z) —* 9u(ClassOfFunctionalMappingTripte(u: y: z))
C!assOflndirectPropertyTriple(x; y. z) •-*
ClassOflndirectPrc
4
Jerty(x)AhasClassOfPossessor(x; y)AhasPropertySpace(x: z)
68