Difference between revisions of "VIATRA/DSE"
< VIATRA
(→User's guide) |
(Added important links) |
||
| Line 26: | Line 26: | ||
* [[VIATRA/DSE/UserGuide/DesignSpace|Design space]] | * [[VIATRA/DSE/UserGuide/DesignSpace|Design space]] | ||
| − | == Contributors | + | == 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 10:23, 29 September 2014
Contents
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
- Installation
- Usage of the API
- Statecoders
- Algorithms
- Design space
Contributors guide
Releases
There are no releases yet.
Important links
- Bugzilla