DROPS

Document

Exploiting the ASM method within the Model-driven Engineering paradigm

Authors: Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra

Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)

Abstract

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.

Cite as

Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Exploiting the ASM method within the Model-driven Engineering paradigm. In Rigorous Methods for Software Construction and Analysis. Dagstuhl Seminar Proceedings, Volume 6191, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{gargantini_et_al:DagSemProc.06191.4,
  author =	{Gargantini, Angelo and Riccobene, Elvinia and Scandurra, Patrizia},
  title =	{{Exploiting the ASM method within the Model-driven Engineering paradigm}},
  booktitle =	{Rigorous Methods for Software Construction and Analysis},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6191},
  editor =	{Jean-Raymond Abrial and Uwe Gl\"{a}sser},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06191.4},
  URN =		{urn:nbn:de:0030-drops-6384},
  doi =		{10.4230/DagSemProc.06191.4},
  annote =	{Keywords: Abstract State Machines, Model-driven Engineering, ASM Metamodel, Metamodelling}
}

Search Results

Documents authored by Gargantini, Angelo

Exploiting the ASM method within the Model-driven Engineering paradigm

Abstract

Cite as

Thanks for your feedback!

Could not send message