« Back to 2. Modeling Language

LearnPAd Meta Model: formalization

Combination View Flat View Tree View
Threads [ Previous | Next ]
toggle
LearnPAd Meta Model: formalization
Answer
9/8/14 10:54 AM
All 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.

RE: LearnPAd Meta Model: formalization
Answer
9/9/14 6:25 AM as a reply to Zhaklin Karaneycheva.
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/