Class UML 2.3::GeneralOrdering
Description:
A general ordering represents a binary relation between two occurrence
specifications, to describe that one occurrence specification must occur
before the other in a valid trace. This mechanism provides the ability
to define partial orders of occurrence cpecifications that may otherwise
not have a specified order.
Direct Superclasses: NamedElementDirect Subclasses: Class Precedence List: GeneralOrdering,
NamedElement,
ElementProperties:
after :
OccurrenceSpecification (1 1); -- source
GeneralOrdering before :
OccurrenceSpecification (1 1); -- source
GeneralOrdering clientDependency :
Dependency (0 *); -- source
NamedElement name : String (0 1); -- source
NamedElement The name of the NamedElement.
nameExpression :
StringExpression (0 1); -- source
NamedElement namespace :
Namespace (0 1); -- source
NamedElement qualifiedName : String (0 1); -- source
NamedElement visibility :
VisibilityKind (0 1); -- source
NamedElement ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
Element owner :
Element (0 1); -- source
ElementConstraints:
Signature: irreflexsive_transitive_closure() : Boolean;
Description: An occurrence specification must not be ordered relative to itself through
a series of general orderings. (In other words, the transitive closure
of the general orderings is irreflexive.)
Expression: start.lifeline = finish.lifeline
Operations:
No additional operations.
Send questions or comments to
[email protected].