Skip to main content
Jump to: navigation, search

Difference between revisions of "VIATRA/DSE"

(User's guide)
(Added important links)
Line 26: Line 26:
 
* [[VIATRA/DSE/UserGuide/DesignSpace|Design space]]
 
* [[VIATRA/DSE/UserGuide/DesignSpace|Design space]]
  
== Contributors Guide ==
+
== Contributors guide ==
  
 
== Releases ==
 
== Releases ==
  
 
There are no releases yet.
 
There are no releases yet.
 +
 +
== Important links ==
 +
 +
* Bugzilla
 +
** [https://bugs.eclipse.org/bugs/buglist.cgi?bug_status=UNCONFIRMED&bug_status=NEW&bug_status=ASSIGNED&bug_status=REOPENED&bug_status=RESOLVED&bug_status=VERIFIED&bug_status=CLOSED&component=DSE&list_id=9735807&order=bug_status%2Cchangeddate%20DESC%2Cproduct%2Cpriority%2Cassigned_to%2Cbug_id&product=Viatra&query_based_on=&query_format=advanced&resolution=---&resolution=FIXED&resolution=INVALID&resolution=WONTFIX&resolution=DUPLICATE&resolution=WORKSFORME&resolution=MOVED&resolution=NOT_ECLIPSE All bugs]
 +
** [https://bugs.eclipse.org/bugs/buglist.cgi?bug_status=UNCONFIRMED&bug_status=NEW&bug_status=ASSIGNED&bug_status=REOPENED&bug_status=VERIFIED&component=DSE&list_id=9894282&product=Viatra&query_format=advanced&resolution=---&resolution=FIXED&resolution=INVALID&resolution=WONTFIX&resolution=DUPLICATE&resolution=WORKSFORME&resolution=MOVED&resolution=NOT_ECLIPSE Active bugs]
 +
** [https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Viatra Report new bug]
 +
 +
* [http://git.eclipse.org/c/viatra2/org.eclipse.viatra2.emf.git/ Source code]
 +
* [https://hudson.eclipse.org/viatra/ Build server ]
 +
 +
* [https://wiki.eclipse.org/EMFIncQuery EMF-IncQuery]

Revision as of 09:23, 29 September 2014

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
    • Non-dominated Sorting Genetic Algorithm (NSGA-II)
  • Easy to use API
  • Parts of the framework can be changed via interfaces

User's guide

Contributors guide

Releases

There are no releases yet.

Important links

Back to the top