An InstanceDeclarationis an Object, Variableor Methodthat references a ModellingRulewith a HasModellingRule Referenceand is the TargetNodeof a hierarchical Referencefrom a TypeDefinitionNodeor another InstanceDeclaration. The type of an InstanceDeclarationmay be abstract, however the instance must be of a concrete type.