Formal MOF Metamodeling and Tool Support

Liliana Favre, Daniel Duarte

2016

Abstract

Model Driven Development (MDD) has emerged as a new road to software development industrialization. The most well-known realization of MDD is the Model Driven Architecture (MDA). The essence of MDA is the metamodel MOF (Meta Object Facility) allowing interoperability of different kind of artifacts from multiple technologies. It is important to formalize and reason about MOF metamodels properly. In this paper, we propose a rigorous framework for reasoning about “correctness” of metamodels. Our main contribution is the integration of MOF metalanguage with formal specification languages based on the algebraic formalism. We define NEREUS, a formal metamodeling language, and processes for reasoning about MOF-like metamodels such as ECORE metamodels. The paper describes a set of tools developed to make formal metamodeling feasible in practice.

Paper Citation

in Harvard Style

Favre L. and Duarte D. (2016). Formal MOF Metamodeling and Tool Support . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 99-110. DOI: 10.5220/0005689200990110

in Bibtex Style

@conference{modelsward16,
author={Liliana Favre and Daniel Duarte},
title={Formal MOF Metamodeling and Tool Support},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={99-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005689200990110},
isbn={978-989-758-168-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Formal MOF Metamodeling and Tool Support
SN - 978-989-758-168-7
AU - Favre L.
AU - Duarte D.
PY - 2016
SP - 99
EP - 110
DO - 10.5220/0005689200990110