Philipps-Universität Marburg

Fachbereich
Mathematik und Informatik

 		 

Dipl. Inf. Thorsten Arendt

arendt@mathematik.uni-marburg.de 		   

 

A Structured Quality Assurance Process for Software Models Supported by Model Analysis and Refactoring Tools

 		 
  This web site presents tools and examples that are associated with the research paper 'Structured Quality Assurance Process for Software Models Supported by Model Analysis and Refactoring Tools' submitted to the special issue in Elsevier Science of Computer Programming - Special issue on Software Evolution, Adaptility and Maintenance.
The submission is motivated by altogether three accepted papers for the tool demonstration track of the BENEVOL 2010 workshop:
  • EMF Metrics: Specification and Calculation of Model Metrics within the Eclipse Modeling Framework by Thorsten Arendt, Pawel Stepien and Gabriele Taentzer.
  • Defining and Checking Model Smells: A Quality Assurance Task for Models based on the Eclipse Modeling Framework by Thorsten Arendt, Matthias Burhenne and Gabriele Taentzer.
  • EMF Refactor: Specification and Application of Model Refactorings within the Eclipse Modeling Framework by Thorsten Arendt, Florian Mantz and Gabriele Taentzer.
The online proceedings of the BENEVOL 2010 workshop including these papers can be found here. 		 
 

Tools

  • Eclipse Modeling Tools - The basic environment for modeling in eclipse can be downloaded from here.
  • EMF Refactor - The tool for specification and application of model refactorings for EMF based models (including documentation and installation guide) can be found here.
  • Henshin - The used model transformation tool Henshin can be found and downladed from here.
  • EMF Metrics - The tool for specification and calculation of model metrics on EMF based models (de.unimarburg.swt.emf.metrics) can be downloaded from here. Please install EMF Metrics by copying the corresponding plugin into the plugins directory of your eclipse installation and restart eclipse.
  • EMF Smell - The tool for specification and detection of model smells in EMF based models (de.unimarburg.swt.emf.modelsmell) can be downloaded from here. Please install EMF Smell by copying the corresponding plugin into the plugins directory of your eclipse installation and restart eclipse.
 		 
 

Examples

  • Simple Class Model (SCM) - The example DSL 'SimpleClassModel' including a tree-based EMF instance editor as well as a graphical GMF editor for SCM can be downloaded from here. Please install SCM by copying the corresponding four plugins into the plugins directory of your eclipse installation and restart eclipse.
  • SCM Metrics - Example metrics for SCM instance models can be downloaded from here. Please install them by copying the corresponding plugin (de.unimarburg.swt.scm.metrics) into the plugins directory of your eclipse installation and restart eclipse. A corresponding eclipse project can be found in the 'scmqualityassurance' zip file. Just import it by 'File -> Import -> Existing Projects into Workspace -> Select archive file'.
  • SCM Smells - Example smells for SCM instance models can be downloaded from here. Please install them by copying the corresponding plugin (de.unimarburg.swt.scm.smells) into the plugins directory of your eclipse installation and restart eclipse. A corresponding eclipse project can be found in the 'scmqualityassurance' zip file. Just import it by 'File -> Import -> Existing Projects into Workspace -> Select archive file'.
  • SCM Refactorings - Example refactorings for SCM instance models can be downloaded from here. Please install them by copying the corresponding plugin (de.unimarburg.swt.scm.refactotings) into the plugins directory of your eclipse installation and restart eclipse. A corresponding eclipse project can be found in the 'scmqualityassurance' zip file. Just import it by 'File -> Import -> Existing Projects into Workspace -> Select archive file'.
  • Ecore Smells - Example smells for Ecore instance models can be downloaded from here. Please install them by copying the corresponding plugin (de.unimarburg.swt.ecore.smells) into the plugins directory of your eclipse installation and restart eclipse. A corresponding eclipse project can be found in the 'ecorequalityassurance' zip file. Just import it by 'File -> Import -> Existing Projects into Workspace -> Select archive file'.
  • Ecore Refactorings - Example refactorings for Ecore instance models can be downloaded from here. Please install them by copying the corresponding plugins (org.eclipse.emf.refactor.ecore and/or org.eclipse.emf.refactor.ecore.henshin) into the plugins directory of your eclipse installation and restart eclipse. Corresponding eclipse projects can be found in the 'ecorequalityassurance' zip file. Just import it by 'File -> Import -> Existing Projects into Workspace -> Select archive file'. These projects can also be found in the EMF Refactor repository at eclipse. Access information data can be found here.
 		 
19.04.2011