An instance specification specifies existence of an entity in a modeled system and completely or partially describes the entity.