Research and Design of a Meta-Modeling Platform for Model Driven Development (Software Institute,School of Electronics Engineering & Computer Science,Peking University Key Laboratory of High Confidence Software Technologies ,Ministry of Education,Beijing 100871,China)