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

作者：Arcaini Paolo; Gargantini Angelo^*; Riccobene Elvinia; Scandurra Patrizia

来源：Software: Practice and Experience , 2011, 41(2): 155-166.

DOI：10.1002/spe.1019

• formal methods
• abstract state machines
• model-driven engineering

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.

• 出版日期2011-2