Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/NotSatisfiedRequirementsConstraint.xtend


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

package hu.bme.mit.inf.dslreasoner.domains.cps.mdeo

import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem
import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.IGuidanceFunction
import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.interpreter.guidance.Solution

class NotSatisfiedRequirementsConstraint implements IGuidanceFunction {
	override getName() {
		"NotSatisfiedRequirements"
	}

	override computeFitness(Solution solution) {
		val cps = solution.model as CyberPhysicalSystem
		var int cost = 0
		for (request : cps.requests) {
			for (requirement : request.requirements) {
				cost += Math.abs(requirement.count - requirement.instances.size)
				for (app : requirement.instances) {
					if (app.type != requirement.type) {
						cost++
					}
				}
			}
		}
		cost
	}
}