A Model Driven Development Experiment with Executable Model