CS 846   Model-Based Software Engineering Winter 2012

In the following, tools that are struck out have already been selected by other project teams.  Select tools that are not yet struck out.  (I will try to keep the list of already-selected tools up to date!!)

MBSE Tools

• Eclipse Graphical Modeling Framework (GMF)  (www.eclipse.org/modeling/gmf/)
  
• Generic Eclipse Modeling System (GEMS)  (www.eclipse.org/gmt/gems)
  
• Generic Modeling Environment (GME) (http://www.isis.vanderbilt.edu/projects/GME)
  
• OOMEGA (http://www.oomega.net/index.html)
• Rascal (http://oai.cwi.nl/oai/asset/18531/18531D.pdf)
• Spoofax (http://strategoxt.org/Spoofax)
• Essential (http://pjmolina.com/metalevel/2011/05/first-public-essential-beta/)
• Xtext (http://xtext.itemis.com/)
  

• Alloy analyzer (alloy.mit.edu)
• NuSMV model checker (http://nusmv.fbk.eu/)
  

• Eclipse Modeling Project:  Model-to-Model (M2M) project (www.eclipse.org/m2m)
• ATLAS Transformation Language (ATL) (http://eclipse.org/atl/)
  
• TXL (http://www.txl.ca/)
  
• Stratego (http://strategoxt.org/)
• QVTO (http://wiki.eclipse.org/M2M/Operational_QVT_Language_(QVTO))
  
• Kermeta (http://www.kermeta.org/)
• Model Transformation Tool Suite (http://www.isis.vanderbilt.edu/tools/GReAT)
• SPARK (http://pages.cpsc.ucalgary.ca/~aycock/spark/)
  

• IBM Rational Rhapsody (UML)
• Meta-Programming System (MPS) (http://www.jetbrains.com/mps)
• MetaEdit+ (http://www.metacase.com/)
• NexJ Systems
  
• Whole Platform (http://whole.sourceforge.net/)
• Spoofax (http://strategoxt.org/Spoofax)