A Formal Framework for Modelling at the Behavioural Level