2026-07-20T05:59:46Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:638 2024-03-06T11:06:53Z ddc:004 open_access

Exploiting the ASM method within the Model-driven Engineering paradigm Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia Abstract State Machines Model-driven Engineering ASM Metamodel Metamodelling Model-driven Engineering (MDE) is an emerging approach for software development. It uses metamodels to define language (or formalism) abstract notation, so separating the abstract syntax and semantics of the language from their different concrete notations. However, metamodelling frameworks lack of a way to specify the semantics of languages, which is usually given in natural language. We claim that the MDE paradigm can gain rigor and preciseness from the integration with formal approaches, and we propose the integration with the ASMs to define a unified methodology for metamodel-based language syntax and semantics definitions. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06191.4 urn:nbn:de:0030-drops-6384 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06191.4 eng https://creativecommons.org/licenses/by/4.0/legalcode