Towards a Formal Definition of Model Driven Development