Exploration: Use SuperSets to pass model data to the backend.

* Modify (Super)Sets to use a generic that denotes the types of elements within a set. Thereby, it is ensured that only elements of this kind are contained/referenced in a specific set.
* Introduce a SuperSetMap that allows to associate the types of elements of supersets with superset instances.
* Use the SuperSetMap as the main entity to pass model elements from the DSE Project to backends.
* Add the ComponentToTaskAllocationTable to the DSESuperSet and the DSE model element: This is the new way to identify which Tasks belong to which Component.
refs 2939

org.fortiss.af3.exploration.alg/trunk/src/org/fortiss/af3/exploration/alg/contribution/.ratings

-Opt4JDseBackend.java d0d8a516267b93c4b32a4af10166f41ac633d219 RED
+Opt4JDseBackend.java 10829afdc8b0cfc58ac2dcfbc9564b6d38f0c5d1 RED

org.fortiss.af3.exploration.alg/trunk/src/org/fortiss/af3/exploration/alg/contribution/Opt4JDseBackend.java

@@ -18,6 +18,8 @@ package org.fortiss.af3.exploration.alg.contribution;
 import static org.fortiss.af3.exploration.alg.port.DSEPortingUtils.createSystemParameterContainer;
 import static org.fortiss.af3.exploration.alg.util.DesignSpaceExplorationModelElementFactory.createDefaultDesignSpaceExploration;
 import static org.fortiss.af3.exploration.util.DesignSpaceExplorationModelElementFactory.createExplorationSpecification;
+import static org.fortiss.tooling.common.util.LambdaUtils.getFirst;
+import static org.fortiss.tooling.kernel.utils.EcoreUtils.getParentsWithType;
 
 import java.util.ArrayList;
 import java.util.Arrays;
@@ -38,8 +40,9 @@ import org.fortiss.af3.exploration.alg.port.plot.XYPlotter;
 import org.fortiss.af3.exploration.alg.service.IExplorationEncoding;
 import org.fortiss.af3.exploration.backend.DseInputContainer;
 import org.fortiss.af3.exploration.backend.IDseBackend;
-import org.fortiss.af3.exploration.backend.IDseInputContainer;
 import org.fortiss.af3.exploration.backend.RuleSetContainer;
+import org.fortiss.af3.exploration.backend.SuperSetMap;
+import org.fortiss.af3.exploration.dsl_v2.model.expression.SuperSet;
 import org.fortiss.af3.exploration.model.ExplorationSolution;
 import org.fortiss.af3.exploration.model.ExplorationSpecification;
 import org.fortiss.af3.exploration.model.IExplorationFeature;
@@ -47,11 +50,16 @@ import org.fortiss.af3.exploration.model.solutions.ExplorationSolutionSet;
 import org.fortiss.af3.exploration.moea.model.DseSpecification;
 import org.fortiss.af3.exploration.moea.model.feature.FeatureFactory;
 import org.fortiss.af3.exploration.projectmodel.RuleSet;
+import org.fortiss.af3.platform.model.ExecutionUnit;
 import org.fortiss.af3.platform.model.PlatformArchitecture;
+import org.fortiss.af3.project.model.FileProject;
+import org.fortiss.af3.project.utils.ProjectUtils;
+import org.fortiss.af3.task.model.Task;
 import org.fortiss.af3.task.model.TaskArchitecture;
 import org.fortiss.tooling.base.model.element.IModelElement;
 import org.fortiss.tooling.kernel.extension.data.ITopLevelElement;
 import org.fortiss.tooling.kernel.service.IPersistencyService;
