Previously rules could be applied without any difficulty as complete systems were specified and rules enabled the system to progress from one state to the next.
Now we must be able to handle rules which only cover parts of systems.
A number of approaches to this task have been used.
