Universiti Teknikal Malaysia Melaka
Model-driven development uses models to represent system artifacts to improve the visibility of the system towards the real world. The development of models is underlying in the Meta-Object Facility (MOF) standard in order to define the building concepts of metamodel and models. However, these concepts, especially within MOF standard, are not yet formally define which will be difficult to check the consistency between metamodel and models. Therefore, defining a formal semantic for MOF-based metamodel is essential for discovering the meaning of the model and to ensure a structural and behavioral conformance between metamodel and its model.