GitLab

refs 3192

refs 3192

refs 3192

refs 3192

refs 3192

refs 3192

* Rework confusing loop constructs.
* Follow the coding convention.
refs 3193

refs 3177

refs 3177

refs 3177

* Set sizes of composites correctly.
* Label the backend selection.
refs 2939

refs 3039

refs 3190

Move "asStream()", a method that converts an {@link Iterator} to a (sequential) {@link Stream}, to LambdaUtils
refs 2950

* Remove those model elements which have been moved to the exploration.alg plugin some time ago. They are not used any more anyways.
refs 3190

- Enable to hide the prototypes for the generic hierarchical architecture. It can be requested by derived {@link IPrototypeProvider}s that provide the prototypes for architectures derived from the generic hierarchical architecture).

- Use this feature for OPC/SA architecture.
refs 2663,3185

refs 2939

* Exploration.alg:
  * Register the .alg plugin via an IStattup extension to avoid dependencies on this plugin.
  * Create a objective and a constraint evaluator that can handle DSML expressions.
  * Adjust the opt4j extensions.
  * Temporally introduce the MappingEncoding marker interface to support the DSML evaluators (--> allocation expressions).
  * Fix some minor bugs and warnings.
  * Move the porting utils to the alg plugin (previously in alg.ui).
  * Move the plot code to the alg plugin (previously in alg.ui) until the transition to the AF3 visualization framework is finished.
* Exploration.smt:
  * Create a backend implementation for the smt-based exploration.
  * Minor adjustments (I/O) to comply with the backend mechanism.
* Exploration:
  * Package renaming of the DSE backend mechanism.
  * Make the DSE backend mechanism independent of the eclipse extension mechanism.
  * Integrate the Exploration solution Classes in the EMF model.
  * Minor adjustments of the DSE backend API.
* Exploration.ui:
  * Add a combobox to select the DSE backend for the Deployment synthesis
  * Adjust the GUI backends to comply with the DSE backend interfaces.
refs 2939

- Adjust generic hierarchical technical architecture to be "tailored" to a specific architecture (availability and naming of elements)
- Prototypically use this concept for the OPC/SA architecture
refs 2663,3185

Introduce AllocationTableCollectionCompositorBase, a base compositor for adding AllocationTable specializations to AllocationTableCollections.

It also requires to specify a limit of the maximum number of AllocationTable specializations that may be added to a given AllocationTableCollection.
refs 2950

refs 2950

refs 2950

refs 3177

refs 3177

refs 3177

refs 3177

refs 3177

refs 3039

The following are the big changes made 1) Group of the constraints, 2) Change the design of the constraints that are implemented so far and re-implement the constraints based on the new design, 3) added new constraints for safety cases. According to the new design the constraints belongs to every group and for that the developer needs to do the following 1) implement a class that extends with AF3ProjectConstraintCheckerBase and override a function getGroup() that should return the name of the group 2) when building the constraint the constraint class should extend the class that was made in step 1.
refs 3039

refs 3039

If the displayed element is an IConnector, ensure that this ellipsis is shown on the left hand side, in order to not hide the connector name, but the name of the connector's container.
refs 2950

refs 3177

refs 3177

refs 3177