+import org.fortiss.tooling.kernel.utils.EcoreUtils;
 import org.jfree.ui.RefineryUtilities;
 
 /**
@@ -80,15 +88,16 @@ public class Opt4JDseBackend implements IDseBackend {
 	@SuppressWarnings("unchecked")
 	@Override
 	public Optional<ExplorationSolution> executeDSE(RuleSetContainer expSpec,
-			Set<Class<? extends IModelElement>> solutionModels, IDseInputContainer inputContainer,
+			Set<Class<? extends IModelElement>> solutionModels, SuperSetMap superSets,
 			Collection<IExplorationFeature> explorationModules, IProgressMonitor monitor,
 			int timeoutMS) throws Exception {
 		ExplorationSolutionSet explorationSolutionSet;
 		SystemModelAdapter<?, ?, ?, ?, ?, ?> systemModelAdapter;
 		// TODO: Find a cleaner way to extract the model context.
-		ComponentArchitecture refModel = inputContainer.getInputModel(ComponentArchitecture.class);
+		TaskArchitecture taskArchitecture =
+				getArchModel(superSets, TaskArchitecture.class, Task.class);
 		ITopLevelElement context =
-				IPersistencyService.getInstance().getTopLevelElementFor(refModel);
+				IPersistencyService.getInstance().getTopLevelElementFor(taskArchitecture);
 
 		ExplorationSpecification spec = createExplorationSpecification();
 		for(RuleSet ruleSet : expSpec) {
@@ -98,11 +107,12 @@ public class Opt4JDseBackend implements IDseBackend {
 
 		// Input to DSE: {@link SystemModelAdapter} and {@link DesignSpaceExploration}.
 		// SystemModelAdapter systemModelAdapter;
+		FileProject fp = ProjectUtils.getFileProject(taskArchitecture);
 		ComponentArchitecture componentArchitecture =
-				inputContainer.getInputModel(ComponentArchitecture.class);
+				EcoreUtils.pickFirstInstanceOf(ComponentArchitecture.class, fp.getRootElements());
+
 		PlatformArchitecture platformArchitecture =
-				inputContainer.getInputModel(PlatformArchitecture.class);
-		TaskArchitecture taskArchitecture = inputContainer.getInputModel(TaskArchitecture.class);
+				getArchModel(superSets, PlatformArchitecture.class, ExecutionUnit.class);
 		SystemParameterContainer paramContainer =
 				createSystemParameterContainer(platformArchitecture, taskArchitecture, spec);
 		systemModelAdapter = new AF3SystemModelAdapter(componentArchitecture, platformArchitecture,
@@ -151,6 +161,20 @@ public class Opt4JDseBackend implements IDseBackend {
 		return Optional.of(explorationSolutionSet);
 	}
 
+	/**
+	 * Temporary helper method to extract the architecture model from a {@link SuperSet} provided in
+	 * the {@link SuperSetMap} to the DSE.
+	 */
+	private <T extends IModelElement, S extends IModelElement> T getArchModel(SuperSetMap superSets,
+			Class<T> archModelType, Class<S> elementType) throws Exception {
+		Optional<S> anyElem = getFirst(superSets.get(elementType).getEntries());
+		if(!anyElem.isPresent()) {
+			throw new Exception("No " + elementType.getSimpleName() +
+					" has been passed to the DSE in the corresponding set. Exiting.");
+		}
+		return getFirst(getParentsWithType(anyElem.get(), archModelType)).orElse(null);
+	}
+
 	/**
 	 * Creates and launches the Dialog that displays the results from the exploration.
 	 * Pareto-optimal points are displayed in a 2D-graph, while schedules can be inspected for

org.fortiss.af3.exploration.alg/trunk/src/org/fortiss/af3/exploration/alg/port/DSEPortingUtils.java

@@ -71,8 +71,8 @@ public class DSEPortingUtils {
 	 * {@link IConnector}.
 	 */
 	// TODO: UsePlatformPort?
