self.base_Comment.annotatedElement->notEmpty() and self.base_Comment.annotatedElement->forAll(e|e=self.base_Comment.owningElement) and (self.base_Comment.owningElement.ownedComment->select(c|c.stereotypedBy('Documentation'))->size()=1) OCL self.base_Class.general->forAll(g|g.stereotypedBy('MetadataType')) and self.base_Class.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->forAll(g|g.stereotypedBy('MetadataType')) OCL Rule is definitional. English NTAC removed constraint English ( self.general->exists(g|(g.namespace.name='XMLPrimitiveTypes')and(g.name=self.name)) or self.clientDependency->select(d|d.stereotypedBy('XSDSimpleContent')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->exists(g|(g.namespace.name='XMLPrimitiveTypes')and(g.name=self.name)) ) implies self.attribute->isEmpty() OCL The constraint is enforced by provisioning; if an AugmentationPoint is not defined in the model, then it is created English self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|self._'package'.ownedType.niemName()->exists(n|n.replace('Type','AugmentationPoint')=a.niemName())) OCL self.attribute->select(a|self.niemName().replace('Type','AugmentationPoint')=a.niemName())->size()<=1 OCL self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|a.type.oclIsUndefined()) OCL self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|a.subsettedProperty->isEmpty()) OCL not(self.stereotypedBy('PropertyHolder')) implies self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|a.niemName().replace('AugmentationPoint','Type')=self.niemName()) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(im|(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)or(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)) ) implies self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|a.lower=0) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(im| (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) or (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)) ) implies self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|a.upper<0) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('informationModel') and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(im| (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) or (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)) ) implies self.attribute->select(a|a.niemName().endsWith('AugmentationPoint')) ->forAll(a|self.attribute->last()=a) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.stereotypedBy('PropertyHolder')) and not(self.stereotypedBy('LocalVocabulary')) and self.general->select(g|(g.name=self.name)and(g.namespace.name='XMLPrimitiveTypes'))->isEmpty() ) implies self.niemName().endsWith('Type') OCL ( not(self.namespace.oclIsUndefined()) and not(self.oclIsKindOf(Association) and not(self.oclIsKindOf(Class))) and self.namespace.stereotypedBy('InformationModel') and not(self.stereotypedBy('PropertyHolder')) and not(self.stereotypedBy('LocalVocabulary')) and self.general->select(g|(g.name=self.name)and(g.namespace.name='XMLPrimitiveTypes'))->isEmpty() ) implies self.niemName().match('^([A-Z][A-Za-z0-9\\-]*)+$') OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.generalization->select(x|not(x.stereotypedBy('RolePlayedBy') or x.stereotypedBy('Augments'))).general ->union(self.clientDependency->select(d|d.stereotypedBy('Restriction') or d.stereotypedBy('XSDSimpleContent')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(g|not(g.namespace.oclIsUndefined())and not(g.namespace.name='XMLPrimitiveTypes')).namespace ->forAll(g| g.stereotypedBy('Namespace') and(g.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant) ) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) and ( (self.oclIsKindOf(Enumeration)and self.oclAsType (Enumeration).ownedLiteral->notEmpty() and self._directedRelationshipOfTarget->select(d|d.oclIsKindOf(Generalization))->notEmpty()) or self.stereotypedBy('List') or self.stereotypedBy('Union') or self.stereotypedBy('ValueRestriction') or self.stereotypedBy('XSDRepresentationRestriction') or self.supplierDependency->exists(c|c.stereotypedBy('XSDSimpleContent')) ) implies self.niemName().endsWith('SimpleType') OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) and ( (self.oclIsKindOf(Enumeration)and self.oclAsType (Enumeration).ownedLiteral->notEmpty()) or self.stereotypedBy('List') or self.stereotypedBy('Union') or self.stereotypedBy('ValueRestriction') or self.stereotypedBy('XSDRepresentationRestriction') or self.supplierDependency->exists(c|c.stereotypedBy('XSDSimpleContent')) ) implies self.niemName().match('^([A-Z][A-Za-z0-9\\-]*)+$') OCL This constraint realized during provisioning; The structures:SimpleObjectAttributeGroup is not in the UML-NIEM model, it is produced as required during construction of a complex type with simple content English ( not(self.stereotypedBy('LocalVocabulary')) and not(self.stereotypedBy('PropertyHolder')) and not(self.name.oclIsUndefined()) and not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies if (self.niemName().endsWith('AssociationType')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('a data type for (a relationship|an association).*')) else if (self.niemName().endsWith('AugmentationType')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('a data type (that supplements|for additional information about).*')) else if (self.niemName().endsWith('MetadataType')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('a data type for (metadata about|information that further qualifies).*')) else self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('a data type.*')) endif endif endif OCL ( not(self.stereotypedBy('LocalVocabulary')) and not(self.stereotypedBy('PropertyHolder')) and not(self.name.oclIsUndefined()) and not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.namespace.oclAsType(Package).ownedType ->select(t|(t<>self) and not(self.stereotypedBy('LocalVocabulary')) and not(self.stereotypedBy('PropertyHolder'))) ->forAll(t|self.niemName()<>t.niemName()) OCL ( not(self.nearestNiemNamespace().oclIsUndefined()) and self.nearestNiemNamespace().appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and (self.oclIsKindOf(Class) or self.oclIsKindOf(DataType)) ) implies ( self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) OCL self.base_Usage.client->forAll(g|g.oclIsKindOf(Property) and g.oclAsType(Property).type.stereotypedBy('MetadataType')) OCL self.base_Usage.supplier->forAll(g|g.oclIsKindOf(Classifier)or g.oclIsKindOf(Property)) OCL self.base_Usage.client->forAll(g|g.oclIsKindOf(Property) and g.oclAsType(Property).type.stereotypedBy('MetadataType')) OCL self.base_Usage.supplier->forAll(g|g.oclIsKindOf(Classifier)or g.oclIsKindOf(Property)) OCL (self.base_Realization.supplier->forAll(o|o.oclIsKindOf(DataType)) implies self.base_Realization.client->forAll(o|o.oclIsKindOf(DataType))) and ( self.base_Realization.supplier.clientDependency->select(d|d.stereotypedBy('NIEMSimpleContent'))->isEmpty() =self.base_Realization.client.clientDependency->select(d|d.stereotypedBy('NIEMSimpleContent'))->isEmpty() ) OCL self.base_Realization.client->forAll(c|self.base_Realization.supplier->forAll(s|s.oclType()=c.oclType())) and ( ( self.base_Realization.client->size()=1) and ( self.base_Realization.supplier->size()=1) and self.base_Realization.client->forAll(client|client.oclIsKindOf(Classifier)) and self.base_Realization.supplier->forAll(supplier|supplier.oclIsKindOf(Classifier)and not(supplier.stereotypedBy('PropertyHolder')) ) ) implies ( ( self.base_Realization.client.oclAsType(Classifier).attribute ->forAll(clientAttribute| self.base_Realization.supplier.oclAsType(Classifier).attribute ->forAll(supplierAttribute| (clientAttribute.niemName()=supplierAttribute.niemName()) implies ( (clientAttribute.lower>=supplierAttribute.lower) and ( (supplierAttribute.upper=-1) or (clientAttribute.upper<=supplierAttribute.upper) ) and ( (clientAttribute.upper=-1) or (clientAttribute.lower<=clientAttribute.upper) ) ) ) ) ) and ( self.base_Realization.supplier.oclAsType(Classifier).attribute->select(a|a.lower>0) ->forAll(supplierAttribute| self.base_Realization.client.oclAsType(Classifier).attribute->exists(clientAttribute|clientAttribute.niemName()=supplierAttribute.niemName()) ) ) ) OCL ( ((self.base_DataType.generalization.general->size()+self.base_DataType.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->size())=1) or((self.base_DataType.generalization.general->size()=0)and(self.base_DataType.oclIsKindOf(Enumeration))) ) and ( self.base_DataType.oclIsKindOf(Enumeration) implies not( self.base_DataType.generalization.general->exists(g|g.stereotypedBy('List')) or self.base_DataType.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->exists(r|r.stereotypedBy('List')) ) ) and( self.base_DataType.stereotypedBy('List') implies not( self.base_DataType.generalization.general->exists(g|g.oclIsKindOf(Enumeration)) or self.base_DataType.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->exists(r|r.oclIsKindOf(Enumeration)) ) ) and( not(self.base_DataType.oclIsKindOf(Enumeration)or self.base_DataType.stereotypedBy('List')) implies ( self.base_DataType.generalization.general->exists(g|g.oclType()=self.base_DataType.oclType()) or self.base_DataType.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->exists(r|r.oclType()=self.base_DataType.oclType()) ) ) OCL ( not(self.name.oclIsUndefined()) and self.niemName().endsWith('CodeType') and not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.general->union(self.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->forAll(c|c.niemName().endsWith('CodeType')or c.niemName().endsWith('CodeSimpleType')) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and (self.ownedLiteral->notEmpty() or self.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->exists(s|s.niemName().endsWith('CodeSimpleType'))) and not(self.stereotypedBy('LocalVocabulary')) and ( self._directedRelationshipOfTarget->select(d|d.oclIsKindOf(Generalization))->notEmpty()) ) implies self.niemName().endsWith('CodeSimpleType') OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.name.oclIsUndefined()) and self.niemName().endsWith('CodeSimpleType') ) implies ( (self.oclIsKindOf(Enumeration) and self.oclAsType(Enumeration).ownedLiteral->notEmpty()) or self.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->forAll(s|s.niemName().endsWith('CodeSimpleType')) or (self.stereotypedBy('Union') and self.clientDependency->select(d|d.stereotypedBy('UnionOf')).supplier->exists(s|s.niemName().endsWith('CodeSimpleType'))) ) OCL ( not(self.stereotypedBy('LocalVocabulary')) and not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('^a data type.*')) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.ownedComment->exists(c|not(c._'body'.oclIsUndefined())and(c._'body'<>'')) OCL ( not(self.namespace.oclIsUndefined() or self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.ownedComment->exists(c|not(c._'body'.oclIsUndefined()) and (c._'body'<>'')) OCL ( not(self.base_Class.namespace.oclIsUndefined() or self.base_Class.namespace.namespace.oclIsUndefined()) and self.base_Class.namespace.namespace.stereotypedBy('Namespace') and self.base_Class.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies( self.base_Class.attribute->forAll(a|(a.lower=0) and (a.upper=1)) and self.base_Class.generalization->isEmpty() and self.base_Class._directedRelationshipOfTarget->select(d|d.oclIsKindOf(Generalization))->isEmpty() ) OCL self.base_DataType.attribute->isEmpty() and self.base_DataType.generalization->isEmpty() OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency ->select(d|d.stereotypedBy('UnionOf')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t.name<>'ID')and(t._'package'.name<>'XMLPrimitiveTypes')) OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency ->select(d|d.stereotypedBy('UnionOf')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t.name<>'IDREF')and(t._'package'.name<>'XMLPrimitiveTypes')) OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency ->select(d|d.stereotypedBy('UnionOf')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t.name<>'IDREFS')and(t._'package'.name<>'XMLPrimitiveTypes')) OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency ->select(d|d.stereotypedBy('UnionOf')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t.name<>'anySimpleType')and(t._'package'.name<>'XMLPrimitiveTypes')) OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency ->select(d|d.stereotypedBy('UnionOf')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t.name<>'ENTITY')and(t._'package'.name<>'XMLPrimitiveTypes')) OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency ->select(d|d.stereotypedBy('UnionOf')).supplier ->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t.name<>'ENTITIES')and(t._'package'.name<>'XMLPrimitiveTypes')) OCL ( not(self.base_DataType.namespace.oclIsUndefined()) and self.base_DataType.namespace.stereotypedBy('InformationModel') and self.base_DataType.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant ) implies self.base_DataType.clientDependency->select(d|d.stereotypedBy('UnionOf')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier) ->forAll(t|(t._'package'.name='XMLPrimitiveTypes')or(t._'package'.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant)) OCL self.isConformant implies ( not(self.version.oclIsUndefined()) and self.version<>'' ) OCL self.isConformant implies ( not(self.targetNamespace.oclIsUndefined()) and (self.targetNamespace<>'') ) OCL self.targetNamespace is namespace-well-formed and namespace-valid. namespace-valid conformance is enforced during provisioning by ensuring that the production of names is conformant with NDR naming rules and XML Namespaces Specification. namespace-well-formed conformance is enforced during provisioning by ensuring that the target xml document is well formed with respected to the XML Namespaces Specification. English Enforced during provisioning to Schema from Namespace Package. English Enforced during provisioning to Schema from Namespace Package. English The default normative naming rules based on ISO 11179-5 are not easily computable, so are not represented as an executable OCL Constraint. English self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->forAll(g|g._'package'.name<>'xml') ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='ID') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='IDREF') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='IDREFS') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='anyType') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='anySimpleType') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='NOTATION') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='ENTITY') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->select(t|(t.name='ENTITIES') and (t._'package'.name='XMLPrimitiveTypes'))->size()=0 ) OCL self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Class)).oclAsType(Class).nestedClassifier->isEmpty() OCL There is no option in NIEM-UML to specify mixed content, consequently there is no mixed content produced during provisioning of target schemas. English There is no option in NIEM-UML to specify mixed content, consequently there is no mixed content produced during provisioning of target schemas. English Complex type content is always enforced to be simple or complex based on defined provisioning. English Constraint is realized via Provisioning, which does not create any @default attributes. English Constraint is realized via Provisioning, which does not create any @fixed attributes. English This constraint enforced by provisioning, which does not produce any xs:notation schema components. English This constraint is not computable. English This constraint enforced by provisioning, there is not model representation for xs:all and no production of an xs:all model group. English Specification of this constraint in OCL has been deferred. English This constraint resolved during provisioning; all xs:import declarations are implicitly specified by the relationships between Information Model elements and will include the namespace specified in the targetNamespace of the referenced Information Model. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; the transitive closure of all schemas referenced will be in the schema document set for an MPD. English This constraint resolved during provisioning; in UML, all InformationModels must be documented; an xs:import is generated if content of the InformationModel refers to another InformationModel; generated xs:import elements from a external namespace will include xs:documentation obtained from their documented "external" InformationModels. English not(self.base_Package.nestingPackage.oclIsUndefined()) implies self.base_Package.nestingPackage.nearestNiemNamespace().oclIsUndefined() OCL ( not(self.oclAsType(Classifier).name.oclIsUndefined() or self.oclAsType(Classifier).namespace.oclIsUndefined()) and not(self.oclIsKindOf(Association) and not(self.oclIsKindOf(Class))) and self.oclAsType(Classifier).namespace.stereotypedBy('Namespace') and self.oclAsType(Classifier).namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.oclAsType(Classifier).stereotypedBy('PropertyHolder')) ) implies not(self.oclAsType(Classifier).niemName().match('.*Identifier.*')or self.oclAsType(Classifier).niemName().match('.*UniformResourceIdentifier.*')) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->exists(purpose| ((purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)or(purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)) ) and not(self.oclIsKindOf(Enumeration) and self.oclAsType(Enumeration).ownedLiteral->notEmpty()) ) implies self.oclAsType(Classifier).clientDependency->select(d|d.stereotypedBy('Restriction'))->isEmpty() OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->exists(purpose| (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) ) implies self.oclAsType(Classifier).general.namespace.oclAsType(NamedElement)->asSet() ->union(self.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).namespace.oclAsType(NamedElement)->asSet()) ->forAll(p| (p.stereotypedBy('InformationModel') and p.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->exists(purpose| (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) ) or (p.name='XMLPrimitiveTypes') ) OCL ( not(self.oclAsType(Classifier).namespace.oclIsUndefined()) and self.oclAsType(Classifier).namespace.stereotypedBy('InformationModel') and self.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).isConformant and self.oclAsType(Classifier).namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->exists(purpose| (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)or(purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) and not(self.oclIsKindOf(Enumeration) and self.oclAsType(Enumeration).ownedLiteral->notEmpty()) ) implies self.oclAsType(Classifier).clientDependency->select(d|d.stereotypedBy('Restriction'))->isEmpty() OCL ( not(self.oclAsType(Classifier).name.oclIsUndefined()or (self.oclAsType(Classifier).niemName()='')) and not(self.oclIsKindOf(Association) and not(self.oclIsKindOf(Class))) and not(self.oclAsType(Classifier).namespace.oclIsUndefined()) and self.oclAsType(Classifier).namespace.stereotypedBy('Namespace') and not( self.oclAsType(Classifier).stereotypedBy('PropertyHolder') or self.oclAsType(Classifier).stereotypedBy('LocalVocabulary')) and self.oclAsType(Classifier).namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies (self.oclAsType(Classifier).niemName().firstToUpper()=self.oclAsType(Classifier).niemName()) OCL ( not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.stereotypedBy('PropertyHolder')) ) implies self.ownedComment->exists(c|not(c._'body'.oclIsUndefined()) and (c._'body'<>'')) OCL self.base_Usage.supplier->forAll(s|s.oclIsKindOf(DataType)) and self.base_Usage.client->forAll(c|c.stereotypedBy('Union')) OCL The instance rule is outside the scope of the NIEM-UML model. English self.niemName().endsWith('AugmentationType') = self.stereotypedBy('AugmentationType') OCL ( self.stereotypedBy('AugmentationType') or self.niemName().endsWith('AugmentationType') ) implies self.general ->union(self.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->forAll(g|g.stereotypedBy('AugmentationType')or g.niemName().endsWith('AugmentationType')) OCL self.stereotypedBy('AugmentationType') implies self._directedRelationshipOfTarget->select(d|d.oclIsKindOf(Generalization)).oclAsType(Generalization).specific ->union(self.supplierDependency->select(d|d.stereotypedBy('Restriction')).client->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->forAll(g|g.stereotypedBy('AugmentationType')) OCL ( ( self.stereotypedBy('AssociationType') or self.oclIsKindOf(AssociationClass) and not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies ( self.general ->union(self.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).oclAsType(Classifier)) ->forAll(c|c.stereotypedBy('AssociationType') or c.oclIsKindOf(AssociationClass)) ) ) and ( ( not(self.name.oclIsUndefined()) and self.niemName().endsWith('AssociationType') and not(self.namespace.oclIsUndefined()) and self.namespace.stereotypedBy('Namespace') and self.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies (self.stereotypedBy('AssociationType') or self.oclIsKindOf(AssociationClass)) ) OCL (self.base_DataType.attribute->size()=1) and self.base_DataType.attribute ->forAll(a|(a.lower=0) and (a.upper=-1)) OCL self.base_DataType.attribute.type->exists(t|not((t.name='ID')and(t._'package'.name='XMLPrimitiveTypes'))) OCL self.base_DataType.attribute.type->exists(t|not((t.name='IDREF')and(t._'package'.name='XMLPrimitiveTypes'))) OCL self.base_DataType.attribute.type->exists(t|not((t.name='anySimpleType')and(t._'package'.name='XMLPrimitiveTypes'))) OCL self.base_DataType.attribute.type->exists(t|not((t.name='ENTITY')and(t._'package'.name='XMLPrimitiveTypes'))) OCL Not currently expressed in OCL. English self.base_DataType.attribute.type ->select(t|t.owner->forAll(p| (p.stereotypedBy('Namespace') and p.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant) or( p.name='XMLPrimitiveTypes') ) )->size()=1 OCL The constraint is resolved during provisioning: An AdapterType and only an AdapterType has the appinfo:externalAdapterTypeIndicator set to a value of true. English self.base_Class.general->isEmpty() and self.base_Class.clientDependency->select(d|d.stereotypedBy('Restriction'))->isEmpty() OCL self.base_Class._directedRelationshipOfTarget->select(t|t.oclIsKindOf(Generalization) or t.stereotypedBy('Restriction'))->size()=0 OCL self.base_Class._directedRelationshipOfTarget->select(t|t.oclIsKindOf(Generalization) or t.stereotypedBy('Restriction'))->size()=0 OCL This constraint realized by provisioning: A Class stereotyped as AdapterType will result in production of appinfo:externalAdapterTypeIndicator attribute on the xs:complexType representing the AdapterType. English not(self.base_EnumerationLiteral.namespace.oclIsUndefined()) and not(self.base_EnumerationLiteral.namespace.namespace.oclIsUndefined()) and self.base_EnumerationLiteral.namespace.namespace.stereotypedBy('Namespace') OCL not(self.literal.oclIsUndefined() or self.literal='') or not(self.definition.oclIsUndefined() or self.definition='') OCL ( ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.name.oclIsUndefined()) and self.niemName().endsWith('Representation') ) implies self.stereotypedBy('Representation') ) and ( self.stereotypedBy('Representation') implies self.type.oclIsUndefined() ) OCL Rule is definitional. English Rule is informative. Provisioning ensure that an appinfo:deprecated maps to a model element stereotyped by Deprecated. English This constraint is resolved by PSM-MPD transformations. English Expressing constraint in OCL is deferred. English self.mpdVersionID.match('[0-9]+(\\.[0-9]+)*((alpha|beta|rc|rev)[0-9]+)?') OCL Packaging constraints are resolved by PSM-MPD transformations. English Constraints on URIs are partially satisfied by specific URI Constraints expressed elsewhere in the NDR and MPD. For URI references embedded elsewhere in the model, it would be difficult to express the constraint in OCL. This constraint must be manually resolved by the modeler. English Rule is definitional English Constraint realized during provisioning of MPD Catalog. English Rule is definitional. English Constraint is realized during provisioning of MPD Catalog. English Concept and constraint not implemented in NIEM-UML. English Concept and constraint not implemented in NIEM-UML. English Concept and constraint not implemented in NIEM-UML. English Concept and constraint not implemented in NIEM-UML. English Concept and constraint not implemented in NIEM-UML. English Concept and constraint not implemented in NIEM-UML. English Concept and constraint not implemented in NIEM-UML. English Constraint realized during provisioning of MPD Catalog. English Constraint is definitional. English Constraint is definitional. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. c:pathURI is either set implicitly to a location, or if a value is provided, the resource is moved to specified location. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. Provisioning set values of c:pathURI based on relative location of changelog package. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is realized during provisioning of MPD Catalog. English Constraint is definitional. English Constraint is definitional. English Constraint is realized during provisioning of XML Catalog. English Constraint is realized during provisioning of MPD Catalog. English self.oclAsType(InstanceSpecification).clientDependency->select(d|d.stereotypedBy('MPDChangeLog'))->notEmpty() OCL The readme artifact provisioned includes purpose, scope, business value, exchange information, typical senders/receivers, interactions, and references to other documentation. This information is obtained from certain modeling conventions in the model. English Readme artifact content and catalog entry is created during provisioning. English Rule enforced during provisioning. The target identifier is synthesized. English Rule enforced during provisioning. The target structure:id attribute is synthesized. English self.IEPConformanceTarget->notEmpty() OCL Rule is definitional. English Probably some model adjustment here to make the concept of validToXPath more clear. English Rule satisfied during provisioning of PSM from PIM. English Location of WantList is set during provisioning to be compliant with the MPD rule. English Rule enforcement is provided by provisioning, which produces the zip file. English Rule enforcement is provided by provisioning and NDR/MPD rules expressed in OCL and applied to the NIEM-UML model. English Rule enforcement is provided by provisioning. English This constraint is resolved by the NIEM-UML Model, which requires all InformationModels to be defined, and PSM-MPD transformations which enforce schemaLocations to be local. English This constraint is resolved by provisioning; all generated artifacts are local to the MPD and all references between them are relative. English (self.mpdClassCode=NIEM_UML_Profile::Model_Package_Description_Profile::ModelPackageDescriptionClassCode::iepd) implies self.IEPConformanceTarget.oclAsType(InstanceSpecification).clientDependency->exists(d|d.stereotypedBy('IEPSampleXMLDocument')) OCL The constraint is enforced during provisioning of the Sample XML Document. English self.oclAsType(InstanceSpecification).clientDependency->select(d|d.stereotypedBy('XMLSchemaDocument')or d.stereotypedBy('XMLCatalog'))->notEmpty() OCL self.base_Usage.client->forAll(c|c.oclIsKindOf(InstanceSpecification) and c.oclAsType(InstanceSpecification).classifier.name->exists(n|n='QualifiedNamesType')) and self.base_Usage.supplier->forAll(s| s.oclIsKindOf(Property) and s.oclAsType(Property).namespace.namespace.stereotypedBy('Namespace') and s.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and (s.oclAsType(Property).niemName().substring(1,1)=s.oclAsType(Property).niemName().substring(1,1).toUpperCase()) ) OCL ( self.base_DataType.generalization->size()+self.base_DataType.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->size())=1 OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies ( self.base_Property.niemName().firstToUpper()<>self.base_Property.niemName()) OCL if( not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not( self.type.oclIsUndefined()) and not(self.name.oclIsUndefined()) and self.type.oclIsKindOf(DataType) and ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) ) then ( self.niemName().match('.*Name.*') or self.niemName().match('.*Text.*') or self.niemName().match('.*List.*') or self.niemName().match('.*Quantity.*') or self.niemName().match('.*Percent.*') or self.niemName().match('.*Rate.*') or self.niemName().match('.*Value.*') or self.niemName().match('.*Numeric.*') or self.niemName().match('.*Measure.*') or self.niemName().match('.*Indicator.*') or self.niemName().match('.*URI.*') or self.niemName().match('.*ID.*') or self.niemName().match('.*Time.*') or self.niemName().match('.*Date.*') or self.niemName().match('.*Duration.*') or self.niemName().match('.*DateTime.*') or self.niemName().match('.*Code.*') or self.niemName().match('.*Video.*') or self.niemName().match('.*Sound.*') or self.niemName().match('.*Picture.*') or self.niemName().match('.*Graphic.*') or self.niemName().match('.*BinaryObject.*') or self.niemName().match('.*Amount.*') ) else(true)endif OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined()) and not(self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('InformationModel') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.base_Property.name.oclIsUndefined()) and (self.base_Property.niemName()<>'') and not(self.base_Property.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose.oclIsUndefined()) and self.base_Property.clientDependency->select(d|d.stereotypedBy('References')).supplier ->select(s|s.oclIsKindOf(Property) and not(s.namespace.oclIsUndefined() or s.namespace.namespace.oclIsUndefined())).namespace.namespace ->forAll(a|a.stereotypedBy('InformationModel') and not(a.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose.oclIsUndefined())) ) implies( self.base_Property.niemName().endsWith('List') or self.base_Property.niemName().endsWith('Name') or self.base_Property.niemName().endsWith('Text') or self.base_Property.niemName().endsWith('Quantity') or self.base_Property.niemName().endsWith('Percent') or self.base_Property.niemName().endsWith('Rate') or self.base_Property.niemName().endsWith('Value') or self.base_Property.niemName().endsWith('Numeric') or self.base_Property.niemName().endsWith('Measure') or self.base_Property.niemName().endsWith('Indicator') or self.base_Property.niemName().endsWith('URI') or self.base_Property.niemName().endsWith('ID') or self.base_Property.niemName().endsWith('Time') or self.base_Property.niemName().endsWith('Duration') or self.base_Property.niemName().endsWith('Date') or self.base_Property.niemName().endsWith('DateTime') or self.base_Property.niemName().endsWith('Code') or self.base_Property.niemName().endsWith('Video') or self.base_Property.niemName().endsWith('Sound') or self.base_Property.niemName().endsWith('Picture') or self.base_Property.niemName().endsWith('Graphic') or self.base_Property.niemName().endsWith('BinaryObject') or self.base_Property.niemName().endsWith('Amount') ) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.type->forAll(t|not((t.name='ID')and(t.namespace.name='XMLPrimitiveTypes'))) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.type->forAll(t|not((t.name='IDREF')and(t.namespace.name='XMLPrimitiveTypes'))) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.type->forAll(t|not((t.name='IDREFS')and(t.namespace.name='XMLPrimitiveTypes'))) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.type->forAll(t|not((t.name='ENTITY')and(t.namespace.name='XMLPrimitiveTypes')) ) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.type->forAll(t|not((t.name='ENTITIES')and(t.namespace.name='XMLPrimitiveTypes'))) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.type->forAll(t|not((t.name='anySimpleType')and(t.namespace.name='XMLPrimitiveTypes'))) OCL This constraint enforced by provisioning, there are no @default attributes generated for an xs:attribute within a target InformationModel schema. English This constraint enforced by provisioning, there are no @fixed attributes generated for an xs:attribute within a target InformationModel schema. English ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.base_Property.type.oclIsUndefined()) and not(self.base_Property.type.name.oclIsUndefined()) and not(self.base_Property.type.namespace.oclIsUndefined()) and not(self.base_Property.type.namespace.oclAsType(NamedElement).name.oclIsUndefined()) ) implies not( (self.base_Property.type.name='ID') and (self.base_Property.type.namespace.oclAsType(NamedElement).name='XMLPrimitiveTypes') ) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('InformationModel') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.base_Property.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(im|(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)or(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)) and not(self.base_Property.namespace.stereotypedBy('AdapterType')) ) implies self.base_Property.clientDependency->select(d|d.stereotypedBy('References')).supplier.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(typeInformationModel|typeInformationModel.defaultPurpose<>NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::external) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.base_Property.clientDependency->select(d|d.stereotypedBy('References')).supplier.namespace.namespace ->forAll(typeInformationModel|typeInformationModel.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::external) ) implies self.base_Property.ownedComment._'body'->exists(b|not(b.oclIsUndefined()) and b<>'') OCL ( (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.clientDependency->select(d|d.stereotypedBy('References'))->exists(d|d.supplier.namespace.namespace ->exists(typeInformationModel| typeInformationModel.stereotypedBy('InformationModel') and(typeInformationModel.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::external) ) ) ) implies( self.ownedComment._'body'->exists(b|not(b.oclIsUndefined()) and b<>'') ) OCL ( self.namespace.stereotypedBy('AdapterType') and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) ) implies self.clientDependency->select(r|r.stereotypedBy('References')).supplier ->forAll(s| s.namespace.namespace.stereotypedBy('Namespace') and not(s.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant) ) OCL ( ( not(self.namespace.oclIsUndefined()) and self.isNavigable() and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) and not(self.name.oclIsUndefined()) and self.niemName().endsWith('Augmentation') and not(self.type.oclIsUndefined()) ) implies self.type.stereotypedBy('AugmentationType') ) and ( ( not(self.namespace.oclIsUndefined()) and self.isNavigable() and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) and not(self.type.oclIsUndefined()) and self.type.stereotypedBy('AugmentationType') ) implies self.niemName().endsWith('Augmentation') ) OCL ( ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.name.oclIsUndefined()) and self.niemName().endsWith('Association') and not(self.type.oclIsUndefined()) ) implies (self.type.stereotypedBy('AssociationType')or self.type.oclIsKindOf(AssociationClass)) ) and ( ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.type.oclIsUndefined()) and (self.type.stereotypedBy('AssociationType')or self.type.oclIsKindOf(AssociationClass)) and not(self.niemName().oclIsUndefined()) and (self.niemName()<>'') ) implies self.niemName().endsWith('Association') ) OCL ( (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) and (not(self.name.oclIsUndefined()) and self.niemName().endsWith('Augmentation')) and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies ( self.namespace->forAll(t|t.stereotypedBy('PropertyHolder')) ) OCL ( ( not(self.type.oclIsUndefined()) and self.isNavigable() and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.name.oclIsUndefined()) and self.niemName().endsWith('Metadata') and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.type.stereotypedBy('MetadataType') ) and ( ( self.isNavigable() and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.type.oclIsUndefined()) and not(self.name.oclIsUndefined()) and self.type.stereotypedBy('MetadataType') and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') ) implies self.niemName().endsWith('Metadata') ) OCL The rule is definitional. English Constraint is non-computable. English Constraint is non-computable. English ( not(self.name.oclIsUndefined()) and(self.name<>'') and self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property))->isEmpty() and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) ) implies self.niemName().match('^([A-Z][A-Za-z0-9\\-]*)+$') OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.type.oclIsUndefined()) and not(self.type.name.oclIsUndefined()) and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies not(self.type.niemName().endsWith('SimpleType')) OCL ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property))->isEmpty() and not(self.type.oclIsUndefined()) and self.type.namespace.stereotypedBy('Namespace') and ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) ) implies self.type.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.niemName().endsWith('Abstract') ) implies self.isDerivedUnion OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and self.isNavigable() and not(self.namespace.stereotypedBy('List')) and not(self.type.oclIsUndefined()) and self.type.oclIsKindOf(DataType) and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies ( self.niemName().match('.*Name.*') or self.niemName().match('.*Text.*') or self.niemName().match('.*List.*') or self.niemName().match('.*Quantity.*') or self.niemName().match('.*Percent.*') or self.niemName().match('.*Rate.*') or self.niemName().match('.*Value.*') or self.niemName().match('.*Numeric.*') or self.niemName().match('.*Measure.*') or self.niemName().match('.*Indicator.*') or self.niemName().match('.*URI.*') or self.niemName().match('.*ID.*') or self.niemName().match('.*Time.*') or self.niemName().match('.*Date.*') or self.niemName().match('.*Duration.*') or self.niemName().match('.*DateTime.*') or self.niemName().match('.*Code.*') or self.niemName().match('.*Video.*') or self.niemName().match('.*Sound.*') or self.niemName().match('.*Picture.*') or self.niemName().match('.*Graphic.*') or self.niemName().match('.*BinaryObject.*') or self.niemName().match('.*Amount.*') ) OCL ( self.isNavigable() and ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and (not(self.type.oclIsUndefined()) and self.type.oclIsKindOf(DataType)) and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies ( self.niemName().match('.*Name.*') or self.niemName().match('.*Text.*') or self.niemName().match('.*List.*') or self.niemName().match('.*Quantity.*') or self.niemName().match('.*Percent.*') or self.niemName().match('.*Rate.*') or self.niemName().match('.*Value.*') or self.niemName().match('.*Numeric.*') or self.niemName().match('.*Measure.*') or self.niemName().match('.*Indicator.*') or self.niemName().match('.*URI.*') or self.niemName().match('.*ID.*') or self.niemName().match('.*Time.*') or self.niemName().match('.*Date.*') or self.niemName().match('.*Duration.*') or self.niemName().match('.*DateTime.*') or self.niemName().match('.*Code.*') or self.niemName().match('.*Video.*') or self.niemName().match('.*Sound.*') or self.niemName().match('.*Picture.*') or self.niemName().match('.*Graphic.*') or self.niemName().match('.*BinaryObject.*') or self.niemName().match('.*Amount.*') ) OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.subsettedProperty.namespace.namespace->forAll(m| m.stereotypedBy('Namespace') and m.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) OCL ( ( (self.kind.oclAsType(EnumerationLiteral)='attribute') and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and(not(self.base_Property.type.oclIsUndefined())) and(not(self.base_Property.type.namespace.oclIsUndefined())) and(not(self.base_Property.type.namespace.name.oclIsUndefined())) and ( self.base_Property.type.namespace.stereotypedBy('Namespace') or (self.base_Property.type.namespace.name='XMLPrimitiveTypes') ) ) implies( (self.base_Property.type.namespace.name='XMLPrimitiveTypes') or self.base_Property.type.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) ) and ( ( (self.kind.oclAsType(EnumerationLiteral).name='attribute') and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies( (self.base_Property.upper=1) and not (self.base_Property.isDerivedUnion) and self.base_Property.subsettedProperty->isEmpty() and( not(self.base_Property.type.oclIsUndefined()) implies self.base_Property.type.oclIsKindOf(DataType) ) ) ) OCL Satisfied by UML Constraint members_distinguishable, where the Namespace is a Classifier and the members are Properties. English ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('AdapterType')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property)).namespace.namespace ->forAll(m| m.stereotypedBy('Namespace') and m.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) ) implies self.base_Property.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property)).namespace.namespace ->forAll(m| m.stereotypedBy('Namespace') and ( m.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant or(m.name='xml') ) ) OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and self.isNavigable() and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.name.oclIsUndefined()) and (self.niemName()<>'') and self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property))->isEmpty() ) implies if (self.niemName().endsWith('AugmentationPoint')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.startsWith('an augmentation point ')) else if (self.niemName().endsWith('Augmentation')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.startsWith('supplements ')or b.startsWith('additional information about ')) else if (self.niemName().endsWith('Metadata')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('(metadata about|information that further qualifies).*')) else if (self.niemName().endsWith('Association')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('an?( .*)? (relationship|association).*')) else if (self.type.oclIsUndefined()) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('a data concept.*')) else if (self.niemName().endsWith('Date')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('an?( .*)? (date|month|year).*')) else if (self.niemName().endsWith('Quantity')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('an?( .*)? (count|number).*')) else if (self.niemName().endsWith('Picture')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('an?( .*)? (image|picture|photograph).*')) else if (self.niemName().endsWith('Indicator')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('true if .*; false (otherwise|if).*')) else if (self.niemName().endsWith('Identification')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('an?( .*)? identification.*')) else if (self.niemName().endsWith('Name')) then self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('(a|an)( .*)? name.*')) else (self.ownedComment._'body'.toLower().normalizeSpace()->exists(b|b.match('(a|an) .*'))) endif endif endif endif endif endif endif endif endif endif endif OCL ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) ) implies (self.type.oclIsUndefined() implies self.isDerivedUnion) OCL ( (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) and not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.type.oclIsUndefined()) and (self.type.name='anySimpleType') and (self.type._'package'.name='XMLPrimitiveTypes') ) implies self.isDerivedUnion OCL ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies ( self.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(im| (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) implies not(self.isLeaf) ) OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and not(self.type.oclIsUndefined() or self.namespace.oclIsUndefined() or self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property))->isEmpty() ) implies (self.type._'package'.name<>'xml') OCL ( not(self.name.oclIsUndefined() or self.namespace.oclIsUndefined() or self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies not(self.niemName().match('.*Identifier.*')or self.niemName().match('.*UniformResourceIdentifier.*')) OCL ( not(self.namespace.oclIsUndefined() or self.namespace.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('AdapterType')) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->exists(purpose| (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) ) implies self->select(a|not(a.type.oclIsUndefined())).type.namespace->select(p|p.oclIsKindOf(Package)).oclAsType(NamedElement)->asSet() ->union(self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property)).namespace.namespace.oclAsType(NamedElement)->asSet()) ->forAll(p| (p.name='XMLPrimitiveTypes') or(p.name='xml') or (p.stereotypedBy('InformationModel') and not(p.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose.oclIsUndefined()) and p.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->exists(purpose| (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or (purpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) ) ) OCL ( (self.kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::attribute) and not(self.base_Property.namespace.oclIsUndefined() or self.base_Property.namespace.namespace.oclIsUndefined()) and self.base_Property.namespace.namespace.stereotypedBy('Namespace') and self.base_Property.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant ) implies self.base_Property.ownedComment->exists(c|not(c._'body'.oclIsUndefined()) and (c._'body'<>'')) OCL ( ( not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element) ) and self.isNavigable() and self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property))->isEmpty() and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('Namespace') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.name.oclIsUndefined() or (self.niemName()='')) ) implies (self.niemName().firstToUpper()=self.niemName()) OCL ( self.isNavigable() and not(self.namespace.oclIsUndefined()) and not(self.namespace.stereotypedBy('List')) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and (not(self.stereotypedBy('XSDProperty')) or (self.appliedStereotype('XSDProperty').oclAsType(NIEM_UML_Profile::NIEM_PSM_Profile::XSDProperty).kind=NIEM_UML_Profile::NIEM_PSM_Profile::XSDPropertyKindCode::element)) and self.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property))->isEmpty() ) implies self.ownedComment->exists(c|not(c._'body'.oclIsUndefined()) and (c._'body'<>'')) OCL ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and self.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->exists(im| (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) ) implies ( self.namespace.namespace.appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel) ->forAll(im| (im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or(im.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) ) implies not(self.isLeaf) ) OCL self.base_Property.type.oclIsUndefined() and not(self.base_Property.isDerivedUnion) and self.base_Property.subsettedProperty->isEmpty() OCL "strict" self.base_Realization.client->forAll(client|client.oclIsKindOf(Classifier) and client.namespace.stereotypedBy('Namespace')) and self.base_Realization.supplier->forAll(s|s.oclIsKindOf(DataType)) OCL The constraint is satisfied during provisioning, which produce one of the NDR defined complex type categories based on explicit or implicit model specifications. English self.isConformant implies self.base_Package.ownedComment._'body'->exists(doc|not(doc.oclIsUndefined())and(doc<>'')) OCL self.isConformant implies( self.base_Package.ownedType ->select(t|not(t.stereotypedBy('PropertyHolder')or t.stereotypedBy('LocalVocabulary') or (t.oclIsKindOf(Association)and not(t.oclIsKindOf(Class))))) ->forAll(schemaComponent|schemaComponent.niemName().match('[\\w|\\-]*')) and self.base_Package.ownedType ->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier).attribute ->forAll(schemaComponent|schemaComponent.niemName().match('[\\w|\\-]*')) ) OCL This constraint realized by the aggregate of constraints targeting REF schema documents. English This constraint realized by the aggregate of constraints targeting EXT schema documents. English This constraint realized by the aggregate of constraints targeting REF and EXT schema documents. English This constraint realized during provisioning of the schema associated with the InformationModel English This constraint realized during provisioning of the schema associated with the InformationModel English This constraint realized during provisioning of the schema associated with the InformationModel English This constraint realized during provisioning of the schema associated with the InformationModel English ((self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)or(self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)) implies self.base_Package.ownedType->select(t|t.oclIsKindOf(DataType)).oclAsType(DataType)->forAll(dt|not(dt.isFinalSpecialization)) OCL Provisioning to target schemas ensures the base type of Complex types with complex content will have complex content. English Provisioning to target schemas ensures the base type of Complex types with complex content will have complex content. English The concept of disallowed substitutions is currently not supported by the NIEM UML Profile. Currently, there will be no "block" provisioned for a complex type. English ((self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)or(self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)) implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(dt|not(dt.isFinalSpecialization)) OCL Constraint is enforced during provisioning, top level elements are always created and referenced by non top level elements. English self.targetNamespace<>'http://www.w3.org/2001/XMLSchema' OCL OCL representation of this constraint is deferred. English The concept of disallowed substitutions (@block) is currently not supported by NIEM-UML. There will be no provisioning of the @block attribute. English Constraint is enforced during provisioning, top level attributes are always created and referenced by non top level elements. English Specification as OCL Constraint is deferred. English Constraint enforced by provisioning, an xs:sequence is always produced as a child of an xs:extension. English Constraint enforced by provisioning, an xs:sequence is always produced as a child of an xs:extension or xs:restriction. English ((self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)or(self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)) implies self.base_Package.ownedType ->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier) ->union(self.base_Package.ownedType->select(t|t.oclIsKindOf(Class)).oclAsType(Class).nestedClassifier) ->select(t|t.stereotypedBy('Choice'))->isEmpty() OCL Constraint enforced by provisioning, an xs:choice is always produced as a child of an xs:sequence. English Constraint enforced by provisioning, an xs:sequence is always produced with @minOccurs=1. English Constraint enforced by provisioning, an xs:sequence is always produced with @maxOccurs=1. English Constraint enforced by provisioning, an xs:choice is always produced with @minOccurs=1. English Constraint enforced by provisioning, an xs:choice is always produced with @maxOccurs=1. English ((self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference)or(self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset)) implies self.base_Package.ownedType->forAll(dt|not(dt.stereotypedBy('XSDAnyProperty'))) OCL Specification of this constraint as OCL has been deferred. English Constraint enforced by provisioning, an xs:unique can not be modeled nor is it produced in a target schema. English Constraint enforced by provisioning, an xs:key can not be modeled nor is it produced in a target schema. English Constraint enforced by provisioning, an xs:keyref can not be modeled nor is it produced in a target schema. English Constraint enforced by provisioning, an xs:group can not be modeled nor is it produced in a target schema. English Constraint enforced by provisioning, an xs:attributeGroup can not be modeled nor is it produced in a target schema. English Constraint enforced by provisioning, an XML comment can not be modeled nor is it produced in a target schema. English Constraint enforced by provisioning, the xs:documentation is populated by a UML Comment body, which is a String (possibly escaped to ensure no nested xml elements are present). English Constraint enforced by provisioning; the xs:appinfo is not directly modeled, and is provisioned in accordance with NDR-specified rules associated with specific NIEM concepts. Thus, an XML element is the child of an xs:appinfo. English Constraint enforced by provisioning; the xs:appinfo is not directly modeled, and is provisioned in accordance with NDR-specified rules associated with specific NIEM concepts. Thus, an XML element is the child of an xs:appinfo and will have a namespace name. English Constraint enforced by provisioning; the xs:appinfo is not directly modeled, and is provisioned in accordance with NDR-specified rules associated with specific NIEM concepts. Thus, an XML element is the child of an xs:appinfo and will not contain elements with the schema namespace. English The concept of disallowed substitutions (@blockDefault) is currently not supported by NIEM-UML. There will be no provisioning of the @blockDefault attribute. English The concept of disallowed derivations is currently not in the NIEM-UML model; the attribute @finalDefault will not be produced for any InformationModel schema. English The concept of xs:redefine is not in the NIEM-UML model; the schema construct xs:redefine can not be modeled and will not be produced for any InformationModel schema. English The concept of xs:include is not in the NIEM-UML model; the schema construct xs:include can not be modeled and will not be produced for any InformationModel schema. English The constraint is satisfied during provisioning, which produce derivation of each Object Type from another Object Type or, if not modeled explicitly, from structures:ObjectType. English self.isConformant implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier) ->select(t|t.stereotypedBy('MetadataType')or t.stereotypedBy('AssociationType')or t.stereotypedBy('AugmentationType') or t.oclIsKindOf(AssociationClass)).attribute ->forAll(a|not(a.stereotypedBy('RoleOf') or a.niemName().startsWith('RoleOf'))) OCL This rule is definitional. English This rule is definitional. English This rule is not readily computational. English Rule is definitional. English Rule is not reliably computational. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English The constraint can not be expressed easily in OCL. English The constraint is realized through provisioning: there are no NIEM-UML constructs related specifically to machine-readable annotations; the production of machine-readable annotations is based on the mapping of specific NDR rules to target schema annotations. English The constraint is realized through provisioning: A NamedElement with applied Stereotype Deprecated will create the appinfo:deprecated on the target schema component. English The constraint is realized through provisioning: A provisioned xs:import will own an appinfo:externalImportIndicator if the import InformationModel has a defaultPurpose of external. English The constraint is realized through provisioning: The structures namespace is not part of the NIEM-UML model, all usages of the namespace are provisioned according to the NDR rules governing that namespace. English Expression of this constraint as OCL has been deferred. English Constraint is non-computable. English Constraint is non-computable. English Constraint is non-computable. English Constraint is non-computable. English Constraint is non-computable. English Constraint is non-computable. English Constraint expression as OCL is deferred. English Rule is definitional. English (self.defaultPurpose=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::extension) implies self.base_Package.ownedType->select(t|t.oclIsKindOf(Classifier)).oclAsType(Classifier)->forAll(c| c.general.namespace.oclAsType(NamedElement)->asSet() ->union(c.clientDependency->select(d|d.stereotypedBy('Restriction')).supplier->select(s|s.oclIsKindOf(Classifier)).namespace.oclAsType(NamedElement)->asSet()) ->union(c.attribute->select(a|not(a.type.oclIsUndefined())).type.namespace.oclAsType(NamedElement)->asSet()) ->union(c.attribute.clientDependency->select(d|d.stereotypedBy('References')).supplier->select(s|s.oclIsKindOf(Property)).namespace.namespace.oclAsType(NamedElement)->asSet()) ->select(p|p.stereotypedBy('InformationModel')) .appliedStereotype('InformationModel').oclAsType(NIEM_UML_Profile::NIEM_PIM_Profile::InformationModel).defaultPurpose->forAll(p| (p=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::reference) or(p=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::subset) or(p=NIEM_UML_Profile::NIEM_PIM_Profile::DefaultPurposeCode::extension)) ) OCL Constraint realized by provisioning; there is no explicit modeling of xs:import in NIEM-UML; xs:import is produced as required, according to this and other NDR rules English Constraint realized by provisioning; there is no explicit modeling of xs:import in NIEM-UML; xs:import is produced as required, according to this and other NDR rules English Expressing Constraint in OCL has been deferred English Constraint ensured by provisioning: xs:import is not in the NIEM-UML Model, it is created during provisioning, which consistently constructs the externalImportIndicator based on the tag values in the referenced InformationModel. English Constraint can not be easily expressed in OCL, the constraint must be enforced by an XML Schema Document Validation tool. English Constraint is realized during provisioning of instance documents, if any. Provisioning of an element with @structures:ref attribute will not have element content. English Constraint is realized during provisioning of instance documents, if any. Any @structures:ref will reference an element with the same value in an @structures:id. English Constraint is realized during provisioning of instance documents, if any. English Constraint is realized during provisioning of instance documents, if any. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Rule is definitional. English Constraint is realized during provisioning of XML instance documents. English Constraint realized during provisioning of XML instance documents. English Constraint realized by provisioning of the XML Instance Documents. English Constraint realized during provisioning of XML instance documents. English Constraint realized by provisioning of XML Instance Documents. English Constraint realized when provisioning XML Instance Document. English ( not(self.namespace.oclIsUndefined()) and not(self.namespace.namespace.oclIsUndefined()) and self.namespace.namespace.stereotypedBy('InformationModel') and self.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).isConformant and not(self.name.oclIsUndefined()) and (self.niemName().startsWith('RoleOf') or self.stereotypedBy('RolePlayedBy')) ) implies( not(self.type.oclIsUndefined()) and self.type->exists(t|not(t.stereotypedBy('MetadataType')or t.stereotypedBy('AssociationType')or t.stereotypedBy('AugmentationType') or t.oclIsKindOf(AssociationClass))) ) OCL self.base_Generalization.general-> forAll(t|not(t.stereotypedBy('MetadataType')or t.stereotypedBy('AssociationType')or t.stereotypedBy('AugmentationType') or t.oclIsKindOf(AssociationClass))) OCL self.base_Realization->forAll(r| (r.client->forAll(c| r.supplier->forAll(s| ( s.name=c.name) and (s.oclIsKindOf(Package) implies (c.oclIsKindOf(Package) and c.stereotypedBy('Namespace') and s.stereotypedBy('Namespace') and (s.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).targetNamespace=c.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).targetNamespace))) and (s.oclIsKindOf(Classifier) implies (c.oclIsKindOf(Classifier) and c.namespace.stereotypedBy('Namespace') and s.namespace.stereotypedBy('Namespace') and (s.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).targetNamespace=c.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).targetNamespace))) and (s.oclIsKindOf(Property) implies (c.oclIsKindOf(Property) and c.namespace.namespace.stereotypedBy('Namespace') and s.namespace.namespace.stereotypedBy('Namespace') and (s.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).targetNamespace=c.namespace.namespace.appliedStereotype('Namespace').oclAsType(NIEM_UML_Profile::NIEM_Common_Profile::Namespace).targetNamespace))) ) ) ) ) OCL