License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-6384
URL: http://drops.dagstuhl.de/opus/volltexte/2006/638/
Go to the corresponding Portal


Gargantini, Angelo ; Riccobene, Elvinia ; Scandurra, Patrizia

Exploiting the ASM method within the Model-driven Engineering paradigm

pdf-format:
Document 1.pdf (81 KB)


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.

BibTeX - Entry

@InProceedings{gargantini_et_al:DSP:2006:638,
  author =	{Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra},
  title =	{Exploiting the ASM method within the Model-driven Engineering paradigm},
  booktitle =	{Rigorous Methods for Software Construction and Analysis},
  year =	{2006},
  editor =	{Jean-Raymond Abrial and Uwe Gl{\"a}sser},
  number =	{06191},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/638},
  annote =	{Keywords: Abstract State Machines, Model-driven Engineering, ASM Metamodel, Metamodelling}
}

Keywords: Abstract State Machines, Model-driven Engineering, ASM Metamodel, Metamodelling
Seminar: 06191 - Rigorous Methods for Software Construction and Analysis
Issue Date: 2006
Date of publication: 08.08.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI