A Formal Framework for Metamodeling in the Context of MDE
Metamodeling is a central concept in Model Driven Engineering (MDE). An important consideration in metamodeling is that secure metamodels are a prerequisite for secure software, since errors in a metamodel lead to errors in its instances (models). Formal methods can help solve this problem by provid...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Graz University of Technology
2025-03-01
|
| Series: | Journal of Universal Computer Science |
| Subjects: | |
| Online Access: | https://lib.jucs.org/article/121457/download/pdf/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849387809054392320 |
|---|---|
| author | Liliana Favre |
| author_facet | Liliana Favre |
| author_sort | Liliana Favre |
| collection | DOAJ |
| description | Metamodeling is a central concept in Model Driven Engineering (MDE). An important consideration in metamodeling is that secure metamodels are a prerequisite for secure software, since errors in a metamodel lead to errors in its instances (models). Formal methods can help solve this problem by providing systematic and rigorous techniques for reducing ambiguities and inconsistencies in the specification of metamodels. The goal of this article is to present a unified formal framework for metamodeling in the context of MDE, essentially based on MOF, the metamodeling foundation of the OMG industry standards. It is based on the Nereus metamodeling language and includes transformers for translating both MOF metamodels to Nereus metamodels and Nereus metamodels to MOF metamodels, with some prospects for future industrial use of these results. The Nereus language can be seen as a concrete syntax for MOF, extended by additional properties expressed by axioms. Transformers are defined starting from systems of transformation rules that allow automation of processes. An original real-world case in the context of model-driven reverse engineering is described.  |
| format | Article |
| id | doaj-art-da8dae3fad994be1b917a6c74eafff93 |
| institution | Kabale University |
| issn | 0948-6968 |
| language | English |
| publishDate | 2025-03-01 |
| publisher | Graz University of Technology |
| record_format | Article |
| series | Journal of Universal Computer Science |
| spelling | doaj-art-da8dae3fad994be1b917a6c74eafff932025-08-20T03:42:29ZengGraz University of TechnologyJournal of Universal Computer Science0948-69682025-03-0131433836210.3897/jucs.121457121457A Formal Framework for Metamodeling in the Context of MDELiliana Favre0Universidad Nacional del Centro de la Provincia de Buenos Aires &CICPBAMetamodeling is a central concept in Model Driven Engineering (MDE). An important consideration in metamodeling is that secure metamodels are a prerequisite for secure software, since errors in a metamodel lead to errors in its instances (models). Formal methods can help solve this problem by providing systematic and rigorous techniques for reducing ambiguities and inconsistencies in the specification of metamodels. The goal of this article is to present a unified formal framework for metamodeling in the context of MDE, essentially based on MOF, the metamodeling foundation of the OMG industry standards. It is based on the Nereus metamodeling language and includes transformers for translating both MOF metamodels to Nereus metamodels and Nereus metamodels to MOF metamodels, with some prospects for future industrial use of these results. The Nereus language can be seen as a concrete syntax for MOF, extended by additional properties expressed by axioms. Transformers are defined starting from systems of transformation rules that allow automation of processes. An original real-world case in the context of model-driven reverse engineering is described. https://lib.jucs.org/article/121457/download/pdf/Model-Driven EngineeringMetamodelingFormal Spe |
| spellingShingle | Liliana Favre A Formal Framework for Metamodeling in the Context of MDE Journal of Universal Computer Science Model-Driven Engineering Metamodeling Formal Spe |
| title | A Formal Framework for Metamodeling in the Context of MDE |
| title_full | A Formal Framework for Metamodeling in the Context of MDE |
| title_fullStr | A Formal Framework for Metamodeling in the Context of MDE |
| title_full_unstemmed | A Formal Framework for Metamodeling in the Context of MDE |
| title_short | A Formal Framework for Metamodeling in the Context of MDE |
| title_sort | formal framework for metamodeling in the context of mde |
| topic | Model-Driven Engineering Metamodeling Formal Spe |
| url | https://lib.jucs.org/article/121457/download/pdf/ |
| work_keys_str_mv | AT lilianafavre aformalframeworkformetamodelinginthecontextofmde AT lilianafavre formalframeworkformetamodelinginthecontextofmde |