Skip to main content
Jump to: navigation, search

Difference between revisions of "VIATRA/DSE"

(Renamed links to from VIATRA2 to VIATRA)
(Important links)
Line 38: Line 38:
  
 
* Bugzilla
 
* Bugzilla
 +
** If you found a bug, [https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Viatra report it here]
 
** [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=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/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]
+
* [http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/ Source code]
 +
* [http://git.eclipse.org/c/viatra/org.eclipse.viatra.examples.git/ Examples source code]
 
* [https://hudson.eclipse.org/viatra/ Build server ]
 
* [https://hudson.eclipse.org/viatra/ Build server ]
  
 
* [https://wiki.eclipse.org/EMFIncQuery EMF-IncQuery]
 
* [https://wiki.eclipse.org/EMFIncQuery EMF-IncQuery]

Revision as of 05:17, 17 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

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

Copyright © Eclipse Foundation, Inc. All Rights Reserved.