Model driven software development con Eclipse, statechartUMC

StatechartUMC is a graphical editor which simplifies the generation of textual code associated to a UMC statechart. This code represents the input for the model checker UMC [1]. StatechartUMC applies the MDSD (Model Driven Software Development) technique and the work that has led to its creation can be subdivided in various phases: definition of the domain model, construction of a graphical editor to create model instances, transformations from standard predefined models (UML) and writing of code generators. All this has been realized by means of open source tools based on the Eclipse platform [2]: Eclipse RCP [3], Eclipse Modeling Framework (EMF) [4], Graphical Modeling Framework (GMF) [5] and Open Architecture Ware (oAW4) [6].