Interface  Description 

Constraint 
Specify a constraint.

SatConstraint 
Abstract class to characterize a satisfactionoriented constraint
that impose a restriction on some components of a model.

SatConstraintChecker<C extends SatConstraint> 
Check if a constraint is satisfied by a reconfiguration plan.

Class  Description 

AllowAllConstraintChecker<C extends SatConstraint> 
A default constraint checker that allow every action and event.

Among 
A constraint to force a set of VMs to be hosted on a single group of nodes
among those available.

AmongChecker 
Checker for the
Among constraint 
Ban 
A constraint to disallow the given VM, when running,
to be hosted on a given set of nodes.

BanChecker 
Checker for the
Ban constraint 
DenyMyVMsActions<C extends SatConstraint> 
Basic checker that allow everything except all the actions on my VMs.

Fence 
A constraint to force the given VM, when running,
to be hosted on a given group of nodes.

FenceChecker 
Checker for the
Fence constraint 
Gather 
A constraint to force a set of VMs, if running, to be
hosted on the same node.

GatherChecker 
Checker for the
Gather constraint 
Killed 
A constraint to force a VM to be killed.

KilledChecker 
Checker for the
Killed constraint 
Lonely 
A constraint to force all the given VMs, when running,
to not share their host with other VMs.

LonelyChecker 
Checker for the
Lonely constraint 
MaxOnline 
A constraint to force a set of nodes to have a maximum number of nodes to
be online.

MaxOnlineChecker 
Checker associated to the
MaxOnline constraint. 
MinMigrations 
An objective that just minimizes the cumulative duration of the migrations
to perform during a reconfiguration.

MinMTTR 
An optimization constraint that minimizes the time to repair a nonviable model.

NoDelay 
A constraint to force VMs' actions to be executed
at the beginning (time t=0), without any delay.

NoDelayChecker 
Checker for the
NoDelay constraint 
Offline 
A constraint to force a node at being offline.

OfflineChecker 
Checker for the
Offline constraint 
Online 
A constraint to force a node at being online.

OnlineChecker 
Checker for the
Online constraint 
OptConstraint 
Optimization oriented constraint.

Overbook 
A constraint to specify and overbooking factor between
the physical resources offered by a node and the virtual resources
that are consumed by the VMs it hosts.

OverbookChecker 
Checker for the
Overbook constraint 
Preserve 
Ensure the allocation of a given minimum amount of resources for
the given VM.

PreserveChecker 
Checker for the
Preserve constraint 
Quarantine 
A constraint to put a node into quarantine.

QuarantineChecker 
Checker for the
Quarantine constraint 
Ready 
A constraint to force a VM at being ready for running.

ReadyChecker 
Checker for the
Ready constraint 
ResourceCapacity 
Restrict the total amount of virtual resources consumed by
the VMs hosted on the given nodes.

ResourceCapacityChecker 
Checker for the
ResourceCapacity constraint 
Root 
A constraint to avoid VM relocation to another host.

RootChecker 
Checker for the
Root constraint 
Running 
A constraint to force a VM at being running.

RunningCapacity 
Restrict to a given value, the total amount of VMs running
on the given set of nodes.

RunningCapacityChecker 
Checker for the
RunningCapacity constraint 
RunningChecker 
Checker for the
Running constraint 
Seq 
A constraint to force the actions that change the given VMs state
to be executed in the given order.

SeqChecker 
Checker for the
Seq constraint 
SimpleConstraint 
A skeleton for a constraint that can be either discrete or continuous.

Sleeping 
A constraint to force a VM at being sleeping.

SleepingChecker 
Checker for the
Sleeping constraint 
Split 
A constraint to force several sets of VMs to not share any node when they are
running.

SplitAmong 
A constraint to force sets of running VMs to be hosted on distinct set of nodes.

SplitAmongChecker 
Checker for the
SplitAmong constraint 
SplitChecker 
Checker for the
Split constraint 
Spread 
A constraint to force that the given VMs, if running,
to be hosted on distinct nodes.

SpreadChecker 
Checker for the
Spread constraint 
Annotation Type  Description 

SideConstraint 
Annotation to provide the specification of a sideconstraint.

SatConstraint
.Copyright © 2016 University of NiceSophia Antipolis. All Rights Reserved.