PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Sulova A. Model driven software development con Eclipse, statechartUMC. In: Eclipse-IT 2009 - 4th Italian workshop on Eclipse technologies (UniversitÓ degli Studi di Bergamo, 28-29 September 2009). Atti, Angelo Gargantini (ed.). Eclipse Italian Community, Bergamo, Italy, 2009.
 
 
Abstract
(English)
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].
Abstract
(Italiano)
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].
URL: http://eit09.unibg.it/pdfs/99990113.pdf
Subject Model Driven Software Development (MDSD)
Eclipse
Eclipse Modelling Framework (EMF)
Eclipse Graphical Modelling Framework (GMF)
Open Architecture Ware (oAW4)
Eclipse Rich Client Platform (RCP)
D.2.4 Software/Program Verification. Model checking
K.6.3 Software Management. Software development


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional