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.pdfMore information about the Open Models Initiative can be found on the their website:
http://www.openmodels.at/