Class UML 2.3::InstanceSpecification

Description:

An instance specification has the capability of being a deployment target
in a deployment relationship, in the case that it is an instance of a node.
It is also has the capability of being a deployed artifact, if it is an
instance of an artifact.

Constraints:

Signature: structural_feature() : Boolean;Description: One structural feature (including the same feature inherited from multiple
classifiers) is the defining feature of at most one slot in an instance
specification.Expression: classifier->forAll(c | (c.allFeatures()->forAll(f | slot->select(s | s.definingFeature = f)->size() <= 1)))

Signature: deployment_target() : Boolean;Description: An InstanceSpecification can be a DeploymentTarget if it is the instance
specification of a Node and functions as a part in the internal structure
of an encompassing Node.Expression: true

Signature: deployment_artifact() : Boolean;Description: An InstanceSpecification can be a DeployedArtifact if it is the instance
specification of an Artifact.Expression: true

Signature: defining_feature() : Boolean;Description: The defining feature of each slot is a structural feature (directly or
inherited) of a classifier of the instance specification.Expression: slot->forAll(s | classifier->exists (c | c.allFeatures()->includes (s.definingFeature)))