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.
Ten reasons to metamodel ASMs / A. Gargantini, E. Riccobene, P. Scandurra - In: Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / [a cura di] J.-R. Abrial, U. Glässer. - Berlin : Springer, 2009. - ISBN 9783642114465. - pp. 33-49
Ten reasons to metamodel ASMs
E. RiccobeneSecondo
;P. ScandurraUltimo
2009
Abstract
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
