icsea08 Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia

Model-driven Language Engineering: the ASMETA case study

in Third International Conference on Software Engineering Advances (ICSEA), October 26-31, 2008 - Sliema, MaltaIEEE Computer Society (2008): 373--378 ISBN 978-0-7695-3372-8

This paper reports our experience in exploiting the metamodelling approach of model-driven language engineering to define a standard modelling language for the Abstract State Machines (ASMs) formal method, and develop a general framework (ASMETA) for a wide interoperability of ASM tools in a model-driven development context. We describe the requirements to fulfill and the design/- implementation/validation/tools development steps necessary to support such a language engineering life cycle. We finally discuss the benefits/limits of a model-driven language engineering approach with respect to traditional techniques primarily used for the same goal.

[download the pdf file] [DOI]

My sw links