tenreasons A. Gargantini and E. Riccobene and P. Scandurra

Ten reasons to metamodel ASMs

in Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Boerger on the Occasion of His 60th Birthday, vol. 5115 (2008)


Model-Driven Engineering (or MDE) is an emerging approach for system development which refers to the systematic use of models as primary engineering artifacts throughout the engineering lifecycle. MDE puts emphasis on bridges between different working contexts and on the integration of bodies of knowledge differently developed. We discuss the mutual advantages that the integration of MDE and Abstract State Machines (ASMs) would provide: MDE can gain rigour and preciseness, while ASMs get a standard abstract notation and a general framework for a wide tool interoperability.

My sw links