Source
Declaration
?derived: 
false
?union: 
UNDEF
?ordered: 
UNDEF
?readonly: 
false
name: 
precondition
multiplicity: 
[0..*]
Package

An optional set of Constraints specifying what must be fulfilled when the behavior is invoked. (Subsets Namespace::ownedRule)

This subsets
Owning metaclass
randomness