VIATRA-Generator
VIATRA-Generator copied to clipboard
viatra
An efficient graph solver for generating well-formed models
Take existing examples used in the ICSE 2018 paper, and create standalone examples in the test folder. Create a configuration file to enable the model generation (as it was run...
Error occured (UnsupportedOperationException): Unsupported attribute type: EEnumerator hu.bme.mit.inf.dslreasoner.ecore2logic.EAttributeMapper_RelationsOverTypes.TypeOfRange(EAttribut Mapper_RelationsOverTypes.java:227) hu.bme.mit.inf.dslreasoner.ecore2logic.EAttributeMapper_RelationsOverTypes.transformEAttributes(EAttributeMapper_RelationsOverTypes.java:69) hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic.transformEAttributes(Ecore2Logic.java:140) hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic.transformMetamodel(Ecore2Logic.java:83) hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:189) hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:129) hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:338) hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:110) hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:138) my.model.generation.workflow.Main.main(Main.java:28)
JUnit test failed on test project "hu.bme.mit.inf.dslreasoner.application.FAMTest" https://github.com/viatra/VIATRA-Generator/tree/master/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest java.lang.AssertionError: expected: but was:
If a variable has an enum type and a value is specified for that variable in the `.vql` file (ex. `FTObstacle.color(ob1, FTPickUpColor::Other);`), the solver throws an exception when invoked, while...
If a variable has a java primitive type (such as `java.lang.Integer`), the solver throws an exception when invoked, while the VIATRA Query Result view is able to show the matches...
The configuration file (.vsconfig) allows users to specify the number of instances generated for each class of the metamodel. The issue is that the values specified in the configuration file...
To enhance the generator, it would be interesting to add a feature that would allow to treat the attributes as undefined by default (without a specific default value). This would...
To enhance the debugging capabilities of the model generation process, the search space chould be visualized - where each state (i.e. a partial model) is visualized as a graph -...
Assume a well-formedness constraint with violation pattern `{ constraint1(x,y,z); constraint2(x,y,z); constraint3(x,y,z); }` If, for given tuple `(a,b,c)`, we have both `constraint1(a,b,c)` and `constraint2(a,b,c)` hold with certainty 1, then `constraint3(a,b,c)` must...
Currently, if a query has constraints C and D, where for a specific variable substitution both C and D evaluate to unknown (1/2), then C && D will evaluate to...