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, and 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.
Model-driven language engineering : the ASMETA case study / A. Gargantini, E. Riccobene, P. Scandurra - In: ICSEA 2008 : the third International conference on software engineering advances : includes ENTISY 2008, International workshop on enterprise information systems : 26-31 october 2008, Sliema, Malta : proceedings / [a cura di] H. Mannaert ... [et al.]. - Los Alamitos : Institute of electrical and electronics engineers, 2008. - ISBN 9781424432189. - pp. 373-378 (( Intervento presentato al 3. convegno International Conference on Software Engineering Advances (ICSEA) tenutosi a Sliema, Malta nel 2008 [10.1109/ICSEA.2008.62].
Model-driven language engineering : the ASMETA case study
E. RiccobeneSecondo
;P. ScandurraUltimo
2008
Abstract
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, and 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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.