Property information
isDefinedBy
As for has_participant, but with the additional condition that the component instance is causally active in the relevant process