Information Technology Reference
In-Depth Information
7. Appendix A
Explanation of the rules in table 3
Rule 1:
For all choice
x
and choice
y
; if
x
requires
y
and
x
is selected, then
y
is selected.
Rule 2:
For all choice
x
and choice
y
; if
x
excludes
y
and
x
is selected, then
y
is assigned by
notselect
predicate.
Rule 3:
For all choice
x
and decision point
y
; if
x
requires
y
and
x
is selected, then
y
is selected. This
rule is applicable as well, if the decision point is selected first and it requires a choice:
∀
x, y: type(x, choice)
∧
type(y, decisionpoint)
∧
require_c_dp(x, y)
∧
select(y)
⟹
select(x)
For all choice
x
and decision point
y
; if
x
requires y and
y
is selected, then
x
is selected.
Rule 4:
For all choice
x
and decision point
y
; if
x
excludes
y
and
x
is selected, then
y
is assigned by
notselect
predicate. This rule is applicable as well, if the decision point is selected first and it
requires a choice:
∀
x, y: type(x, choice)
∧
type(y, decisionpoint)
∧
exclude_c_dp(x, y)
∧
select(y)
⟹
notselect(x)
For all choice
x
and decision point
y
; if
x
excludes
y
and
y
selected, then
x
is assigned by
notselect
predicate.
Rule 5:
For all decision point
x
and decision point
y
, if
x
requires
y
and
x
selected, then
y
is selected.
Rule 6:
For all decision point
x
and decision point
y
, if
x
excludes
y
and
x
is selected, then
y
is
assigned by
notselect
predicate.
Rule 7:
For all choice
x
and decision point
y
, where
x
belongs to
y
and
x
is selected, that means
y
is
selected.
This rule determines the selection of decision point if one of its choices was selected.
Rule 8:
For all decision point
y
there exists of choice
x
, if
y
selected and
x
belongs to
y
,
x
is selected.
This rule states that if a decision point was selected, then if there is choice(s) belonging to
this decision point , must be selected.
Rule 9:
For all choice
x
and decision point
y
; where
x
belongs to
y
and
y
defined by predicate
notselect(y)
, then
x
is assigned by
notselect
predicate. This rule states that if a decision point
was excluded, then none of its choices is selected.
Rule 10:
For all choice
x
and decision point
y
; where
x
is a common,
x
belongs to y, and
y
is selected,
then
x
is selected. This rule states that if a choice is common and its decision point selected
then it is selected.
Rule 11:
For all decision point
y
; if
y
is common, then
y
is selected. This rule states that if a decision
point is common then it is selected in any decision process.
Rule 12:
For all choice
x
and decision point
y
; where
x
belongs to
y
and
x
is selected, then the
summation of
x
must not be less than the maximum number allowed to be selected from y.
Search WWH ::
Custom Search