An Analysis of Formalisms for the Description of Behaviour in Simulations