Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
VIATRA/DSE
< VIATRA
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.