Welcome to the InfoSci Platform
Formal Metamodeling for Secure Model-Driven Engineering

Formal Metamodeling for Secure Model-Driven Engineering

Liliana Maria Favre
Copyright: © 2021 |Volume: 12 |Issue: 2 |Pages: 22
ISSN: 2640-4265|EISSN: 2640-4273|EISBN13: 9781799863816|DOI: 10.4018/IJSSSP.2021070104
Cite Article Cite Article

MLA

Favre, Liliana Maria. "Formal Metamodeling for Secure Model-Driven Engineering." IJSSSP vol.12, no.2 2021: pp.46-67. http://doi.org/10.4018/IJSSSP.2021070104

APA

Favre, L. M. (2021). Formal Metamodeling for Secure Model-Driven Engineering. International Journal of Systems and Software Security and Protection (IJSSSP), 12(2), 46-67. http://doi.org/10.4018/IJSSSP.2021070104

Chicago

Favre, Liliana Maria. "Formal Metamodeling for Secure Model-Driven Engineering," International Journal of Systems and Software Security and Protection (IJSSSP) 12, no.2: 46-67. http://doi.org/10.4018/IJSSSP.2021070104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Systems and applications aligned with new paradigms such as cloud computing and internet of the things are becoming more complex and interconnected, expanding the areas in which they are susceptible to attacks. Their security can be addressed by using model-driven engineering (MDE). In this context, specific IoT or cloud computing metamodels emerged to support the systematic development of software. In general, they are specified through semiformal metamodels in MOF style. This article shows the theoretical foundations of a method for automatically constructing secure metamodels in the context of realizations of MDE such as MDA. The formal metamodeling language Nereus and systems of transformation rules to bridge the gap between formal specifications and MOF are described. The main contribution of this article is the definition of a system of transformation rules called NEREUStoMOF for transforming automatically formal metamodeling specifications in Nereus to semiformal-MOF metamodels annotated in OCL.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.