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

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

3861: Remove deprecated plugins

See merge request af3/af3!259

Conflicts:
	org.fortiss.af3.component/META-INF/MANIFEST.MF
	org.fortiss.af3.expression/META-INF/MANIFEST.MF
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

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

3791

See merge request af3/af3!258

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

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

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

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

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

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

Conflicts:
	org.fortiss.af3.safety/META-INF/MANIFEST.MF
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

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

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

3859

See merge request af3/af3!257

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

Signed-off-by: Marco Volpe <volpe@fortiss.org>

* Introduce a new Enumerator for the SafetyIntegrityLevel annotation
  that allows to specify unset values by pointing to null. In case a
  value is set for an IModelElement, the attribute points to the
  standard specific enum.
* Update the haveDirectChildsSpecifiedSIL(...) method to consider only
  directly set safety levels of IModelElements.

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

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

* Moved to https://git.fortiss.org/af3/verification
  org.fortiss.af3.msc
  org.fortiss.af3.msc.ui
  org.fortiss.af3.ocra
  org.fortiss.af3.refinement
  org.fortiss.af3.refinement.ui
  org.fortiss.af3.specification
  org.fortiss.af3.specification.ui
  org.fortiss.af3.testing
  org.fortiss.af3.testing.ui
  org.fortiss.af3.tools
  org.fortiss.pragmatictransformation
* Moved to https://git.fortiss.org/af3/beaglebone
  org.fortiss.af3.beaglebone
  org.fortiss.af3.beaglebone.ui

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

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

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

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

* Affected plugins
  * org.fortiss.af3.ocra
  * org.fortiss.af3.refinement
  * org.fortiss.af3.refinement.ui
  * org.fortiss.af3.specification
  * org.fortiss.af3.specification.ui
  * org.fortiss.af3.testing
  * org.fortiss.af3.testing.ui
  * org.fortiss.af3.tools
  * org.fortiss.pragmatictransformation
* In most of the cases, move integration of remaining plugins (e.g.,
  commands, actions, ...) to one of the know optional plugins
* A few code sections had to be commented. This is further tracked
  in #3863 and #3864

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

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

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

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

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

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

* org.fortiss.af3.component.generator.nusmv
* org.fortiss.af3.expression.generator.nusmv
* org.fortiss.af3.state.generator.nusmv

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

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

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

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

exploration.ecore
- Add comment to InstanceOfElement and ContainedByElement that they
  are temporary specifications to control the export of the synthesized
  solution that is not to be saved to the model.
- Potentially, introduce an intermediate type, e.g.
ITransformationControlSpecification, that contains the above
documentation.

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

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

Conflicts:
	org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/util/.ratings
	org.fortiss.af3.task/src/org/fortiss/af3/task/util/.ratings
Signed-off-by: Simon Barner <barner@fortiss.org>

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

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

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

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

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

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

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

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

* Fixes the Gantt preview in the DSE perspective.
* The DSE project model tree walk methods are now based on BiConsumers
  instead of BiFunctions since the output parameter was effectively
  never used and could cause confusion.
* Adds a second transform method for programmatic use of the
  transformation service.

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

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

We export all inputs to the conversion service anyways due to the
snapshot nature of the DSE project.

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

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

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

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

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

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

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

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

* This compositor allows to add more than one DataDictionary to a
  FileProject. It is only triggered if the DSESolutionConversionContext
  is passed.

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

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

* Also, export all packages as preferred by eclipse / Jigsaw.

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

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

* Reworks the DSE solution converter service to jointly copy the
  required inputs and generated SuperSets at once such that all cross-
  references are aligned automatically.
* The complex signature of the transform method and confusing util
  methods are now gone: They are replaced by a single artifact container
  class that manages the access to the internal artifacts like the prev
  util methods.
* Some dummy converters are removed that were just responsible to make
  some inputs artifacts to appear in the outputs.
* Remove any copy methods from the converters.

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

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

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

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

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

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

* Move the platform-logic to the static impl.
* Use more infrastructure logic from the annotation framework.
* Move common methods to the SafetyUtils.

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

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

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

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

* Represents the achievable SIL of computational units.
* Core SIL values are derived from their parent tiles.
* Tile SILs can always be set and inherit their safety level from a
  parent node if none is set.
* Nodes have the lowest SIL of its contained tiles. If none is set at
  the tile level, a user can specify the integrity level of the node.

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

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

Create context menu entry for extracting a platform's routes

See merge request af3/af3!256