spe11 Arcaini, Paolo Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia

A model-driven process for engineering a toolset for a formal method

in Software: Practice and Experience, John Wiley & Sons, Ltd., vol. 41, n. 2 (2011): 155--166

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.


[read the copyright and download the pdf file] [DOI]

My sw links