instance events

Instance events are based on a property or complex data type instance and describe a set of relevant state transitions for the instance, which are of interest for the user or application. Usually state transitions are described in terms of conditions expressed by pre- and post-states.