|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||
Rules
Instances.ConcreteValue
Instances.AggregateValue
Instances.BAGValue
Instances.SETValue
Rules.Extent
the collection of all Instances in a given Population that satisfy the specified EntityType.
|
|||
public
ScopedId
|
id
the identifier for the EntityType, used as a name for the Extent within the body of the Rule. |
||
|
|
|||
public
GlobalRule
|
globalRule
|
||
public
EntityType
|
of_type
represents the relationship between an Extent and the EntityType to which it corresponds. |
||
public
SubtypeConstraint
|
subtypeConstraint
|
||
public
SupertypeRule
|
supertypeRule
|
||
public
Population
|
within_population
represents the relationship between an Extent and the Population from which the Set of instances is drawn. |
||
|
|
|||
public
ScopedId id
the identifier for the EntityType, used as a name for the Extent within the body of the Rule.
|
|
|||
public
GlobalRule globalRule
|
public
EntityType of_type
represents the relationship between an Extent and the EntityType to which it corresponds.
|
public
SubtypeConstraint subtypeConstraint
|
public
SupertypeRule supertypeRule
|
public
Population within_population
represents the relationship between an Extent and the Population from which the Set of instances is drawn.
|
|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||