3337: exploration.alog

See merge request !9

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

3620: Java 11 Adaptions

See merge request !8

Issue-Ref: 3620
Issue-Url: https://af3-developer.fortiss.org/issues/3620



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3620
Issue-Url: https://af3-developer.fortiss.org/issues/3620



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3620
Issue-Url: https://af3-developer.fortiss.org/issues/3620



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3620
Issue-Url: https://af3-developer.fortiss.org/issues/3620



Signed-off-by: Simon Barner <barner@fortiss.org>

into 3337

Conflicts:
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/modeltransformation/comparch/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/modeltransformation/deployment/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/modeltransformation/deployment/DeploymentFinalizer.java
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/sysmodel/arch/af3/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/sysmodel/arch/af3/AF3SystemModelAdapter.java
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/plot/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/util/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/util/TransformationUtils.java


Signed-off-by: Simon Barner <barner@fortiss.org>

3620

See merge request !7

* Simplify the insertion logic.
* Delegate the shifting of TimeSlots of the same resource to the
  now separated ResourceSchedule.
* Several code-improvements/deletion of unused code.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Export of explorations to be re-implemented (e.g., based on
  TaskToExecutionUnitAllocationTables)

Issue-Ref: 3337
Issue-Url: https://af3-developer.fortiss.org/issues/3337



Signed-off-by: Simon Barner <barner@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Adds a injector/binder analyzer that allows to query which phenotypes
  are affected by Genotype modifications.
* Create a Holder for Phenotypes that may be preserved.
* Add preserved phenotypes to the decoding cache before launching the
  actual decoding.
* Update Opt4J to enable tracking of modified genotypes.
* Correct the crossover and mutate module for the ProvidingPhenotype.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Adds finders and visitors following the implementation of existing
  binder analysis classes.
* Required to analyze which Phenotypes need to be decoded again due to
  a modification of Genotype they (transitively) depend on.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Also move all opt4j libs in a separate folder.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Otherwise, the genotypes of already evaluated Individuals are altered.
* Remove copy operations from crossover operators.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Adjust the design of the encoding provision module to enable its lazy
  construction from genotypes when a new instance is generated by the
  Opt4J framework.
* Fix a copy bug in the instantiated task mapping encodings where the
  allocation maps were not aligned.
* Fixup the calculation of the constraint that ensures only tasks with
  the same SIL are allocated to one partition.
* Remove no longer required copy operators.
* Bug fix: Correct the references to the included Opt4J jars.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* The operator selection is now embedded in the Opt4J framework, so
  remove all code in this plugin related to that feature.
* The previous implementation was buggy such that multiple operators
  could be bound to one genotype, but only one of them was executed per
  exploration run (random selection).
* Fixing these issues in this plugin would have been a suboptimal
  solution since the required selection logic would need to be
  duplicated in each module binding multiple operators.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Enables independent migration of other plugins

Issue-Ref: 3337
Issue-Url: https://af3-developer.fortiss.org/issues/3337



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3337
Issue-Url: https://af3-developer.fortiss.org/issues/3337



Signed-off-by: Simon Barner <barner@fortiss.org>

* Move the debug plotter to the Explorer.
* Only return ExplorationTargets from the original input specification
  instead of internal ones to avoid containment issues.
* Cleanup.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3279
Issue-Url: https://af3-developer.fortiss.org/issues/3279


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3279
Issue-Url: https://af3-developer.fortiss.org/issues/3279


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Every evaluator module must now be equipped with a method annotated
  with "@Validates".
* Similar to evaluate methods, the parameters of the validate functions
  are now automatically provided by guice.

Issue-Ref: 3279
Issue-Url: https://af3-developer.fortiss.org/issues/3279


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3279
Issue-Url: https://af3-developer.fortiss.org/issues/3279


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* CompositeExplorationSolution
* IExploratuionSolution
* IScheduleSolution

Issue-Ref: 3279
Issue-Url: https://af3-developer.fortiss.org/issues/3279


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3279
Issue-Url: https://af3-developer.fortiss.org/issues/3279


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Modify the previous constraint transformation service into a more
  general service that allows to convert ExplorationSpecifications, not
  only constraints.
* Migrate the DSML expression converters and the InternalConstraint
  converters.
* Make the Transformation Service compositional by means of its sub
  modules.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>