LearnPAd Meta Model: formalization

LearnPAd Meta Model: formalization	Zhaklin Karaneycheva	2014/9/8 上午 10:54
RE: LearnPAd Meta Model: formalization	Marko Frankovic	2014/9/9 上午 6:25

Zhaklin Karaneycheva 等級: New Member 崗位: 24 加入日期: 2014/9/8 最近崗位	LearnPAd Meta Model: formalization 答覆 2014/9/8 上午 10:54 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.
	签到投票。上面

Marko Frankovic Moderator 等級: Junior Member 崗位: 28 加入日期: 2014/7/25 最近崗位	RE: LearnPAd Meta Model: formalization 答覆 2014/9/9 上午 6:25 作為回覆給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/
	签到投票。上面