asmee07 Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia

AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines

in First International Conference on Eclipse Technologies ECLIPSE-IT 2007Cuzzolin Editore (2007) ISBN 8887998795

The Abstract State Machines are a formal method successfully employed as system engineering method that guides the development of complex systems seamlessly from requirements capture to their implementation. Several tools supporting the ASMs have been developed in the past. To integrate these different tools and technologies we have proposed a metamodel based framework, called ASMETA, for the ASM. ASMETA includes a set of integrated tools and libraries, and can be integrated itself with the Eclipse project. In this paper we present the initial results of such integration, which consists in a Eclipse plug-in, called AsmEE, for editing and simulating ASM specifications. We present the AsmEE architecture, its features and capability and how they have been realized. Moreover we present the future work in the direction of a stronger integration between ASMETA and Eclipse.

[download the pdf file]

My sw links