user-defined events

User-defined events are based on a property or structure and describe a set of possible 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 poststates.