Title: Modelling object-oriented dynamic systems using a logic based framework