An interessting input for the formalization of models could be the paper: "Formalizing Meta Models with FDMM:The ADOxx Case".

This paper contains an extended and improved version of the description of the FDMM formalism presented at ICEIS’2012. FDMMis a formalism to describe how meta models and models are defined inthe ADOxx approach as used in the Open Models Initiative.

The paper can be downloaded on the authors hompage:
http://homepage.dke.univie.ac.at/fill/papers/Fill_etal_FDMM_ADOxx_2013.pdf

More information about the Open Models Initiative can be found on the their website: http://www.openmodels.at/