This paper presents a model-driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the Model-driven Engineering (MDE) approach, such as metamodelling and automatic generation of software artifacts from models. We describe the requirements to fulfill and the development steps of this model-driven process. As a proof-of-concept, we apply it to the Finite State Machines and we report our experience in engineering a metamodel-based language and a toolset for the Abstract State Machine formal method.
A model-driven process for engineering a toolset for a formal method / P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 41:2(2011), pp. 155-166. [10.1002/spe.1019]
A model-driven process for engineering a toolset for a formal method
P. ArcainiPrimo
;E. RiccobenePenultimo
;
2011
Abstract
This paper presents a model-driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the Model-driven Engineering (MDE) approach, such as metamodelling and automatic generation of software artifacts from models. We describe the requirements to fulfill and the development steps of this model-driven process. As a proof-of-concept, we apply it to the Finite State Machines and we report our experience in engineering a metamodel-based language and a toolset for the Abstract State Machine formal method.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.