nA candidate method set: the methods
considered in a specific
situation
nA method is applicable :
nIt is in the candidate method
set
nIts precondition holds
nPriority of methods
nThe order that methods are
considered
nPartial order defined by the model.
It is extended to a total order based on truster’s method preference
policies