Object and System Behaviour

Abstract

Business events are not allowed to occur in a random order during the life cycle of an object. For example, a book cannot be returned if it has not previously been borrowed. In order to specify this kind of constraints, each object type can specify sequence constraints on the business events it participates in by means of a finite-state machine (or FSM for short).