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]