-	public static Map<Class<? extends IConnector>, ConnectionType> connectionTypeLUT = Collections
-			.unmodifiableMap(new HashMap<Class<? extends IConnector>, ConnectionType>() {
+	public static Map<Class<? extends IConnector>, ConnectionType> connectionTypeLUT =
+			Collections.unmodifiableMap(new HashMap<Class<? extends IConnector>, ConnectionType>() {
 				{
 				}
 			});
@@ -103,9 +103,9 @@ public class DSEPortingUtils {
 				EcoreUtils.getChildrenWithType(expSpec, Allocation.class);
 		for(Allocation alloc : allocConstrSet) {
 			Collection<IModelElement> targetElementSet =
-					alloc.getRight().getSetReference().getEntries();
-			filterStream(targetElementSet, e -> e instanceof ExecutionUnit).map(
-					ExecutionUnit.class::cast).forEach(e -> rval.add(e));
+					(Collection<IModelElement>)alloc.getRight().getSetReference().getEntries();
+			filterStream(targetElementSet, e -> e instanceof ExecutionUnit)
+					.map(ExecutionUnit.class::cast).forEach(e -> rval.add(e));
 		}
 
 		// for(PlatformArchitecture curPA : platformArchitectures) {
@@ -148,10 +148,10 @@ public class DSEPortingUtils {
 
 		if(rval.isEmpty()) {
 			throw new Exception(
-					"No deployment targets have been specified in the target platform architecture(s)."
-							+ " Please check whether the correct platform architecture was selected and whether"
-							+ " the desired Execution Units were selected as deployment targets"
-							+ " (Platform Model --> Annotation View --> Deployment Target)");
+					"No deployment targets have been specified in the target platform architecture(s)." +
+							" Please check whether the correct platform architecture was selected and whether" +
+							" the desired Execution Units were selected as deployment targets" +
+							" (Platform Model --> Annotation View --> Deployment Target)");
 		}
 
 		return rval;
@@ -277,8 +277,8 @@ public class DSEPortingUtils {
 	 * {@link Component} are not supported.
 	 */
 	// TODO: The period is hard-coded here. It must be taken from the yet-to-come timing model.
-	public static Map<Component, Double> createComponentPeriodMap(
-			Collection<Component> deployableComponents) {
+	public static Map<Component, Double>
+			createComponentPeriodMap(Collection<Component> deployableComponents) {
 		Map<Component, Double> componentPeriodMap = new HashMap<>();
 		for(Component deployableComponent : deployableComponents) {
 			componentPeriodMap.put(deployableComponent, 10.0);
@@ -291,8 +291,8 @@ public class DSEPortingUtils {
 	 * selected as their diverse implementations by means of the {@link ComponentDiverseImplRef}
 	 * annotation.
 	 */
-	public static Multimap<Component, Component> createComponentReplacementMap(
-			Collection<Component> deployableComponent) {
+	public static Multimap<Component, Component>
+			createComponentReplacementMap(Collection<Component> deployableComponent) {
 		Multimap<Component, Component> replacementComponentMap = HashMultimap.create();
 		for(Component component : deployableComponent) {
 			// ComponentDiverseImplRef componentReplacementRef =
@@ -346,8 +346,8 @@ public class DSEPortingUtils {
 	}
 
 	/** Maps the {@link OutputPort}s of {@link Component}s to their respective bit size. */
-	public static Map<OutputPort, Long> createMessageSizeMap(
-			Collection<Component> deployableComponents) throws Exception {
+	public static Map<OutputPort, Long>
+			createMessageSizeMap(Collection<Component> deployableComponents) throws Exception {
 		Map<OutputPort, Long> messageSizes = new HashMap<>();
 		for(Component component : deployableComponents) {
 			for(OutputPort port : component.getOutputPorts()) {
@@ -388,8 +388,8 @@ public class DSEPortingUtils {
 		// --> no duplicates.
 		Set<PlatformArchitecture> targetPlatforms = new HashSet<>();
 		targetPlatforms.add(platformArchitecture);
-		targetPlatforms.add(PlatformArchitectureUtils
-				.getPhysicalPlatformArchitecture(platformArchitecture));
+		targetPlatforms.add(
+				PlatformArchitectureUtils.getPhysicalPlatformArchitecture(platformArchitecture));
 
 		Collection<ExecutionUnit> deploymentTargets = createDeploymentTargets(expSpec);