LearnPAd Meta Model: formalizationLearnPAd Meta Model: formalizationRE: LearnPAd Meta Model: formalizationMarko Frankovichttps://www.adoxx.org/live/c/message_boards/find_message?p_l_id=&messageId=1705622014-09-09T06:25:47Z2014-09-09T06:25:47ZAn interessting input for the formalization of models could be the paper: "<strong>Formalizing Meta Models with FDMM:The ADOxx Case</strong>".<br /><br />This paper contains an extended and improved version of the description of the FDMM formalism presented at ICEIS’2012. <strong>FDMM</strong>is a formalism to describe how meta models and models are defined inthe ADOxx approach as used in the Open Models Initiative.<br /><br />The paper can be downloaded on the authors hompage:<br /><a href="http://homepage.dke.univie.ac.at/fill/papers/Fill_etal_FDMM_ADOxx_2013.pdf">http://homepage.dke.univie.ac.at/fill/papers/Fill_etal_FDMM_ADOxx_2013.pdf</a><br /><br />More information about the Open Models Initiative can be found on the their website: <a href="">http://www.openmodels.at/ </a>Marko Frankovic2014-09-09T06:25:47ZLearnPAd Meta Model: formalizationZhaklin Karaneychevahttps://www.adoxx.org/live/c/message_boards/find_message?p_l_id=&messageId=1701162014-09-08T10:54:58Z2014-09-08T10:54:58ZAll meta-models, and hence models, should be formally described in an ontology in order to reason on models and changes, for example to detect modelling anomalies and inconsistency, to support identifying inconsistency in changes.Zhaklin Karaneycheva2014-09-08T10:54:58Z