diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql index 7f7cc5a4..40337443 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql | |||
@@ -96,6 +96,16 @@ pattern requirementNotSatisfied(Req : Requirement) { | |||
96 | check(Instances < RequiredCount); | 96 | check(Instances < RequiredCount); |
97 | } | 97 | } |
98 | 98 | ||
99 | @Constraint(severity = "error", key = {Req}, | ||
100 | message = "Redundant instances must not be allocated to the same host.") | ||
101 | pattern redundantInstancesOnSameHost(Req : Requirement) { | ||
102 | Requirement.instances(Req, App1); | ||
103 | Requirement.instances(Req, App2); | ||
104 | App1 != App2; | ||
105 | ApplicationInstance.allocatedTo(App1, Host); | ||
106 | ApplicationInstance.allocatedTo(App2, Host); | ||
107 | } | ||
108 | |||
99 | pattern averageFreeMemoryMetric(Average : java Double) { | 109 | pattern averageFreeMemoryMetric(Average : java Double) { |
100 | Average == avg find freeMemoryPercentage(_, #_); | 110 | Average == avg find freeMemoryPercentage(_, #_); |
101 | } | 111 | } |