32
Methods and their priorities
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