Revision as of 08:53, 4 March 2015

VIATRA-DSE Wiki Documentation

Design space exploration (DSE) is a multi-criteria, search-based design process, which searches for good enough solutions within the possible design alternatives. VIATRA-DSE defines design candidates as EMF models, goals and constraints as EMF-IncQuery patterns and alters the model via domain specific transformation rules.

Main features

• Based on EMF and EMF-IncQuery
• Supports parallel algorithms
• There are already a number of implemented algorithms:
  • Depth first search
  • Breadth first search
  • Fixed priority search
  • Hill climbing strategy
  • Non-dominated Sorting Genetic Algorithm (NSGA-II)
• Easy to use API
• Parts of the framework can be changed via interfaces

User's guide

• Installation
• Usage of the API
• Statecoders
• Strategies
  • Developing new algorithms
  • Basic algorithms
  • Genetic algorithm (NSGA-II)
• Design space
• Examples
  • BPMN example

Contributors guide

Releases

There are no releases yet. We plan to make our first release (0.7) at the end of June 2015.

Important links

• Bugzilla
  • All bugs
  • Active bugs
  • Report new bug

• Source code
• Build server

• EMF-IncQuery