loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Liliana Favre 1 and Daniel Duarte 2

Affiliations: 1 Universidad Nacional del Centro de la Provincia de Buenos Aires-CICPBA, Argentina ; 2 Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina

Keyword(s): Model Driven Development, MDA, Metamodeling, MOF, Formal Specification, ANTLR, Test Driven Development (TDD).

Related Ontology Subjects/Areas/Topics: Languages, Tools and Architectures ; MetaModeling ; Model-Driven Architecture ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.178.126

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-758-168-7; ISSN 2184-4348, SciTePress, pages 99-110. DOI: 10.5220/0005689200990110

@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 - MODELSWARD},
year={2016},
pages={99-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005689200990110},
isbn={978-989-758-168-7},
issn={2184-4348},
}

TY - CONF

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