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



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>

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>

* 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>

* Extract a base class for arbitrary conversion managers.
* Adjust the converter interface.
* Add a FixedPropertyLiteral extension to the DSML specific to the D3SE.
  It caches the values of referenced properties of model elements.
* Create a base evaluator that handles this literal.
* Add the conversion to the explorer init.

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

* Simple interface for constructing converters.
* Small manager calling individual converters.
* Utility method for detecting allocation patterns.

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

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

* Remove outdated classes.
* Improved package structure.

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


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

* Add an InternalConstraint representation that can be used by decoders
  and for an input constraint transformation from DSML-based
  constraints.
* Remove the unused old DSL meta model.
* Remove the common constraint meta-model and move the Period and
  Deadline constraint model into the MOEA MM.

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


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

* Deprecates the IConstraintEncoding.
* The "framework" holds the initial or generated constraints (by
  decoders) and allows to query them for the construction or their
  modification.
* Constraints are associated with Genotype instances to restrict the
  modifications applied to them.
* Constraints are associated with Phenotype types such that constraints
  can be declared before the instance are constructed in order to make
  the construction operations aware of the constraints to be applied.

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

Conflicts:
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/evaluator/constraint/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/util/.ratings


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

3279

See merge request !6

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


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

* Currently, the SuperSet of ExecutionUnits is not compatible with
  hierarchical platfroms, since the mapping targets cannot be selected.
  Until the DSE Project has been reworked, identify the mapping targets
  by an allocation pattern over all tasks.
* Add a utility method that identifies a corresponding constraint and
  extracts the ExecutionUnits targets from it.
* Consider the aforementioned allocation pattern to define the input set
  before triggering the DSE:

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

* Replaces the identification of "evaluate" methods by a custom
  annotation that takes the parent Evaluator class as its argument to
  differentiate between evaluate methods across Evaluator boundaries.
  This is required by the binding mechanism of Guice.
* Not yet ported Evaluators are not aligned with the new Annotation.
* Bug Fixes:
** Register the MappingConstraintEvaluator.
** Correct the constructor of the MappingConstraintEvaluator.
** Fix parameter list of its evaluate method.

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

3327: DSE Backend Registration

See merge request !5

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


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