The generation of animated sequences from state transition systems.

We address the issue of the construction of a computer animation system by composing together a collection of behaviours for the individual objects which are to be animated. The behaviours are developed using a formal notation for state transition systems. The notation is particularly flexible, allowing both a constructive and constraining aproach to behaviour representation. The behaviour necessary for animating Newton's Cradle for an arbitrary number of spheres is developed as an example of the method.