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

An optional set of Constraints specifying what is fulfilled after the execution of the behavior is completed, if its precondition was fulfilled before its invocation. (Subsets Namespace::ownedRule)

This subsets
Owning metaclass
randomness