It is possible thatsometerm corresponds to more than onelabel and that for somelabel, more than oneterm corresponds to thatlabel. In each population ofterm corresponds to label, eachterm, labelcombinationoccurs at most once.
ExternalUniquenessConstraint2
Type:
ExternalUniquenessConstraint
Verbalization:
It is obligatory thatfor eachcontext and term, at most oneacronym is used in thatcontext and involves thatterm.
For eachstructural element, exactly one of the following holds: thatstructural element is somerecord; thatstructural element is somecontainer; thatstructural element is someconcept; thatstructural element is someacronym.
Acronym is involved in acronym is used in context. For eachacronym, thatacronym is involved in someacronym is used in context. PermanentFact = False HiddenFact = False
Acronym is involved in glossary contains acronym. For eachacronym, it is obligatory thatthatacronym is involved in someglossary contains acronym. PermanentFact = False HiddenFact = False
It is possible thatsomeacronym is used in more than onecontext and that for somecontext, more than oneacronym is used in thatcontext. In each population ofacronym is used in context, eachacronym, contextcombinationoccurs at most once. This association withacronym, contextprovides the preferred identification scheme foracronym is used in context.
For eachrecord, exactly one of the following holds: thatrecord is somechange request; thatrecord is someaction; thatrecord is someproduct specific tailoring record; thatrecord is someproduct specific request for deviation; thatrecord is someproduct specific request for waiver; thatrecord is someminute of meeting; thatrecord is someparagraph; thatrecord is someuser; thatrecord is someglossary entry.
It is possible thatsomechapter contains at more than oneposition and that for someposition, more than onechapter contains at thatposition. In each population ofchapter contains at position, eachchapter, positioncombinationoccurs at most once. This association withchapter, positionprovides the preferred identification scheme forchapter component.
Eachchapter component contains at most onechapter.
ExclusiveOrConstraint3
Type:
InclusiveOrConstraint
Verbalization:
For eachchapter component, exactly one of the following holds: thatchapter component contains somechapter; thatchapter component contains someparagraph.
For eachcontainer, at most one of the following holds: thatcontainer is somedocument; thatcontainer is someterms of reference; thatcontainer is somemeeting; thatcontainer is somedocument requirements definition; thatcontainer is somechapter; thatcontainer is someproduct; thatcontainer is someECSS pre-tailoring guideline; thatcontainer is someproduct specific tailoring feedback; thatcontainer is someorganization; thatcontainer is someglossary.
Eachconfiguration item has at most oneuniversally unique identifier.
InternalUniquenessConstraint105
Type:
InternalUniquenessConstraint
Verbalization:
For eachuniversally unique identifier, at most oneconfiguration item has thatuniversally unique identifier. This association withuniversally unique identifierprovides the preferred identification scheme forconfiguration item.
SimpleMandatoryConstraint52
Type:
SimpleMandatoryConstraint
Verbalization:
Eachconfiguration item has someuniversally unique identifier.
*Configuration item is represented by last published structural elementif and only if thatconfiguration item is represented by somestructural elementthat isthatpublished structural elementthat is last publication.
*Configuration item is under revision if and only if thatconfiguration item is represented by some last published structural elementthat can be superseeded by somestructural element.
*Container has structural element typeif and only if thatcontainer is somedocument wherestructural element type=document orthatcontainerissomedocument1that has thatstructural element type orthatcontainer is someglossary wherestructural element type=glossary.
It is possible thatsomecontainer has more than onestructural element type and that for somestructural element type, more than onecontainer has thatstructural element type. In each population ofcontainer has structural element type, eachcontainer, structural element typecombinationoccurs at most once.
SimpleMandatoryConstraint63
Type:
SimpleMandatoryConstraint
Verbalization:
It is obligatory thateachcontainer has somestructural element type.
*Container1 logically contains structural element1if and only if thatcontainer1 logically contains thatstructural element1 at someposition or logically contains somestructural element2 at someposition wherethatstructural element2issomecontainer2that logically contains thatstructural element1.
It is possible thatsomecontainer logically contains more than onestructural element and that somestructural element logically belongs to more than onecontainer. In each population ofcontainer logically contains structural element, eachcontainer, structural elementcombinationoccurs at most once.
For eachcontainer and position, thatcontainer logically contains at most onestructural element at thatposition. This association withcontainer, positionprovides the preferred identification scheme forcontainer logically contains structural element at position.
It is possible thatsomecontext endorses more than onecontext and that for somecontext1, more than onecontext endorses thatcontext1. In each population ofcontext endorses context, eachcontext, contextcombinationoccurs at most once. This association withcontext, contextprovides the preferred identification scheme forcontext endorses context.
No context may cycle back to itself via one or more traversals through context is child of context. If context2 is parent of somecontext1 then it is not true that context2 is indirectly related to context1 by repeatedly applying this fact type.
It is possible thatsomedocument contains a chapter at more than oneposition and that for someposition, more than onedocument contains a chapter at thatposition. In each population ofdocument contains a chapter at position, eachdocument, positioncombinationoccurs at most once. This association withdocument, positionprovides the preferred identification scheme fordocument component.
SimpleMandatoryConstraint94
Type:
SimpleMandatoryConstraint
Verbalization:
It is obligatory thateachdocument contains a chapter at someposition.
*Document has structural element typeif and only if thatdocument is somestandard wherestructural element type=standard orthatdocument is somehandbook wherestructural element type=handbook orthatdocument is sometechnical memorandum wherestructural element type=technical memorandum.
Document is involved in document component. For eachdocument, it is obligatory thatthatdocument is involved in somedocument component. PermanentFact = False HiddenFact = False
It is possible thatsomeglossary contains more than oneacronym and that someacronym belongs to more than oneglossary. In each population ofglossary contains acronym, eachglossary, acronymcombinationoccurs at most once. This association withglossary, acronymprovides the preferred identification scheme forglossary contains acronym.
SimpleMandatoryConstraint44
Type:
SimpleMandatoryConstraint
Verbalization:
It is obligatory thateachacronym belongs to someglossary.
Eachglossary entry is adapted from at most onesource.
ExclusionConstraint2
Type:
ExclusionConstraint
Verbalization:
For eachglossary entry, at most one of the following holds: thatglossary entry is inherited from somesource; thatglossary entry is adapted from somesource.
It is possible thatsomeglossary entry contains a note at more than oneposition and that for someposition, more than oneglossary entry contains a note at thatposition. In each population ofglossary entry contains a note at position, eachglossary entry, positioncombinationoccurs at most once. This association withglossary entry, positionprovides the preferred identification scheme forglossary entry note.
For eachdocument, at most one of the following holds: thatdocument is somestandard; thatdocument is somehandbook; thatdocument is sometechnical memorandum.
*In context, concept is identified by term and defined by concept definitionif and only if someglossary entry provides a definition for thatconcept wherethatglossary entry is scoped by thatcontext and uses thatterm and has thatconcept definition.
It is possible thatfor somecontext, concept, and term, in thatcontext, thatconcept is identified by thatterm and defined by more than oneconcept definition and that for somecontext, concept, and concept definition, in thatcontext, thatconcept is identified by more than oneterm and defined by thatconcept definition and that for somecontext, term, and concept definition, in thatcontext, more than oneconcept is identified by thatterm and defined by thatconcept definition and that for someconcept, term, and concept definition, in more than onecontext, thatconcept is identified by thatterm and defined by thatconcept definition. In each population of in context, concept is identified by term and defined by concept definition, eachcontext, concept, term, concept definitioncombinationoccurs at most once.
SimpleMandatoryConstraint39
Type:
SimpleMandatoryConstraint
Verbalization:
For eachconcept, in somecontext, thatconcept is identified by someterm and defined by someconcept definition.
*Organization has organization nameif and only if thatorganization is identified by someterm1that isthatorganization name or is identified by someterm2that is involved in someacronym that is used in somecontext and involves somelabelthat isthatorganization name.
*Paragraph has structural element typeif and only if thatparagraph is someinformative paragraph wherestructural element type=informative paragraph orthatparagraph is somepersuasive paragraph wherestructural element type=persuasive paragraph orthatparagraphissomepersuasive paragraph1that has thatstructural element type.
It is possible thatsomeparagraph has more than onestructural element type and that for somestructural element type, more than oneparagraph has thatstructural element type. In each population ofparagraph has structural element type, eachparagraph, structural element typecombinationoccurs at most once.
Eachpermission is at most onepersuasive paragraph.
InternalUniquenessConstraint143
Type:
InternalUniquenessConstraint
Verbalization:
Eachpersuasive paragraph is at most onepermission.
SimpleMandatoryConstraint80
Type:
SimpleMandatoryConstraint
Verbalization:
Eachpermission is somepersuasive paragraph.
ExclusionConstraint3
Type:
InclusiveOrConstraint
Verbalization:
For eachpersuasive paragraph, exactly one of the following holds: thatpersuasive paragraph is somerequirement; thatpersuasive paragraph is somepermission; thatpersuasive paragraph is somerecommendation.
*Persuasive paragraph has structural element typeif and only if thatpersuasive paragraph is somerequirement wherestructural element type=requirement orthatpersuasive paragraph is somerecommendation wherestructural element type=recommendation orthatpersuasive paragraph is somepermission wherestructural element type=permission.
It is possible thatsomepersuasive paragraph contains a note at more than oneposition and that for someposition, more than onepersuasive paragraph contains a note at thatposition. In each population ofpersuasive paragraph contains a note at position, eachpersuasive paragraph, positioncombinationoccurs at most once. This association withpersuasive paragraph, positionprovides the preferred identification scheme forpersuasive paragraph note.
For eachpublication justification type code, at most onepublication justification type has thatpublication justification type code. This association withpublication justification type codeprovides the preferred identification scheme forpublication justification type.
InternalUniquenessConstraint156
Type:
InternalUniquenessConstraint
Verbalization:
Eachpublication justification type has at most onepublication justification type code.
SimpleMandatoryConstraint86
Type:
SimpleMandatoryConstraint
Verbalization:
Eachpublication justification type has somepublication justification type code.
*Published structural element has published structural element user identifierif and only if thatpublished structural elementissomestructural elementthat is published and has thatstructural element user identifier.
*Published structural element- is superseeded by a new version if and only if thatpublished structural element can be superseeded by somestructural elementthat is published.
*Published structural element is superseeded by obsolescence if and only if thatpublished structural element represents the last publication of someconfiguration itemthat is obsolete andit is not true that (thatpublished structural element- is superseeded by a new version).
*Record has structural element typeif and only if thatrecord is someparagraph wherestructural element type=paragraph orthatrecordissomeparagraph1that has thatstructural element type.
It is possible thatsomerecord has more than onestructural element type and that for somestructural element type, more than onerecord has thatstructural element type. In each population ofrecord has structural element type, eachrecord, structural element typecombinationoccurs at most once.
*Released structural element has released structural element user identifierif and only if thatreleased structural elementissomestructural elementthat is released and has thatstructural element user identifier.
For eachrelease justification type code, at most onerelease justification type has thatrelease justification type code. This association withrelease justification type codeprovides the preferred identification scheme forrelease justification type.
InternalUniquenessConstraint61
Type:
InternalUniquenessConstraint
Verbalization:
Eachrelease justification type has at most onerelease justification type code.
SimpleMandatoryConstraint29
Type:
SimpleMandatoryConstraint
Verbalization:
Eachrelease justification type has somerelease justification type code.
For eachglossary, term, and context, at most onesource comes from thatglossary and uses thatterm and addresses thatcontext. This association withglossary, term, contextprovides the preferred identification scheme forsource.
*Structural element1 can superseed published structural elementif and only if thatstructural element1 directly logically modifies some previous structural element2that isthatpublished structural element or directly logically modifies some previous structural element3that can superseed thatpublished structural element.
Eachstructural element directly logically modifies at most one previous structural element.
RingConstraint1
Type:
RingConstraint
Verbalization:
No structural element may cycle back to itself via one or more traversals through structural element directly logically modifies previous structural element. If structural element2 is directly logically modified by some next structural element1 then it is not true that structural element2 is indirectly related to structural element1 by repeatedly applying this fact type.
*Structural element has structural element typeif and only if thatstructural element is someconcept wherestructural element type=concept orthatstructural elementexists wherestructural element type=acronym orthatstructural element is somerecord wherestructural element type=record orthatstructural element is somecontainer wherestructural element type=container orthatstructural elementissomecontainer1that has thatstructural element type orthatstructural elementissomerecord1that has thatstructural element type.
Notes:The derivation rule involves inclusive-or conditions, resulting to the fact that a structural element can have several associated types, i.e. for the different types of record, these types and the record type itself, for the different types of container, these types and the container type itself. PermanentFact = False HiddenFact = False
It is possible thatsomestructural element has more than onestructural element type and that somestructural element type is of more than onestructural element. In each population ofstructural element has structural element type, eachstructural element, structural element typecombinationoccurs at most once.
SimpleMandatoryConstraint12
Type:
SimpleMandatoryConstraint
Verbalization:
Eachstructural element has somestructural element type.
For eachuniversally unique identifier, at most onestructural element has thatuniversally unique identifier given at creation time. This association withuniversally unique identifierprovides the preferred identification scheme forstructural element.
InternalUniquenessConstraint6
Type:
InternalUniquenessConstraint
Verbalization:
Eachstructural element has at most oneuniversally unique identifier given at creation time.
SimpleMandatoryConstraint3
Type:
SimpleMandatoryConstraint
Verbalization:
Eachstructural element has someuniversally unique identifier given at creation time.
*Structural element1 is a representation of configuration itemif and only if thatconfiguration item is, at creation time, represented by thatstructural element1 orthatstructural element1 directly logically modifies some previous structural element2that is a representation of thatconfiguration item.