A model‐driven process for engineering a toolset for a formal method
Software Practice and Experience2011Vol. 41(2), pp. 155–166
Citations Over TimeTop 10% of 2011 papers
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.
Related Papers
- → Generating finite state machines from abstract state machines(2002)182 cited
- → Generating finite state machines from abstract state machines(2002)78 cited
- → Metamodel Matching: Experiments and Comparison(2006)21 cited
- Using Meta-code Generation to Realize Higher-order Model Transformations(2016)