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].

StatechartUMC è un editor grafico che semplifica la generazione del codice testuale associato ad un'UMC statechart. Tale codice rappresenta l'input per il model checker UMC [1]. StatechartUMC applica la tecnica MDSD (Model Driven Software Development) ed il lavoro per la sua costruzione si suddivide in varie fasi: definizione del modello di dominio, costruzione di un'editor grafico per creare istanze del modello, trasformazioni da modelli predefiniti standard (UML) e scrittura di generatori di codice. Tutto questo è realizzato mediante tools open source basati sulla piattaforma Eclipse [2]: Eclipse RCP [3], Eclipse Modeling Framework (EMF) [4], Graphical Modeling Framework (GMF) [5] e Open Architecture Ware (oAW4) [6].