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

TLDR

The process leverages Model‑driven Engineering concepts such as metamodelling and automatic generation of software artifacts from models. This paper presents a model‑driven software process suitable to develop a set of integrated tools around a formal method. 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 report our experience in engineering a metamodel‑based language and a toolset for the Abstract State Machine formal method. © 2011 John Wiley & Sons, Ltd.

Abstract

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. Copyright © 2011 John Wiley & Sons, Ltd.